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

Automated reasoning : introduction and applications / Larry Wos ... [et al.]

資料種別:
図書
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1984
形態:
xiv, 482 p. ; 24 cm
著者名:
Wos, Larry, 1930- <DA03160397>  
ISBN:
9780130544537 [0130544531]
9780130544469 [0130544469] (pbk.)
書誌ID:
BA01132510
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Automated development of fundamental mathematical theories

Quaife, Art

Kluwer Academic
7 図書 Term indexing

Gräf, Peter

Springer-Verlag
2 図書 Diagrammatic reasoning : cognitive and computational perspectives (: pbk)

Chandrasekaran, B., 1942-, Glasgow, Janice, Narayanan, N. Hari

AAAI Press, MIT Press
8 図書 The cognitive computer : on language, learning, and artificial intelligence (: [hbk] ; : pbk)

Schank, Roger C., 1946-, Childers, Peter G.

Addison-Wesley Pub. Co.
3 図書 Artificial intelligence and heuristic programming

Findler, N. V. (Nicholas V.), 1930-, Meltzer, Bernard, 1916-, NATO Advanced Study Institute on Artificial Intelligence …

American Elsevier Pub. Co.
9 図書 Automated theorem proving

Bibel, W., 1938-

F. Vieweg
4 図書 Artificial intelligence and heuristic programming

Findler, N. V. (Nicholas V.), 1930-, Meltzer, Bernard, 1916-, NATO Advanced Study Institute on Artificial Intelligence …

Edinburgh University Press
10 図書 Theory reasoning in connection calculi

Baumgartner, Peter

Springer
5 図書 A many-sorted calculus based on resolution and paramodulation (: Pitman ; : Morgan Kaufmann)

Walther, Christoph

Pitman, Morgan Kaufmann Publishers
11 図書 The computer modelling of mathematical reasoning (: pbk. ; : cased)

Bundy, Alan

Academic Press
6 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
12 図書 Digital computing : Fortran IV and its applications in behavioral science

Lehman, Richard S., Bailey, Daniel Edgar, 1930-

Wiley
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12