Start Over
You searched for: author Meinke, Karl.

Search Results

Cover image for Machine Learning for Dynamic Software Analysis

Machine Learning for Dynamic Software Analysis

Location
Access Content Online
Cover image for Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Location
Access Content Online
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1997
  • Format: Electronic
Location
Access Content Online
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1997
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .A335 1997 ✔ Available
Cover image for Principles of declarative programming

Principles of declarative programming

Location Call # Status
Joyner - General Stacks QA76.615 .P55 1998 ✔ Available
Cover image for Principles of declarative programming

Principles of declarative programming

Location
Access Content Online
Cover image for Computer science logic

Computer science logic

Location Call # Status
Joyner - General Stacks QA76.5 .W64 1993 ✔ Available
Cover image for Computer science logic

Computer science logic

Location
Access Content Online
Cover image for Higher-order algebra, logic, and term rewriting

Higher-order algebra, logic, and term rewriting

  • 1996
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267 .H484 1996 ✔ Available
Cover image for Dont forget to fly

Dont forget to fly

  • 1981
  • Format: Book
Location Call # Status
Joyner - Stuart Wright Collection PS613.D6 1981 ✔ Available
Joyner - Stuart Wright Collection PS613.D6 1981 ✔ Available