Start Over
You searched for: author_facet Bibel, W.

Search Results

Cover image for Fundamentals of artificial intelligence

Fundamentals of artificial intelligence

  • 1986
  • Format: Electronic
Location
Access Content Online
Cover image for Mathematical Methods of Specification and Synthesis of Software Systems '85

Mathematical Methods of Specification and Synthesis of Software Systems '85

Location
Access Content Online
Cover image for Mathematical methods of specification and synthesis of software systems '85

Mathematical methods of specification and synthesis of software systems '85

  • 1986
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.76.M37 M37X 1986 ✔ Available
Cover image for Fundamentals of artificial intelligence

Fundamentals of artificial intelligence

  • 1986
  • Format: Book
Location Call # Status
Joyner - General Stacks Q335 .F86 1986 ✔ Available
Cover image for Artificial intelligence

Artificial intelligence

Location Call # Status
Joyner - General Stacks Q334 .I554 1984 ✔ Available
Cover image for Automated theorem proving

Automated theorem proving

Location Call # Status
Joyner - General Stacks QA76.9.A96 B5X ✔ Available
Cover image for 5th Conference on Automated Deduction

5th Conference on Automated Deduction

Location
Access Content Online