Programmation En Logique

16 books
Programmation en logique avec contraintesFrance) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille
⏱ 4h 38m

Programmation en logique avec contraintes

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

2000278 pp.
Logic ProgrammingPhilippe Codognet
⏱ 6h 5m

Logic Programming

Philippe Codognet

2001365 pp.
Foundations of Disjunctive Logic ProgrammingJorge Lobo
⏱ 5h 7m

Foundations of Disjunctive Logic Programming

Jorge Lobo

1992307 pp.
Logics of programsRohit Parikh
⏱ 7h 4m

Logics of programs

Rohit Parikh

1985424 pp.
The craft of PrologRichard A. O'Keefe
⏱ 6h 27m

The craft of Prolog

Richard A. O'Keefe

1990387 pp.
From logic design to logic programmingDominique Snyers
⏱ 2h 7m

From logic design to logic programming

Dominique Snyers

1987127 pp.
Programming languages implementation and logic programmingPLILP '88 (1988 Orléans, France)
⏱ 4h 59m

Programming languages implementation and logic programming

PLILP '88 (1988 Orléans, France)

1989299 pp.
Axiomatising the logic of computer programmingRobert Goldblatt
⏱ 5h 4m

Axiomatising the logic of computer programming

Robert Goldblatt

1982304 pp.
1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New JerseyInternational Symposium on Logic Programming (1984 Atlantic City, N.J.)
⏱ 5h 11m

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

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

1984311 pp.
Proof and computationNorth Atlantic Treaty Organization
⏱ 7h 50m

Proof and computation

North Atlantic Treaty Organization

1995470 pp.
Parallel logic programmingEvan Tick
⏱ 8h 6m

Parallel logic programming

Evan Tick

1991486 pp.
Logique et fondements de l'informatiqueRichard Lassaigne
⏱ 4h 8m

Logique et fondements de l'informatique

Richard Lassaigne

1993248 pp.
Rewriting Techniques and ApplicationsJean-Pierre Jouannaud
⏱ 7h 21m

Rewriting Techniques and Applications

Jean-Pierre Jouannaud

1985441 pp.
Foundations of Software Technology and Theoretical Computer ScienceC. E. V. Madhavan
⏱ 5h 39m

Foundations of Software Technology and Theoretical Computer Science

C. E. V. Madhavan

1989339 pp.
Automata, languages and programmingPierpaolo Degano
⏱ 14h 22m

Automata, languages and programming

Pierpaolo Degano

1997862 pp.
Esquisse de cours 12e annéeOntario.
⏱ 2h 9m

Esquisse de cours 12e année

Ontario.

2002129 pp.