>> 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
他の版・巻

類似資料:

1 図書 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

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

Springer
7 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

TABLEAUX, Dyckhoff, Roy, 1948-

Springer
2 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

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

Springer-Verlag
8 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

LPAR, Pfenning, Frank

Springer-Verlag
3 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

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

Springer-Verlag
9 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

TABLEAUX, Swart, Harrie de

Springer
4 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

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

Springer
10 図書 8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009

International Workshop on the ACL2 Theorem Prover and Its Applications

Association for Computing Machinery
5 図書 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
11 図書 Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

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

North-Holland
6 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : …

TABLEAUX, Egly, Uwe, Fermüller, Christian G.

Springer
12 図書 Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction, McAllester, David A.

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