Blank Cover Image

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 図書 Machinery of the mind : inside the new science of artificial intelligence

Johnson, George, 1952 Jan. 20-

Times Books
2 図書 Elastic and viscoelastic properties of the spinal cord of cats

Chang, Guan-Liang

University Microfilms International
8 図書 Mentality and machines

Gunderson, Keith

Croom Helm
3 図書 Human muscular contraction : role of the mechanical

Robertson, Richard Niell

University Microfilms International
9 図書 Logic

Coleridge, Samuel Taylor, 1772-1834, Jackson, J. R. de J. (James Robert de Jager)

Routledge and K. Paul, Princeton University Press
4 図書 Peirce's logic of relations and other studies

Martin, R. M. (Richard Milton), 1916-

Foris Publications
10 図書 The Dragon-Tiger double sword style

Liang, Ting

International Wing Tsun Martial-Art Association, International Headquarters
5 図書 Artificial intelligence in sport performance analysis

Araújo, Duarte, Couceiro, Micael, Seifert, Ludovic, Sarmento, Hugo, Davids, K. (Keith), 1953-

Routledge
11 図書 Motor learning and performance : from principles to application

Schmidt, Richard A., 1941-, Lee, Timothy D.

Human Kinetics
6 図書 New topics in learning automata theory and applications

馬場, 則夫(1946-)

Springer-Verlag
12 図書 Motor control and learning : a behavioral emphasis

Schmidt, Richard A., 1941-, Lee, Timothy D.

Human Kinetics