Symbolic logic and mechanical theorem proving Chin-liang Chang, Richard Char-tung Lee

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chang, Chin-Liang (VerfasserIn)
Weitere Verfasser:	Lee, Richard Char-Tung (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	New York usw. Academic Pr. (1973)
Schriftenreihe:	(Computer science and applied mathematics)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XIII, 331 S. 8"