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

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

資料種別:
図書
出版情報:
New York : Academic Press, c1973
形態:
xiii, 331 p. ; 24 cm
シリーズ名:
Computer science and applied mathematics <BA00104316>
著者名:
ISBN:
9780121703509 [0121703509]
書誌ID:
BA01082514
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

University Microfilms International
7 図書 Automated theorem proving

Bibel, W., 1938-

F. Vieweg
2 図書 Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

Harper & Row
8 図書 Mechanical geometry theorem proving

Chou, Shang-Ching, 1942-

D. Reidel
3 図書 コンピュータによる定理の証明

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

日本コンピュータ協会
9 図書 Isabelle : a generic theorem prover (: gw ; : us)

Paulson, Lawrence C., Nipkow, Tobias, 1958-

Springer-Verlag
4 図書 Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions (: pbk)

Bertot, Yves, Castéran, P. (Pierre)

Springer
10 図書 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
5 図書 Symbolic logic and intelligent machines

Berkeley, Edmund Callis

Reinhold
11 図書 Automated theorem proving in software engineering

Schumann, Johann M., Loveland, Donald W., 1934-

Springer
6 図書 Automated deduction in equational logic and cubic curves

McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938-

Springer
12 図書 Knowledge based theorem proving and learning

Cohen, Donald N.

UMI Research Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12