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 number: 1183389689

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

http://link.springer.com/journal/10817  [Publisher] 

http://link.springer.com/journal/10817  [Publisher; 1.1985 - 29.2002. - National licence] 

http://d-nb.info/019723504  

DDC subject groups: 004 Data processing & computer science 

journal

English 

Netherlands 

available online

Committed to retain ; Institution:  Frankfurt/M DNB 

German Research Foundation (DFG)

019723504

16-04-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 number: 310948421

DDC subject groups: 400 Language  ;  004 Data processing & computer science 

Other classifications:
Regensburger Verbundklassifikation (rvk): EQ 1000

German subject headings:
Automatisches Beweisverfahren ; Zeitschrift
Informatik ; Zeitschrift

Special subject collections: 7,11 ; 17,1 ; FID-LING-DE-30

journal

English 

Netherlands 

Print

010451579

03-09-22