>> Google Books

Automated reasoning : essays in honor of Woody Bledsoe

フォーマット:
図書
責任表示:
edited by Robert S. Boyer
言語:
英語
出版情報:
Dordrecht ; Boston : Kluwer Academic Publishers Group, c1991
形態:
xi, 365 p. : ill. ; 25 cm
著者名:
シリーズ名:
Automated reasoning series ; v. 1 <BA13266944>
書誌ID:
BA13266831
ISBN:
9780792314097 [0792314093]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Analogy for automated reasoning

Owen, Stephen (Stephen G.)

Academic Press
7 図書 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
2 図書 Automated reasoning : introduction and applications

Wos, Larry, 1930-

McGraw-Hill
8 図書 Automated deduction : a basis for applications

Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948-

Kluwer Academic
3 図書 Automated reasoning : introduction and applications

Wos, Larry, 1930-

Prentice-Hall
9 図書 Automated theorem proving in software engineering

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

Springer
4 図書 A computational logic

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

Academic Press
10 図書 Computational logic : essays in honor of Alan Robinson

Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-

MIT Press
5 図書 Diagrammatic representation and reasoning

Anderson, Michael, 1965-, Meyer, Bernd, 1951-, Olivier, Patrick, 1966-

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

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

Springer
6 図書 Diagrammatic reasoning : cognitive and computational perspectives

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

AAAI Press, MIT Press
12 図書 Automated theorem-proving in non-classical logics

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

Pitman, Wiley