Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

>> Google Books

所蔵情報QRコード

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1992

形態:

xii, 351 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 649 <BA00009279>

著者名:

ISBN:

9783540562825 [3540562826] (: gw)
9780387562827 [0387562826] (: us)

書誌ID:

BA19090636

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index "This volume contains the papers presented at the Third International Workshop on 'Meta-Programming in Logic'"--Foreword
主題:	Logic programming--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers International Workshop on Logic Program Synthesis and Transformation, Pettorossi, A. (Alberto), 1947- Springer	7 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us) LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
2 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings (: gw ; : us) International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958- Springer-Verlag	8 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings (: gw ; : us) International Workshop PLILP, Deransart, Pierre, 1945-, Małuszyński, Jan, 1941- Springer-Verlag
3 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : … International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, … Springer-Verlag	9 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings (: gw ; : us) International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin) Springer-Verlag
4 図書 Recent advances in Constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, … CSCLP, European Research Consortium for Informatics and Mathematics, International Workshop on Constraint Solving and … Springer	10 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings (: gw ; : us) International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, … Springer-Verlag
5 図書 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings International Workshop on Logic Program Synthesis and Transformation, Fuchs, N. E. (Norbert E.) Springer	11 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us) Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag
6 図書 Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings (: gw ; : us) Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael) Springer-Verlag	12 図書 Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers International Workshop LPKR, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer

1

2

3

4

5

6

7

8

9

10

11

12