Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

フォーマット:

図書

責任表示:

Frank Pfenning (ed.)

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1994

形態:

x, 344 p. ; 24 cm

著者名:

シリーズ名:

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

書誌ID:

BA23005674

ISBN:

9780387582160 [0387582169] (: us)

9783540582168 [3540582169] (: gw)

子書誌情報

所蔵情報

書誌詳細

主題:	Automatic theorem proving--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 006.3 NDC8 : 007.1 LCSH : Logic programming -- Congresses LCSH : Automatic theorem proving -- Congresses
注記:	Includes bibliographical references and index
タイトル言語:	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 図書 Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955- Springer-Verlag
2 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	8 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer
3 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario) Springer-Verlag	9 図書 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings International Conference on Automated Deduction, Stickel, Mark E., 1947- Springer-Verlag
4 図書 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	10 図書 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings International Conference on Automated Deduction, McCune, W. (William) Springer
5 図書 Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings ILP, Page, David, 1963- Springer	11 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K. Springer
6 図書 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	12 図書 Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings International Conference on Automated Deduction, Bundy, Alan Springer-Verlag