Logic programming and non-monotonic reasoning : proceedings of the first international workshop

>> Google Books

Logic programming and non-monotonic reasoning : proceedings of the first international workshop

フォーマット:

図書

責任表示:

edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, c1991

形態:

vi, 288 p. ; 23 cm

著者名:

書誌ID:

BA12802309

ISBN:

9780262640275 [0262640279]

子書誌情報

所蔵情報

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

書誌詳細

主題:	Logic programming--Congresses; Reasoning--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1 LCSH : Logic programming -- Congresses LCSH : Reasoning -- Congresses
LCCN:	91016074
注記:	Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others Includes bibliographical references and index
タイトル言語:	eng

類似資料:

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 LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław Springer Verlag	7 図書 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
2 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning Springer-Verlag	8 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
3 図書 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	9 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings International Workshop PLILP, Deransart, Pierre, 1945-, Małuszyński, Jan, 1941- Springer-Verlag
4 図書 Logic programming : proceedings of the 1991 international symposium International Symposium on Logic Programming, Saraswat, Vijay, Association for Logic Programming, 上田, 和紀(1956-) MIT Press	10 図書 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941- Springer-Verlag
5 図書 Logic programming : proceedings of the fifth international conference and symposium Kowalski, Robert, Bowen, Kenneth A., Association for Logic Programming, IEEE Computer Society, International Conference … MIT Press	11 図書 Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings Grabowski, Jan, Lescanne, Pierre, International Workshop on Algebraic and Logic Programming, Wechler, Wolfgang, 1940- Springer-Verlag
6 図書 Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings TABLEAUX, Miglioli, Pierangelo Springer	12 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, … Springer-Verlag