Automated theorem proving : a logical basis

Automated theorem proving a logical basis

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Loveland, Donald W. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam u.a. North-Holland 1978
Schriftenreihe:Fundamental studies in computer science 6
Schlagworte:
Théorèmes - Démonstration automatique > Automatic theorem proving > Automatisches Beweisverfahren > Logik > Beweistheorie
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XII, 405 S.
graph. Darst.
ISBN:0720404991
0-7204-0499-1