Symbolic logic and mechanical theorem proving
[Nachdr.]. - San Diego [u.a.]: Acad. Press, 1990
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 |
Verwandtes Werk: | |
Ausgabe: | [Nachdr.] |
Veröffentlichung: | San Diego [u.a.]: Acad. Press, 1990 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIII, 331 S. : graph. Darst. |
ISBN: | 0121703509 |
Schlagwort: |
|
Sonstiges: |
|