>> Google Books
QRコード(所蔵情報)

Symbolic logic and mechanical theorem proving

フォーマット:
図書
責任表示:
Chin-Liang Chang, Richard Char-Tung Lee
言語:
英語
出版情報:
New York : Academic Press, c1973
形態:
xiii, 331 p. : ill. ; 24 cm
著者名:
シリーズ名:
Computer science and applied mathematics <BA00104316>
書誌ID:
BA01082514
ISBN:
9780121703509 [0121703509]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 コンピュータによる定理の証明

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会
7 図書 The application of theorem proving to question-answering systems

Green, Claude Cordell

Garland Pub.
2 図書 Symbolic logic and intelligent machines

Berkeley, Edmund Callis

Reinhold
8 図書 Current trends in hardware verification and automated theorem proving

Subrahmanyam, P. A., Birtwistle, G. M. (Graham M.)

Springer-Verlag
3 図書 Automated theorem-proving in non-classical logics

Thistlewaite, Paul B, McRobbie, M. A. (Michael A.), Meyer, Robert K

Pitman, Wiley
9 図書 Using sophisticated models in resolution theorem proving

Sandford, David M.

Springer-Verlag
4 図書 A computational logic handbook

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
10 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
5 図書 Principles of automated theorem proving

Duffy, David A

Wiley
11 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
6 図書 Automated theorem proving : a logical basis

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland
12 図書 Logics for artificial intelligence

Turner, Raymond, 1947-

E. Horwood