Symbolic logic and mechanical theorem proving

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chang, Chin-Liang (VerfasserIn)
Weitere Verfasser:	Char-Tung Lee, Richard (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Orlando u.a. Academic Press 1985
Ausgabe:	6. [print.]
Schriftenreihe:	Computer science and applied mathematics
Schlagworte:	Mathematische Logik > Beweistheorie > Optimierung > Nichtnumerisches Verfahren > Nichtnumerische Datenverarbeitung > LISP
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XIII, 331 S. : graph. Darst.
ISBN:	0121703509