Start Over
You searched for: subject "Abstract Data Types (Computer Science)"

Search Results

Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

Location
Access Content Online
Cover image for Sorts and types in artificial intelligence

Sorts and types in artificial intelligence

  • 1990
  • Format: Book
Location Call # Status
Joyner - General Stacks Q334.S632 1990 ✔ Available
Cover image for Adapting proofs-as-programs

Adapting proofs-as-programs

Location Call # Status
Joyner - General Stacks QA9.54 .P64 2005 ✔ Available
Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

Location
Access Content Online