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

Automated theorem proving : after 25 years

フォーマット:
図書
責任表示:
W.W. Bledsoe and D.W. Loveland, editors
言語:
英語
出版情報:
Providence, R.I. : American Mathematical Society, c1984
形態:
ix, 360 p. ; 26 cm
著者名:
シリーズ名:
Contemporary mathematics ; v. 29 <BA00009927>
書誌ID:
BA03456885
ISBN:
9780821850275 [082185027X] (: pbk.)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Conference on Automated Deduction, Bibel, Wolfgang, 1938-, Kowalski, Robert

Springer-Verlag
2 図書 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Conference on Automated Deduction, Loveland, Donald W., 1934-

Springer-Verlag
8 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings

International Conference on Automated Deduction, Shostak, Robert, 1931-

Springer-Verlag
3 図書 Principles of automated theorem proving

Duffy, David A

Wiley
9 図書 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings

International Conference on Automated Deduction, Stickel, Mark E., 1947-

Springer-Verlag
4 図書 Current trends in hardware verification and automated theorem proving

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

Springer-Verlag
10 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959-

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

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

Pitman, Wiley
11 図書 Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

LPAR, Parigot, Michel, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
6 図書 Functional analysis methods in numerical analysis : special session, American Mathematical Society, St. Louis, Missouri, 1977

Special Session on Functional Analysis Methods in Numerical Analysis, Nashed, M. Zuhair, American Mathematical Society

Springer-Verlag
12 図書 Mathematical aspects of chemical and biochemical problems and quantum chemistry : [proceedings of a Symposium in Applied Mathematics of the American …

Symposium in Applied Mathematics, Cohen, Donald S., 1934-, American Mathematical Society, Society for Industrial and &hellip;

American Mathematical Society