Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

フォーマット:

図書

責任表示:

Harald Ganzinger (ed.)

言語:

英語

出版情報:

Berlin ; New York : Springer, c1999

形態:

xiv, 428 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence <BA00009279>

書誌ID:

BA42176007

ISBN:

9783540662228 [3540662227]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Automatic theorem proving Congresses; Logic, Symbolic and mathematical Congresses
分類・件名:	LCC : QA76.9.A96 DDC : 006.3/3 LCSH : Automatic theorem proving Congresses LCSH : Logic, Symbolic and mathematical Congresses
LCCN:	99034041
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : … TABLEAUX, Murray, Niel V. Springer	7 図書 Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings International Conference on Automated Deduction, Bundy, Alan Springer-Verlag
2 図書 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	8 電子ブック Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings Nieuwenhuis, Robert, SpringerLink (Online service) Springer-Verlag GmbH.
3 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène Springer	9 電子ブック Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings Bjørner, Nikolaj, Sofronie-Stokkermans, Viorica, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
4 図書 Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950- Springer-Verlag	10 電子ブック Automated Deduction ? CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings Schmidt, Renate A., SpringerLink (Online service) Springer Berlin Heidelberg
5 図書 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	11 図書 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
6 図書 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings International Conference on Automated Deduction, McCune, W. (William) Springer	12 図書 Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings International Conference on Automated Deduction, Kapur, Deepak Springer-Verlag