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

>> Amazon.co.jp

このページのQRコード

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

著者名:

ISBN:

9780262640275 [0262640279]

注記:

Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others
Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Logic programming--Congresses; Reasoning--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1 NDC7 : 549.92 LCSH : Logic programming -- Congresses LCSH : Reasoning -- Congresses
LCCN:	91016074
TTLL:	eng
言語:	英語
形態:	vi, 288 p. : ill. ; 23 cm
書誌ID:	BA12802309

内容紹介

目次情報

類似資料:

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 図書 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
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 : proceedings of the 1993 International Symposium International Symposium on Logic Programming, Miller, Dale, Association for Logic Programming MIT Press
3 図書 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	9 図書 Logic programming : proceedings of the 1994 international symposium Bruynooghe, M. (Maurice), International Conference on Logic Programming, Association for Logic Programming MIT
4 図書 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	10 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
5 電子ブック 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	11 図書 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
6 電子ブック 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	12 図書 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