Programming with higher-order logic

Author(s)

Bibliographic Information

Programming with higher-order logic

Dale Miller, Gopalan Nadathur

Cambridge University Press, 2012

Available at  / 5 libraries

Search this Book/Journal

Note

Includes bibliographical references(p.289-299) and index

Details

  • NCID
    BB10088767
  • ISBN
    • 9780521879408
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cambridge
  • Pages/Volumes
    xiii, 306 p
  • Size
    24 cm
Page Top