Start Over
You searched for: subject "Prolog (Computer program language)"

Search Results

Cover image for Algorithmic program debugging

Algorithmic program debugging

Location Call # Status
Joyner - General Stacks QA76.6 .S49 1983 ✔ Available
Cover image for Executable modal and temporal logics

Executable modal and temporal logics

Location Call # Status
Joyner - General Stacks QA76.63 .I566 1995 ✔ Available
Cover image for Execution models of Prolog for parallel computers

Execution models of Prolog for parallel computers

Location Call # Status
Joyner - General Stacks QA76.73.P76 K33 1990 ✔ Available
Cover image for Concepts, design, and performance analysis of a parallel prolog machine

Concepts, design, and performance analysis of a parallel prolog machine

Location Call # Status
Joyner - General Stacks QA76.73.P76 B44 1989 ✔ Available
Cover image for An extended entity-relationship model

An extended entity-relationship model

Location Call # Status
Joyner - General Stacks QA76.9 .D63 1994 ✔ Available
Cover image for Prolog programming for artificial intelligence

Prolog programming for artificial intelligence

Location Call # Status
Joyner - General Stacks Q336 .B74 1986 ✔ Available
Cover image for Communicating with databases in natural language

Communicating with databases in natural language

Location Call # Status
Joyner - General Stacks QA76.9.I58 W35 1984 ✔ Available
Cover image for Forms of concrescence

Forms of concrescence

Location Call # Status
Joyner - General Stacks B1674.W354 H46 1993 ✔ Available
Cover image for Algorithmic program debugging

Algorithmic program debugging

Location
Access Content Online
Cover image for Programming with higher-order logic

Programming with higher-order logic

Location Call # Status
Joyner - General Stacks QA76.63 .M554 2012 ✔ Available