Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

>> Amazon.co.jp

このページのQRコード

Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

種類:

図書

責任表示:

Robert Nieuwenhuis, Andrei Voronkov (eds.)

出版情報:

Berlin ; New York : Springer, c2001

著者名:

シリーズ名:

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

ISBN:

9783540429579 [3540429573]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Automatic theorem proving--Congresses; Logic programming--Congresses
分類・件名:	NDC9 : 007.13 LCSH : Logic programming -- Congresses LCSH : Automatic theorem proving -- Congresses
TTLL:	eng
言語:	英語
形態:	xv, 738 p. : ill. ; 24 cm
書誌ID:	BA54606453

内容紹介

目次情報

類似資料:

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 Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings Voronkov, Andrei., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
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, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	8 電子ブック Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings Voronkov, Andrei, SpringerLink (Online service) 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 図書 Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings Page, David, ILP '98 Springer
4 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag	10 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, Workshop on … Springer-Verlag
5 図書 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	11 電子ブック Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Voronkov, Andrei., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings Voronkov, Andrei, SpringerLink (Online service) Springer-Verlag	12 図書 Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings Schroeder-Heister, Peter Joseph, 1953-, International Workshop on Extensions of Logic Programming Springer-Verlag