28 treff

logic programming languages
Logic programming languages : constraints, functions, and objects
edited by K. R. Apt, J. W. de Bakker, and...
Bok Engelsk 1993 · Vis mer
Truth, deduction, and computation : logic and semantics for computer science
R. E. Davis
Bok Engelsk 1989 · Vis mer
Foundations of logic programming
J.W. Lloyd
Bok Engelsk 1987 · Vis mer
Vis flere utgaver
Vis flere utgaver
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
PLILP '95
Bok Engelsk 1995 · Vis mer
Answer Set Programming
Lifschitz, Vladimir.
Bok Engelsk 2019 · Vis mer
Logic of domains
Guo-Qiang Zhang
Bok Engelsk 1991 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 1.

Bok Engelsk 2002 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 2.

Bok Engelsk 2002 · Vis mer
Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
PLILP '92
Bok Engelsk 1992 · Vis mer
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
PLILP '94
Bok Engelsk 1994 · Vis mer
Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings
PLILP '93
Bok Engelsk 1993 · Vis mer
Programming language implementation and logic programming : 3rd international symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
PLILP '91
Bok Engelsk 1991 · Vis mer
Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings
International Workshop PLILP '90
Bok Engelsk 1990 · Vis mer
Lambda-calculus, combinators, and functional programming
Révész, György E.
Bok Engelsk 1988 · Vis mer
Logic of domains
Guo-Qiang Zhang.
Bok Engelsk · Vis mer
Natural language understanding
James Allen
Bok Engelsk 1995 · Vis mer
Vis flere utgaver
Vis flere utgaver
The Gödel programming language
Patricia Hill, John Lloyd
Bok Engelsk 1994 · Vis mer
The logic of partial information
Areski Nait Abdallah
Bok Engelsk 1995 · Vis mer
Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
International Workshop on Natural Language Understanding and Logic Programming
Bok Engelsk 1985 · Vis mer
The Tbilisi Symposium on Logic, Language and Computation : selected papers
Tbilisi Symposium on Logic, Language and Computation
Bok Engelsk 1998 · Vis mer
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
edited by Jean Goubault-Larrecq, Barbara ...
Bok Engelsk 2020 · Vis mer
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
edited by Mikołaj Bojańczyk, Alex Simpson...
Bok Engelsk 2019 · Vis mer
Logic and specification : extending VDM-SL for advanced formal specification
Middelburg, Cornelis Adam
Bok Engelsk 1993 · Vis mer
Generic model management : concepts and algorithms
Sergey Melnik
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
edited by Hans De Nivelle.
Bok Engelsk 2015 · Vis mer
A Science of Operations
Priestley, Mark.
Bok Engelsk 2011 · Vis mer
λ-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
edited by C. Böhm
Bok Engelsk 1975 · Vis mer
Vis flere utgaver
Vis flere utgaver