Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

>> Google Books

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

フォーマット:

図書

責任表示:

Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1999

形態:

xii, 395 p. : ill. ; 24 cm

著者名:

シリーズ名:

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

書誌ID:

BA4306495X

ISBN:

9783540664925 [3540664920]

子書誌情報

所蔵情報

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

詳細

主題:	Automatic theorem proving--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.63 NDC8 : 007.1 LCSH : Logic programming -- Congresses LCSH : Automatic theorem proving -- Congresses
LCCN:	99047217
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings Fermüller, Christian G., Voronkov, Andrei, SpringerLink (Online service) Springer Berlin Heidelberg
2 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	8 図書 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
3 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag	9 図書 Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings LPNMR, Eiter, Thomas, 1966-, Faber, Wolfgang, 1974-, Truszczyński, Mirosław Springer
4 図書 Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. … Russian Conference on Logic Programming, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	10 電子ブック Logic for Programming Artificial Intelligence and Reasoning : 14th International Conference LPAR 2007 Yerevan Armenia October 15-19 2007. Proceedings Dershowitz Nachum, Voronkov Andrei, SpringerLink (Online service) Springer-Verlag
5 図書 Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings International Conference on Logic Programming, Codognet, Philippe Springer	11 電子ブック Logic for Programming Aritficial Intelligence and Reasoning : 13th International Conference LPAR 2006 Phnom Penh Cambodia November 13-172006 Proceedings Hermann Miki, Voronkov Andrei, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, … Sutcliffe, Geoff, Voronkov, Andrei, SpringerLink (Online service) Springer-Verlag GmbH.	12 図書 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald Springer