Clear Search

Books+ Search Results

Subject with Hierarchy: Is
Is Is Not
Logic programming

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (102)
101.
Logic and language
Author
Dean, Neville
Published
Houndmills, Basingstoke, Hampshire ; New York : Palgrave Macmillan, 2003.
Location
SML, Stacks, LC Classification >> QA9 .D33 2003
Format
Books
102.
Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Author
LOPSTR 2002 (2002 : Madrid, Spain)
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2664 (LC)
Format
Books
103.
Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Author
LPAR (Conference) (10th : 2003 : Almaty, Kazakhstan)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2850 (LC)
Format
Books
104.
Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2002 : Cork, Ireland)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2627 (LC)
Format
Books
105.
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Published
Berlin : London : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2407 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 2408 (LC)
Format
Books
106.
Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
Published
New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2441 (LC)
Format
Books
107.
Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Author
International Workshop on Logic-Based Program Synthesis and Transformation (11th : 2001 : Paphos, Cyprus)
Published
Berlin ; New York : Springer, ©2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2372 (LC)
Format
Books
108.
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Author
LPAR (Conference) (2002 : Tbilisi, Georgia)
Published
New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2514 (LC)
Format
Books
109.
Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
Author
International Conference on Logic Programming (18th : 2002 : Copenhagen, Denmark)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2401 (LC)
Format
Books
110.
Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
Author
ICLP 2003 (19th : 2003 : Mumbai, India)
Published
Berlin ; New York : Springer-Verlag, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2916 (LC)
Format
Books
111.
Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2002 (LC)
Format
Books
112.
Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Author
FLOPS 2001 (2001 : Tokyo, Japan)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2024 (LC)
Format
Books
113.
Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
Author
ILP (Conference) (2001 : Strasbourg, France)
Published
New York : Springer-Verlag, 2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2157 (LC)
Format
Books
114.
The journal of logic and algebraic programming
Published
[Amsterdam] ; [New York] : Elsevier Science, ©2001-©2014.
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
115.
Logic based program synthesis and transformation : 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers
Author
International Workshop on Logic-Based Program Synthesis and Transformation
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2042 (LC)
Format
Books
116.
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
Author
LPAR (Conference) (8th : 2001 : Havana, Cuba)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2250 (LC)
Format
Books
117.
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
Author
LPNMR 2001 (2001 : Vienna, Austria)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2173 (LC)
Format
Books
118.
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Author
International Conference on Logic Programming (17th : 2001 : Paphos, Cyprus)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2237 (LC)
Format
Books
119.
Theory and practice of logic programming
Published
Cambridge : Cambridge University Press, 2001-
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
120.
Computational complexity proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy
Author
IEEE Conference on Computational Complexity (15th : 2000 : Florence, Italy)
Published
Los Alamitos, Calif. : IEEE Computer Society, c2000.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
121.
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings
Author
ILP (Conference) (London, England)
Published
Berlin ; New York : Springer, 2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1866 (LC)
Format
Books
122.
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 22-24, 1999 : selected papers
Author
International Workshop on Logic Program Synthesis and Transformation (9th : 1999 : Venice, Italy)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1817 (LC)
Format
Books
123.
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Author
LPAR (Conference) (2000 : Réunion)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1955 (LC)
Format
Books
124.
Logic programming : proceedings of the 1999 International Conference on Logic Programming
Author
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.)
Published
Cambridge, Mass. ; London : MIT, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
125.
Computational complexity proceedings : Fourteenth Annual IEEE Conference on Computational Complexity : May 4-6, 1999, Atlanta, Georgia, USA
Author
IEEE Conference on Computational Complexity (14th : 1999 : Atlanta, Ga.)
Published
Los Alamitos, Calif. : IEEE Computer Society, c1999.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online