Treffer: Symbolic logic and mechanical theorem proving

Titel:

Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee

Verantwortlich:

Veröffentlicht:

New York, N.Y. [u.a.] : Acad. Press, 1973

Umfang:

XII, 331 S.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Computer science and applied mathematics

RVK-Notation:

Schlagworte:

ISBN:

0121703509

Zusatz-Informationen