Programmation en logique.

Programmation en logique.

Enregistré dans:

Détails bibliographiques
Publié dans:	Les Cahiers de l'I.M.A. No 5
Auteur principal:	Boizumault, Patrice.
Autres auteurs:	L'Hospitalier, Yvon.
Support:	Livre
Publié:	1984.
Sujets:	Prolog (langage de programmation). Programmation logique. Articles de périodiques
Lien:	Dans: Les Cahiers de l'I.M.A.

Documents similaires

Computing with logic : logic programming with Prolog
par: Maier, David, 1953-
Publié: (1988)

The Practice of Prolog
Publié: (1990)

The art of Prolog : advanced programming techniques
par: Sterling, Leon.
Publié: (1987)

Programming in Prolog
par: Clocksin, William F, 1955-
Publié: (1980)

Prolog : a relational language and its applications
par: Malpas, John, 1953-
Publié: (1987)

Prolog and its applications : a japanese perspective
par: Mizoguchi, Fumio.
Publié: (1991)

An introduction to programming in Prolog
par: Saint-Dizier, Patrick, 1954-
Publié: (1990)

Artificial intelligence techniques in prolog
par: Shoham, Yoav.
Publié: (1994)

512 problèmes corrigés Pascal, C++, Lisp, Prolog
par: Gacôgne, Louis.
Publié: (1996)

Programmer les contraintes
par: Georget, Yan.
Publié: (2006)

La programmation avec ScratchJr : [cycles 2 et 3] : développer la pensée logique
par: Crochet, Frédéric.
Publié: (2019)

Logic programming and its applications Ablex series in artificial intelligence
par: Van Caneghen, M.
Publié: (1986)

Constraint logic programming : selected research
Publié: (1993)

Approche logique de l'intelligence artificielle.
Publié: (1988)

Foundations of logic programming
par: Lloyd, J. W.
Publié: (1987)

Inductive logic programming
par: Muggleton, Stephen.
Publié: (1992)

La programmation applicative : de LIPS à la machine en passant par le lambda-calcul
par: Saint-James, Emmanuel, 1956-
Publié: (1993)

Programmation en Python pour les mathématiques : cours et exercices
par: Casamayou-Boucau, Alexandre.
Publié: (2016)

S'initier à la programmation : avec des exemples en C, C++, C sharp, Java et PHP
par: Delannoy, Claude, 1946-...., informaticien.
Publié: (2008)

Introduction à la théorie des langages de programmation
par: Dowek, Gilles, 1966-
Publié: (2006)

Programmer en ADA
par: Barnes, John G. P.
Publié: (1988)

Programmer en Python
par: Ramalho, Luciano.
Publié: (2019)

Programmation en langage C
par: Kochan, Stephen G.
Publié: (2005)

Algorithmique et programmation en Java
par: Granet, Vincent, 1959-
Publié: (2016)

Programmer en Java
par: Delannoy, Claude, 1946-...., informaticien.
Publié: (2014)

Programmation SQL
par: Mata-Toledo, Ramon A.
Publié: (2003)

Algorithmique et programmation en PASCAL : cours
par: Cousot, Patrick.
Publié: (1992)

Programmer en C++
par: Hubbard, John Rast, 1943-
Publié: (2002)

Logique et linguistique
par: Ducrot, Oswald, 1930-2024.
Publié: (1966)

La programmation orientée objet
par: Bersini, Hugues, 1961-
Publié: (2010)

Introduction à la programmation objet en Java : cours et exercices
par: Brondeau, Jean.
Publié: (1999)

Programmation Java
par: Hubbard, John Rast, 1943-
Publié: (2005)

Manuel de référence du langage de programmation ADA
Publié: (1982)

Introduction à la logique contemporaine
par: Blanché, Robert, 1898-1975.
Publié: (1969)

Logic for problem solving
par: Kowalski, Robert A.
Publié: (1979)

La programmation orientée objet : cours et exercices en UML2, Python, PHP, C#, C++ et Java (y compris Android)
par: Bersini, Hugues, 1961-
Publié: (2017)

L'intelligence artificielle pour les développeurs : concepts et implémentations en C#
par: Mathivet, Virginie.
Publié: (2014)

Programmer en Java
par: Hubbard, John Rast, 1943-
Publié: (2002)

Programmation en langage C : corrigés des exercices
par: Kochan, Stephen G.
Publié: (2005)

Programmer en Java
par: Delannoy, Claude, 1946-
Publié: (2017)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1