Explore Books on
programmation en logique

Rewriting Techniques and Applications

By Jean-Pierre Jouannaud

Foundations of Software Technology and Theoretical Computer Science

By C. E. V. Madhavan

From logic design to logic programming

By Dominique Snyers

Logic Programming

By Philippe Codognet

The craft of Prolog

By Richard A. O'Keefe

Programming languages implementation and logic programming

By PLILP '88 (1988 Orléans, France)

Parallel logic programming

By Evan Tick

Programmation en logique avec contraintes

By France) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille

1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey

By International Symposium on Logic Programming (1984 Atlantic City, N.J.)

Logique et fondements de l'informatique

By Richard Lassaigne

Foundations of Disjunctive Logic Programming

By Jorge Lobo

Automata, languages and programming

By Pierpaolo Degano

Proof and computation

By North Atlantic Treaty Organization

Axiomatising the logic of computer programming

By Robert Goldblatt

Logics of programs

By Rohit Parikh