
Constraints in Computational Logics
Hubert Comon, Claude Marche, Ralf Treinen
₹3,749

French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
by Hubert Comon, Jean-Pierre Jouannaud
Free delivery. Nothing extra to pay at checkout.
This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.
Description supplied by the publisher.