Foundations of logic programming

Foundations of logic programming

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Lloyd, J. W.
Format:	Livre
Jezik:	Anglais
Izdano:	[S.l.] : Ed. Springer-Verlag, 1987.
Izdaja:	Second, extended édition.
Teme:	Programmation logique.

Podobne knjige/članki

Inductive logic programming
od: Muggleton, Stephen.
Izdano: (1992)

Constraint logic programming : selected research
Izdano: (1993)

Computing with logic : logic programming with Prolog
od: Maier, David, 1953-
Izdano: (1988)

Logic programming and its applications Ablex series in artificial intelligence
od: Van Caneghen, M.
Izdano: (1986)

From logic to logic programming
od: Doets, Kees.
Izdano: (1994)

Logic for problem solving
od: Kowalski, Robert A.
Izdano: (1979)

An Intermediate logic
od: Welton, James.
Izdano: (1930)

Logics II : a sociobiological approach to social and other logics
od: Parker, James Hill.
Izdano: (1992)

Logic primer
od: Allen, Colin.
Izdano: (2001)

Beginning logic
od: Lemmon, E. J.(
Izdano: (1990)

Linear programming : foundations and extensions.
od: Vanderbei, Robert J.
Izdano: (1997)

Elements of symbolic logic
od: Reichenbach, Hans, 1891-1953.
Izdano: (1966)

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

Programmable Logic Controllers
od: Bolton, W..

Elementa logices Aristoteleae.
od: Trendelenburg, Adolf Friedrich, 1802-1872.
Izdano: (1892)

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

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

Matrix logic and mind : a probe into a unified theory of mind and matter.
od: Stern, Auguste.
Izdano: (1992)

Programmer les contraintes
od: Georget, Yan.
Izdano: (2006)

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

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

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

Hypothetical syllogistic and Stoic logic
od: Speca, Anthony, 19..-
Izdano: (2001)

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

The Practice of Prolog
Izdano: (1990)

Mitsubishi FX Programmable Logic Controllers
od: Ridley, John.

Three Views of Logic : Mathematics, Philosophy, and Computer Science
od: Loveland, Donald W..
Izdano: (2014)

Programmation en logique.
od: Boizumault, Patrice.
Izdano: (1984)

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

Topos : Probability, logics and exactitude
Izdano: (1999)

Linear programming
od: Chvátal, Vasek, 1946-
Izdano: (1983)

Mathematical programming : theory and algorithms
od: Minoux, Michel.
Izdano: (1986)

Nonlinear programming
od: Bertsekas, Dimitri P., 1942-
Izdano: (2003)

Studies in linear and non linear programming
od: Arrow, Kenneth J.
Izdano: (1972)

Integer programming
od: Garfinkel, Robert.
Izdano: (1972)

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

Linear and non linear programming
od: Luenberger, David G.
Izdano: (1984)

Logique moderne.
od: Grize, Jean Blaise, 1922-2013.
Izdano: (1969)

Introduction to programming in Python : an interdisciplinary approach
od: Sedgewick, Robert, 1946-
Izdano: (2015)

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

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