Automated theorem proving a logical basis

Bibliographische Detailangaben

1. Verfasser:	Loveland, Donald W. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Amsterdam u.a. North-Holland Publ. Co. 1978
Schriftenreihe:	(Fundamental studies in computer science 6)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!