Computing with logic : logic programming with Prolog

Computing with logic : logic programming with Prolog

Enregistré dans:

Détails bibliographiques
Auteur principal:	Maier, David, 1953-
Autres auteurs:	Warren, David S.
Support:	Livre
Langue:	Anglais
Publié:	Menlo Park, Calif. : Benjamin/Cummings Pub. Co., c1988.
Sujets:	Prolog (langage de programmation). Programmation logique. Prolog (langage de programmation)
Autres localisations:	Voir dans le Sudoc

Documents similaires

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)

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

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)

Programmation en logique.
par: Boizumault, Patrice.
Publié: (1984)

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)

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

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

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

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

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

From logic to logic programming
par: Doets, Kees.
Publié: (1994)

Introduction to programming in java : an interdisciplinary approach
par: Sedgewick, Robert, 1946-
Publié: (2008)

Introduction to programming in Python : an interdisciplinary approach
par: Sedgewick, Robert, 1946-
Publié: (2015)

Programmable Logic Controllers
par: Bolton, W..

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

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

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

JavaScript : the definitive guide : master the world's most-used programming language
par: Flanagan, David.
Publié: (2020)

Computing in statistical science through APL
par: Anscombe, Francis John.
Publié: (1981)

Mitsubishi FX Programmable Logic Controllers
par: Ridley, John.

Java : how to program
par: Deitel, Harvey M., 1945-
Publié: (1997)

Pascal, an introduction to methodical programming
par: Findlay, William, 1947-
Publié: (1978)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings
Publié: (1992)

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

Python crash course : a hands-on, project-based introduction to programming
par: Matthes, Eric, 1972-
Publié: (2019)

Automate the boring stuff with python : practical programming for total beginners
par: Sweigart, Albert.
Publié: (2020)

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

Exemples en Java in a nutshell : exemples et exercices pour Java 2 version 1-3
par: Flanagan, David.
Publié: (2001)

Java in a nutshell : [manuel de référence pour Java 1.0]
par: Flanagan, David.
Publié: (1996)

La technique informatique.
par: Bestougeff, Hélène.
Publié: (1975)

Cryptography in C and C++
par: Welschenbach, Michael.
Publié: (2001)

Squeak : programmation
par: Briffault, Xavier.
Publié: (2001)

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

Le langage Java : concepts et pratique
par: Charon, Irène.
Publié: (2000)

Algorithmique en C, C++, Java, Python et PHP
par: Léry, Jean-Michel.
Publié: (2019)

JavaScript & jQuery : interactive front-end web development
par: Duckett, Jon.
Publié: (2014)

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