Symbolic logic and mechanical theorem proving
1. [Dr.]. - Boston [u.a.]: Acad. Press, [19]87
Monographie, Gedruckte Ressource
- XIII, 331 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Symbolic logic and mechanical theorem proving
|
---|---|
Verantwortlichkeitsangabe: | Chin-Liang Chang ; Richard Char-Tung Lee |
Autor/in / Beteiligte Person: | Chang, Chin-Liang ; Char-Tung Lee, Richard |
Link: | |
Verwandtes Werk: | |
Ausgabe: | 1. [Dr.] |
Veröffentlichung: | Boston [u.a.]: Acad. Press, [19]87 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIII, 331 S. : graph. Darst. |
ISBN: | 0121703509 |
Schlagwort: |
|
Sonstiges: |
|