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!

Keine Ergebnisse!