| | Books 1 - 6 of 6 | Previous | Next | 
|  | | Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 2, ... (Lecture Notes in Computer Science) (1st Edition)
by Laurent Fribourg (Editor), Franco Turini (Editor)
Paperback, 451 Pages, Published 1994 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Science Logic: 5th International Workshop, CSL 200. 0th Annual Conference of the EACSL, Paris, France, September 0-3, 200 Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Laurent Fribourg (Editor)
Paperback, 615 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Logic Program Synthesis and Transformation-- Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 (Lecture Notes in Computer Science)
by Laurent Fribourg, Franco Turini
Hardcover, Published 1994 by Springer-Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Sous Le Signe De La Perception: Semiotique Et Perception: Actes Du Colloque De L'association Suisse De Semiotique Du 27 Avril 2001 A L'universite De Fribourg ... - Textanalyse In Universitat Und Schul
by Laurent Rossier (Editor)
Paperback, 177 Pages, Published 2003 by Peter Lang Publishing
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A strong restriction of the completion procedure for theories with constructors ([Report] / Université P. et M. Curie, Laboratoire Informatique Théorique et Programmation)
by Laurent Fribourg
Unknown Binding, 23 Pages, Published 1985 by Université P. et M. Curie, Institut de Programmation, Laboratoire Informatique Théorique et Programmation
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Prolog with simplification ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation)
by Laurent Fribourg
Unknown Binding, 5 Pages, Published 1986 by Universite P. et M. Curie
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 6 of 6 | Previous | Next |
|