1479376-3  

Journal of automated reasoning

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

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

1.1985 -

Online-Ressource

Gesehen am 01.11.05

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

ISSN: 1573-0670

OCLC-Nr.: 1183389689

https://ezb.ur.de/?1479376-3  [EZB] 

https://link.springer.com/journal/10817  [Verlag] 

https://link.springer.com/journal/10817  [Verlag; 1.1985 - 29.2002. - Nationallizenz] 

http://d-nb.info/019723504  

DDC-Sachgruppen der ZDB: 004 Informatik 

Zeitschrift

Englisch 

Niederlande 

Online-Ausgabe

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

Deutsche Forschungsgemeinschaft

019723504

13-11-24

51516-4  

Journal of automated reasoning

Dordrecht [u.a.] : Springer

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

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

1.1985 -

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

ISSN: 0168-7433

OCLC-Nr.: 310948421

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

Zeitschrift

Englisch 

Niederlande 

Druckausgabe

010451579

03-09-22