Inhalt

Suche

Neue Suche

Journal of automated reasoning

Dordrecht [u.a.] : Springer 1985 -

Diesen Titel auf die Merkliste setzen

Optionen

Exportieren MARC21xml JSON-LD Turtle RDF/XML Feedback

Bestellen

Mehr Titelinformationen

ZDB-ID

51516-4

Titel

Journal of automated reasoning

Erschienen

Dordrecht [u.a.] : Springer

Dordrecht [u.a.] : Kluwer Acad. Publ. [-2004,1]

Dordrecht [u.a.] : Reidel [früher]

Erscheinungsverlauf

1.1985 -

Andere Ausgaben

Erscheint auch als Online-Ausgabe: Journal of automated reasoning (ISSN: 1573-0670)

Standardnummern

ISSN: 0168-7433

OCLC-Nr.: 310948421

Sacherschließung

DDC-Sachgruppen der ZDB: 400 Sprache, Linguistik ; 004 Informatik

Weitere Klassifikation(en):
Regensburger Verbundklassifikation (rvk): EQ 1000
Systematik der TUB München (stub): DAT 550

Schlagwörter:
Automatisches Beweisverfahren ; Zeitschrift
Informatik ; Zeitschrift

Sondersammelgebiet: 7,11 ; 17,1 ; FID-LING-DE-30

Erscheinungsform

Zeitschrift

Sprache

Englisch

Erscheinungsland

Niederlande

Medientyp

Druckausgabe

IDN

010451579

Letzte Änderung

09-05-25

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe

Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.