Automated theorem proving

Bibliographische Detailangaben

1. Verfasser:	Bibel, Wolfgang 1938- (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Braunschweig <<[u.a.]>> Vieweg 1987
Ausgabe:	2., rev. ed.
Schriftenreihe:	Artificial intelligence
Schlagworte:	Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!