Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings

>> Amazon.co.jp

このページのQRコード

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings

種類:

図書

責任表示:

V.W. Marek, A. Nerode, M. Truszczyński (eds.)

出版情報:

Berlin ; New York ; Tokyo : Springer Verlag, c1995

著者名:

シリーズ名:

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

ISBN:

9783540594871 [3540594876] (: gw)

9780387594873 [0387594876] (: us)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Logic programming--Congresses; Reasoning--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1/1 LCSH : Logic programming -- Congresses LCSH : Reasoning -- Congresses
LCCN:	95023976
TTLL:	eng
言語:	英語
形態:	viii, 415 p. ; 24 cm
書誌ID:	BA25252506

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings Marek, V. Wiktor, Nerode, Anil, Truszczyński, M., SpringerLink (Online service) Springer-Verlag	7 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin) Springer-Verlag
2 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings Marek, V. Wiktor., Nerode, Anil., Truszcynski, Miroslaw., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings International Symposium, PLILP, Małuszyński, Jan, 1941-, Wirsing, M. (Martin) Springer-Verlag
3 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming MIT Press	9 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag
4 図書 Nonmonotonic logic : context-dependent reasoning Marek, Wiktor, Truszczyński, Mirosław Springer	10 図書 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
5 図書 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : … TABLEAUX, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim Springer Verlag	11 図書 Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959- Springer
6 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	12 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag