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

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

フォーマット:

図書

責任表示:

A. Voronkov, ed

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1992

形態:

xiv, 509 p. ; 25 cm

著者名:

シリーズ名:

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

書誌ID:

BA1726493X

ISBN:

9783540557272 [354055727X] (: gw)

9780387557274 [038755727X] (: us)

子書誌情報

所蔵情報

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

書誌詳細

主題:	Automatic theorem proving--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 006.3 LCSH : Logic programming -- Congresses LCSH : Automatic theorem proving -- Congresses
LCCN:	92021886
注記:	Includes bibliographical references
タイトル言語:	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 図書 Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings ILP, Page, David, 1963- Springer
2 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag	8 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming MIT Press
3 図書 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	9 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming Sterling, Leon MIT Press
4 図書 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	10 図書 Logic programming : Proceedings of the eighth International Conference International Conference on Logic Programming, 古川, 康一(1942-) MIT Press
5 図書 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	11 図書 Logic programming : proceedings of the seventh international conference International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949- MIT Press
6 図書 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław Springer Verlag	12 図書 Logic programming : proceedings of the sixth international conference International Conference on Logic Programming, Levi, Giorgio, 1942-, Martelli, Maurizio MIT Press