Start Over
You searched for: subject "Logic programming."

Search Results

Cover image for Constraint logic programming

Constraint logic programming

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .C66 1993 ✔ Available
Cover image for Inductive logic programming

Inductive logic programming

Location
Access Content Online
Cover image for Meta-programming in logic programming

Meta-programming in logic programming

  • 1989
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63.M47 1989 ✔ 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 Constructing logic programs

Constructing logic programs

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .C67 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 Conclog

Conclog

Location Call # Status
Joyner - General Stacks QA76.63.J33 1991 ✔ 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 Foundations of disjunctive logic programming

Foundations of disjunctive logic programming

Location Call # Status
Joyner - General Stacks QA76.63.L613 1992 ✔ Available