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)
126.
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Author
Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyū Gakuen Toshi, Japan)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1722 (LC)
Format
Books
127.
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
Author
ILP (Conference) (9th : 1999 : Bled, Slovenia)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1634 (LC)
Format
Books
128.
Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
Author
International Workshop on Logic-Based Program Synthesis and Transformation (8th : 1998 : Manchester, England)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1559 (LC)
Format
Books
129.
Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Author
LPAR (Conference) (6th : 1999 : Tbilisi, Georgia)
Published
Berlin ; New York : Springer-Verlag, 1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1705 (LC)
Format
Books
130.
Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Author
LPNMR '99 (5th : 1999 : El Paso, Tex.)
Published
Berlin ; New York : Springer-Verlag, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1730 (LC)
Format
Books
131.
A tight, practical integration of relations and functions
Author
Boley, H. (Harold)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1712 (LC)
Format
Books
132.
Functional and logic programming languages
Published
Indianapolis : Macmillan Technical Publishing, c1998.
Location
Library Shelving Facility (LSF) >> QA76.62 F863 1998 (LC)
Format
Books
133.
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Author
ILP (Conference) (8th : 1998 : Madison, Wis.)
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1446 (LC)
Format
Books
134.
Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers
Author
LPKR'97 (1997 : Port Jefferson, N.Y.)
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1471 (LC)
Format
Books
135.
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
Author
International Workshop on Logic Program Synthesis and Transformation (1997 : Leuven, Belgium)
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1463 (LC)
Format
Books
136.
Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA
Author
IEEE Conference on Computational Complexity (13th : 1998 : Buffalo, N.Y.)
Published
Los Alamitos, Calif. : IEEE Computer Society, c1998.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
137.
Programming with constraints : an introduction
Author
Marriott, Kim
Published
Cambridge, Mass. : MIT Press, c1998.
Location
SML, Stacks, LC Classification >> QA76.63 M37X 1998 (LC)
Format
Books
138.
Programming with constraints : an introduction
Author
Marriott, Kimbal
Published
Cambridge : MIT Press, 1998
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
139.
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Author
International Seminar on Logic Databases and the Meaning of Change (1996 : Schloss Dagstuhl, Germany)
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1472 (LC)
Format
Books
140.
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Published
New York : Springer-Verlag, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1298 (LC)
Format
Books
141.
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Published
New York : Springer-Verlag, c1997.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
142.
Foundations of inductive logic programming
Author
Nienhuys-Cheng, S. -H. (Shan-Hwei), 1943-
Published
Berlin ; New York : Springer, c1997.
Location
SML, Stacks, LC Classification >> QA76 A1 L43 1228 (LC)
Format
Books
143.
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Published
New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1297 (LC)
Format
Books
144.
Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
Published
New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1314 (LC)
Format
Books
145.
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997 : proceedings
Author
LPNMR '97 (1997 : Dagstuhl, Wadern, Germany)
Published
New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1265 (LC)
Format
Books
146.
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming
Author
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium)
Published
Cambridge, Mass. : MIT Press, ©1997.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
147.
Logic programming : proceedings of the 1997 International Symposium
Published
Cambridge, Mass. : MIT Press, ©1997.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
148.
Non-monotonic extensions of logic programming : 2nd International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
Author
NMELP '96 (2nd : 1996 : Bad Honnef, Germany)
Published
Berlin ; New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1216 (LC)
Format
Books
149.
Proceedings, Twelfth Annual IEEE Conference on Computational Complexity June 24-27, 1997, Ulm, Germany
Author
IEEE Conference on Computational Complexity (12th : 1997 : Ulm, Germany)
Published
Washington, D.C. : IEEE Computer Society, c1997.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
150.
Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
Author
ALP '96 (1996 : Aachen, Germany)
Published
Berlin ; New York : Springer, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1139 (LC)
Format
Books