Clear Search

Books+ Search Results

Location: Is
Is Is Not
Sterling Memorial Library
Subject with Hierarchy: Is
Is Is Not
Logic programming

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
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
2.
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
3.
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
4.
Handbook of logic in artificial intelligence and logic programming
Published
Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-<1998 >
Location
SML, Stacks, LC Classification >> QA76.63 H36X (LC)
Format
Books
5.
Formal verification of AI software
Author
Rushby, John, 1949-
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Online
http://purl.access.gpo.gov/GPO/LPS113685
Location
SML, Microform (Non-Circulating) >> NAS 1.26:181827
Format
Books / Microforms