Start Over
You searched for: author_facet Miller, Dale

Search Results

Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Location
Access Content Online
Cover image for Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS

Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS

Location
Access Content Online
Cover image for Certified programs and proofs

Certified programs and proofs

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
Cover image for Automated reasoning

Automated reasoning

Location
Access Content Online
Cover image for Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming

Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming

Location
Access Content Online
Cover image for Logic programming

Logic programming

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63 .L635 1993 ✔ Available
Cover image for Fencing costs

Fencing costs

Location Call # Status
Joyner - NC Documents A75 30:410 ✔ Available
Cover image for North Carolina spring stocker sales

North Carolina spring stocker sales

Location Call # Status
Joyner - NC Documents G46.2 2:S86 ✔ Available
Cover image for North Carolina fall feeder calf and yearling sales summaries

North Carolina fall feeder calf and yearling sales summaries

  • Format: Microform
Location Call # Status
Joyner - NC Documents G46.2 23:F29 ✔ Available