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

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1992
形態:
xv, 793 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9780387556024 [0387556028] (: us)
9783540556022 [3540556028] (: gw)
書誌ID:
BA17061182
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference on Automated Deduction, Voronkov, A. (Andreĭ), 1959-

Springer

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

Springer-Verlag

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

Springer

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

Springer-Verlag

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

Springer-Verlag

International Workshop on Automated Deduction in Geometry, Hong, Hoon, Wang, Dongming

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

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