Foundations of logic programming

Foundations of logic programming

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lloyd, J. W.
Support:	Livre
Langue:	Anglais
Publié:	[S.l.] : Ed. Springer-Verlag, 1987.
Édition:	Second, extended édition.
Sujets:	Programmation logique.

Documents similaires

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

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

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

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

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

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

An Intermediate logic
par: Welton, James.
Publié: (1930)

Logics II : a sociobiological approach to social and other logics
par: Parker, James Hill.
Publié: (1992)

Logic primer
par: Allen, Colin.
Publié: (2001)

Beginning logic
par: Lemmon, E. J.(
Publié: (1990)

Linear programming : foundations and extensions.
par: Vanderbei, Robert J.
Publié: (1997)

Elements of symbolic logic
par: Reichenbach, Hans, 1891-1953.
Publié: (1966)

A system of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation
par: Mill, John Stuart, 1806-1873.
Publié: (1911)

Programmable Logic Controllers
par: Bolton, W..

Elementa logices Aristoteleae.
par: Trendelenburg, Adolf Friedrich, 1802-1872.
Publié: (1892)

Logic and Language : studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth birthday.
Publié: (1962)

A study of Hegel's logic
par: Mure, Geoffrey Reginald Gilchrist, 1893-1979.
Publié: (1950)

Matrix logic and mind : a probe into a unified theory of mind and matter.
par: Stern, Auguste.
Publié: (1992)

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

Everything that linguists have always wanted to know about logic, but were ashamed to ask
par: McCawley, James D.
Publié: (1981)

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

The origin and growth of Plato's logic : with an account of Plato's style and of the chronology of his writings
par: Lutosławski, Wincenty, 18..-
Publié: (1897)

Hypothetical syllogistic and Stoic logic
par: Speca, Anthony, 19..-
Publié: (2001)

Logical categorization and schemas : a study of their relationships in 6- to 11-year-olds
par: Houdé, Olivier, 1963-
Publié: (1989)

The Practice of Prolog
Publié: (1990)

Mitsubishi FX Programmable Logic Controllers
par: Ridley, John.

Three Views of Logic : Mathematics, Philosophy, and Computer Science
par: Loveland, Donald W..
Publié: (2014)

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

Schematic or Taxonomic Organisation of the Reality and the Development of Class Logic
par: Barrouillet, Pierre, 1954-
Publié: (1994)

Topos : Probability, logics and exactitude
Publié: (1999)

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

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

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

Studies in linear and non linear programming
par: Arrow, Kenneth J.
Publié: (1972)

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

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

Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: (1969)

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

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

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
par: Desclès, Jean-Pierre.
Publié: (2010)

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