Skip to content
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]
https://link.springer.com/journal/10817 [Publisher]
https://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
12-02-25