Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Suchergebnisse

Suchergebisse filtern

Erscheinungsjahr

Sprache

Erscheinungsland

Medientyp

Format

Suchergebnissliste

Treffer 1 - 2  von
Sortierung

Journal of automated reasoning

Dordrecht [u.a.] : Springer Science + Business Media B.V. 1.1985 -

Nationallizenz

ZDB-ID

1479376-3

Titel

Journal of automated reasoning

Erschienen

Dordrecht [u.a.] : Springer Science + Business Media B.V.

Dordrecht [u.a.] : Kluwer [-2004]

Erscheinungsverlauf

1.1985 -

Anmerkungen

Online-Ressource

Gesehen am 01.11.05

Andere Ausgaben
Standardnummern

ISSN der Vorlage: 1573-0670

ISSN der Parallelausgabe: 0168-7433

OCLC-Nr.: 645303182

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Sprache
Erscheinungsland
Medientyp

Online-Ressource

IDN

019723504

Bestandsschutz

Langzeitarchivierung gewährleistet durch die Deutsche Nationalbibliothek

Gefördert von

Diesen Titel auf die Merkliste setzen Vollanzeige umschalten

Journal of automated reasoning

Dordrecht [u.a.] : Springer 1.1985 -

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

Online-Ausg.:  Journal of automated reasoning 

Standardnummern

ISSN der Vorlage: 0168-7433

ISSN der Parallelausgabe: 1573-0670

OCLC-Nr.: 310948421

Sacherschließung

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

Weitere Klassifikation(en): Regensburger Verbundklassifikation (rvk)EQ 1000

Schlagwörter:
Automatisches Beweisverfahren ; Zeitschrift
Informatik ; Zeitschrift

Sondersammelgebiet: 7,11 ; 17,1

Erscheinungsform

Zeitschrift

Sprache
Erscheinungsland
Medientyp

Print

IDN

010451579

Diesen Titel auf die Merkliste setzen Vollanzeige umschalten
Auswahl exportieren oder merken