Meta-programming in logic : third international workshop, META-92 : proceedings, Uppsala, Sweden, June 10-12, 1992 / edited by A. Pettorossi
Meta-programming in logic : third international workshop, META-92 : proceedings, Uppsala, Sweden, June 10-12, 1992 / edited by A. Pettorossi - - Berlin : Springer-verlag, 1992 1992 - xii,351 p. 24 cm - Lecture notes in computer science ; v.649 .
3-540-56282-60
Logic, Symbolic and mathematical-Congresses
Logic programming-Congresses
681.3:517.1 Met:3:92