An introduction to programming in Prolog

An introduction to programming in Prolog

Enregistré dans:

Détails bibliographiques
Auteur principal:	Saint-Dizier, Patrick, 1954-
Support:	Livre
Langue:	Anglais Français
Publié:	New York : Springer-Verlag, c1990.
Sujets:	Prolog (langage de programmation)
Autres localisations:	Voir dans le Sudoc

Documents similaires

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

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

The Practice of Prolog
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)

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

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)

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

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)

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

An Introduction to parallel programming
par: Pacheco, Peter S. (19..-....).
Publié: (2021)

Introduction to dynamic programming
par: Cooper, Leon, 1924-
Publié: (1981)

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

Programming Language Pragmatics
par: Scott, Michael Lee (1959-....).

Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974
Publié: (1974)

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

Practical Python programming for IoT : build advanced IoT projects using a Raspberry Pi 4, MQTT, RESTful APIs, WebSockets, and Python 3
par: Smart, Gary, 19..-
Publié: (2020)

Programming Kotlin
Publié: (2017)

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

Linear programming
par: Chvátal, Vasek, 1946-
Publié: (1983)

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

Mathematical programming : theory and algorithms
par: Minoux, Michel.
Publié: (1986)

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

C programming for dummies
par: Gookin, Dan (1960-....).

PHP Reactive Programming
par: Sikora, Martin.
Publié: (2017)

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

Nonlinear programming
par: Bertsekas, Dimitri P., 1942-
Publié: (2003)

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

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

Integer programming
par: Garfinkel, Robert.
Publié: (1972)

Learning scala programming : object-oriented programming meets functional reactive to create scalable and concurrent programs
par: Sharma, Vikash (19..-....).
Publié: (2018)

Julia 1.0 programming : dynamic and high-performance programming to build fast scientific applications
par: Balbaert, Ivo (19..-....).
Publié: (2018)

Progress in mathematical programming : interior-point and related methods
Publié: (1989)

Beginning C++ programming
par: Grimes, Richard (1964-....).
Publié: (2017)

Linear and non linear programming
par: Luenberger, David G.
Publié: (1984)

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

Introduction to artificial intelligence
par: Charniak, Eugene.
Publié: (1985)

Introduction à l'informatique quantique : apprendre à calculer sur des ordinateurs quantiques avec Python
par: Bourreau, Éric.
Publié: (2022)

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