Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings

フォーマット:

図書

責任表示:

Maurice Bruynooghe, Jaan Penjam, eds

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1993

形態:

xi, 421 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 714 <BA00009279>

書誌ID:

BA20710090

ISBN:

9780387571867 [0387571868] (: us)

9783540571865 [3540571868] (: gw)

子書誌情報

所蔵情報

書誌詳細

主題:	Logic programming--Congresses; Programming languages (Electronic computers)--Congresses
分類・件名:	LCC : QA76.7 DDC : 005.13/1 LCSH : Programming languages (Electronic computers) -- Congresses LCSH : Logic programming -- Congresses
LCCN:	93011822
注記:	Includes bibliographical references
タイトル言語:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	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 図書 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	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 図書 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	9 図書 Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings International Colloquium on Automata, Languages and Programming, Lingas, Andrzej, Karlsson, R. (Rolf), 1950-, Carlsson, … Springer-Verlag
4 図書 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : … International Symposium, PLILP, Hermenegildo, Manuel, Swierstra, S. Doaitse Springer-Verlag	10 図書 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
5 図書 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	11 図書 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948- Springer-Verlag
6 図書 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	12 図書 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