Automatic Theorem Proving based on resolution

Bibliographische Detailangaben

1. Verfasser:	Pirotte, A (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Oxford u.a. Pergamon Pr. 1973
Schlagworte:	Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!