Start Over
You searched for: subject "Logic Programming"

Search Results

Cover image for Introduction to logic programming

Introduction to logic programming

Location Call # Status
Joyner - General Stacks QA76.6 .H624 1984 ✔ Available
Cover image for Non-monotonic extensions of logic programming

Non-monotonic extensions of logic programming

  • 1995
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .N68 1995 ✔ Available
Cover image for Constructing logic programs

Constructing logic programs

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .C67 1993 ✔ Available
Cover image for The clausal theory of types

The clausal theory of types

Location Call # Status
Joyner - General Stacks QA76.63 .W64 1993 ✔ Available
Cover image for From logic to logic programming

From logic to logic programming

Location Call # Status
Joyner - General Stacks QA76.63 .D64 1994 ✔ Available
Cover image for Inductive logic programming

Inductive logic programming

Location Call # Status
Joyner - General Stacks QA76.63 .L38 1994 ✔ Available
Cover image for Logic programming

Logic programming

Location
Access Content Online
Cover image for Logic based program synthesis and transformation

Logic based program synthesis and transformation

Location
Access Content Online
Cover image for Logic programming

Logic programming

  • 1987
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .L589 1987 V.1 ✔ Available
Joyner - General Stacks QA76.6 .L589 1987 V.2 ✔ Available
Cover image for Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986

Location Call # Status
Joyner - General Stacks QA76.6 .I5466 1986 ✔ Available