Symbolic logic and mechanical theorem proving
by
Chang, Chin-Liang, 1937-
Title
:
Symbolic logic and mechanical theorem proving
Author
:
Chang, Chin-Liang, 1937-
Publication Information
:
New York : Academic, 1973.
Physical Description
:
331 s.
Subject Term
:
MANTIK, SEMBOLİK VE MATEMATİKİ.
OTOMATİK KURAM KANITLAMASI.
YAPAY ZEKA.
Added Author
:
Lee, R. C., ed.
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Beytepe Library | Book | 7.2/12/573986 | QA 9 C49 1973 | | Beytepe Genel Koleksiyon |