1 - Traitement de données complexes et commande en logique floue
Bouchon-Meunier, Bernardette (1948-....)   /   Marsala, Christophe

Cote : [05 BOU 03]

2 - Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmes
Margenstern, Maurice

Cote : [77 MAR 90-2]

3 - Computer programming and formal systems
Braffort, Paul (1923-....) (Ed.)   /   Hirschberg, David (Ed.)

Cote : [05 BRA 63]

4 - From logic to logic programming
Doets, Kees

Cote : [75.5 DOE 94]

5 - Introduction to logic programming
Hogger, Christopher John

Cote : [77.5 HOG 84]

6 - Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursives
Margenstern, Maurice

Cote : [77 MAR 89-1]

7 - Logic and algorithms : with applications to the computer and information sciences
Korfhage, Robert R.

Cote : [05 KOR 66]

8 - Logic programming and its applications
Van Caneghem, Michel (Ed.)   /   Warren, David H. D. (Ed.)

Cote : [77 VAN-CAN 86]

9 - Mathématiques pour l'informatique : avec exercices corrigés - 3ème édition
Arnold, André (1945-....)   /   Guessarian, Irène (1948-....)

Cote : [77 ARN 97]

10 - The Logical basis for computer programming. Vol. I : deductive reasoning
Manna, Zohar (1939-....)   /   Waldinger, Richard

Cote : [05 MAN 85]