Liknande böcker

Meta-Programming in Logic : proceedings
Bok av Alberto Pettorossi
Extensions of logic programming
Bok av Roy Dyckhoff
Logic programming and automated reasoning : proceedings
Bok av Andrei Voronkov
Logic programming and automated reasoning
Bok av Frank Pfenning
Logic Program Synthesis and Transformation : 5th International Workshop,...
Bok av Maurizio Proietti
ESOP ʹ88 : proceedings
Bok av Harald Ganzinger
TAPSOFT '95: Theory and Practice of Software Development : 6th Internati...
Bok av Peter D Mosses
Extensions of Logic Programming : Third International Workshop, ELP '92,...
Bok av Evelina Lamma

Algebraic and logic programming : proceedings

Bok av Helene Kirchner
This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.