Filter

Programmation En Logique

15 books found

Rewriting Techniques and Applications
Rewriting Techniques and Applications

by Jean-Pierre Jouannaud

1985 3 ed.
Foundations of Software Technology and Theoretical Computer Science
Foundations of Software Technology and Theoretical Computer ...

by C. E. V. Madhavan

1989 2 ed.
From logic design to logic programming
From logic design to logic programming

by Dominique Snyers

1987 2 ed.
Logic Programming
Logic Programming

by Philippe Codognet

2001 2 ed.
The craft of Prolog
The craft of Prolog

by Richard A. O'Keefe

1990 1 ed.
Programming languages implementation and logic programming
Programming languages implementation and logic programming

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

1989 1 ed.
Parallel logic programming
Parallel logic programming

by Evan Tick

1991 1 ed.
Programmation en logique avec contraintes
Programmation en logique avec contraintes

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

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

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

1984 1 ed.
Logique et fondements de l'informatique
Logique et fondements de l'informatique

by Richard Lassaigne

1993 1 ed.
Foundations of Disjunctive Logic Programming
Foundations of Disjunctive Logic Programming

by Jorge Lobo

1992 1 ed.
Automata, languages and programming
Automata, languages and programming

by Pierpaolo Degano

1997 1 ed.
Proof and computation
Proof and computation

by North Atlantic Treaty Organization

1995 1 ed.
Axiomatising the logic of computer programming
Axiomatising the logic of computer programming

by Robert Goldblatt

1982 1 ed.
Logics of programs
Logics of programs

by Rohit Parikh

1985 1 ed.