>> Google Books
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
フォーマット:
図書
責任表示:
edited by D.W. Loveland
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1982
形態:
vii, 389 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 138 <BA00009279>
書誌ID:
BA03868780
ISBN:
9783540115588 [3540115587] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387115580 [0387115587] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer

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

Springer

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., 1934-, American Mathematical Society

American Mathematical Society

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland