Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 1990

Logique. Volume 2, Méthodes formelles pour l'étude des programmes / Paul Go...

Livre | Gochet, Paul (1932-2011). Auteur | 1994

Marc : l'évangile revisité / André Thayse

Livre | Thayse, André (1940-....). Auteur | 1999

Logique. Volume 2, Méthodes formelles pour l'étude des programmes / Paul Go...

Livre | Gochet, Paul (1932-2011). Auteur | 1994

Turbo-PROLOG : une introduction à l'intelligence artificielle / Patrice Bih...

Livre | Bihan, Patrice. Auteur | 1987

Artificial intelligence techniques in Prolog / Yoav Shoham

Livre | Shoham, Yoav (1956-....). Auteur | 1994

Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 1990

Programming in Prolog / W.F. Clocksin, C.S. Mellish

Livre | Clocksin, William F.. Auteur | 2003 - 5th ed.

La logique propositionnelle et ses variantes : une approche comparée / Fran...

Livre | Lepage, François (1950-....). Auteur | 2022

Introduction à la métalogique du calcul proportionnel, cet ouvrage contient non seulement l'initiation aux concepts de base du domaine (syntaxe, sémantique, consistance, complétude, etc.), mais également des développements u...