Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

フォーマット:

図書

責任表示:

Michael Hanus, Mario Rodríguez-Artalejo (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c1996

形態:

viii, 344 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 1139 <BA00009279>

書誌ID:

BA2838791X

ISBN:

9783540617358 [3540617353]

子書誌情報

所蔵情報

書誌詳細

主題:	Algebraic logic--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.6 DDC : 005.13/1 LCSH : Logic programming -- Congresses LCSH : Algebraic logic -- Congresses
注記:	Includes bibliographical references
タイトル言語:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse Springer
2 図書 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	8 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael) Springer-Verlag
3 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940- Springer-Verlag	9 図書 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio … International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959- Springer
4 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955- Springer-Verlag	10 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag
5 図書 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	11 図書 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
6 図書 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	12 図書 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