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

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

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

類似資料:

1 図書 Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

IJCAR, Basin, David, Rusinowitch, Michaël

Springer
7 図書 Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, proceedings

Furbach, Ulrich, Shankar, N., IJCAR

Springer
2 電子ブック Automated Reasoning

IJCAR 2001, Goré, Rajeev, Leitsch, Alexander, Nipkow, Tobias

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)

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

Springer-Verlag
3 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings (: kart)

TABLEAUX, Galmiche, Didier, 1958-

Springer
9 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)

International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-

Springer-Verlag
4 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

TABLEAUX, Cialdea Mayer, Marta, 1956-, Pirri, Fiora

Springer
10 図書 Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

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

Springer
5 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us)

LPAR, Pfenning, Frank

Springer-Verlag
11 図書 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
6 図書 Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings (: gw ; : us)

International Conference on Automated Deduction, Kapur, Deepak

Springer-Verlag
12 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12