Journal of automated reasoning

Bibliographic Details

Format:	eJournal
Language:	English
Published:	Dordrecht [u.a.] : Springer Science + Business Media B.V., 1985- Dordrecht [u.a.], -2004
Physical Description:	Online-Ressource
ISSN:	1573-0670 0168-7433
Subjects (GND):	Automatisches Beweisverfahren
Genre:	Zeitschrift
External Sources:	https://ezb.ur.de/?1479376-3 http://link.springer.com/journal/10817 Deutschlandweit zugänglich
Other Editions:	Erscheint auch als (Druck-Ausgabe): Journal of automated reasoning . - Dordrecht [u.a.] : Springer, 1985