Journal of automated reasoning

Bibliographische Detailangaben

Format:	Zeitschrift
Sprache:	English
Veröffentlicht:	Dordrecht [u.a.] Springer 1985- Dordrecht [u.a.] Kluwer Acad. Publ. -2004,1 Dordrecht [u.a.] Reidel früher
Schlagworte:	Automatisches Beweisverfahren Informatik Zeitschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!