>> Google Books

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>
ISBN:
9780821850275 [082185027X] (: pbk.)
書誌ID:
BA03456885
フォーマット:
図書
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Kumar, &hellip;

Springer

Kapur, Deepak, Mundy, Joseph L., International Workshop on Geometric Reasoning

MIT Press

International Conference on Theorem Proving in Higher Order Logics, Wright, J. (Joakim) von, 1955-, Grundy, J. (Jim), &hellip;

Springer

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

Springer-Verlag

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

Springer

International Conference on Automated Deduction, Lusk, Ewing L., Overbeek, Ross A.

Springer-Verlag

Bibel, Wolfgang, 1938-

F. Vieweg

International Workshop on TYPES, Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert

Springer

Baldwin, Kenneth, American Society of Civil Engineers. Engineering Mechanics Division. Elasticity Committee, ASCE &hellip;

American Society of Civil Engineers