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

Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch(eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2004
形態:
xii, 491 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3097 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540223450 [3540223452]
書誌ID:
BA68018238
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

IJCAR, Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958-

Springer

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

Springer

International Workshop on the ACL2 Theorem Prover and Its Applications

Association for Computing Machinery

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

Springer-Verlag

IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Shi, Zhongzhi

North-Holland

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