Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Suchergebnisse

Suchergebisse filtern

Erscheinungsjahr

Sprache

Erscheinungsland

Medientyp

Erscheinungsform

Suchergebnissliste

Treffer 1 - 2  von
Sortierung
load Indicator

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

Erscheint auch als Druck-Ausgabe:  Journal of automated reasoning  (ISSN: 0168-7433) 

Standardnummern

ISSN: 1573-0670

OCLC-Nr.: 1183389689

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Sprache
Erscheinungsland
Medientyp

Online-Ausgabe

Bestandserhaltung und Archivierung

Archivierung/Langzeitarchivierung gewährleistet ; Bestandsführende Institution:  Frankfurt/M DNB 

Gefördert von

IDN

019723504

Letzte Änderung

31-01-24

Diesen Titel auf die Merkliste setzen

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

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

Schlagwörter:
Automatisches Beweisverfahren ; Zeitschrift
Informatik ; Zeitschrift

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

Erscheinungsform

Zeitschrift

Sprache
Erscheinungsland
Medientyp

Druckausgabe

IDN

010451579

Letzte Änderung

03-09-22

Diesen Titel auf die Merkliste setzen
Auswahl auf die Merkliste setzen
Auswahl exportieren