Skip to main content
×
Home
    • Aa
    • Aa

Handbook of Practical Logic and Automated Reasoning, by HarrisonJohn, Cambridge University Press, 2009 ISBN 9780521899574

  • JACQUES CARETTE (a1)
Abstract
Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Journal of Functional Programming
  • ISSN: 0956-7968
  • EISSN: 1469-7653
  • URL: /core/journals/journal-of-functional-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×