Showing 1 - 2 results of 2 for search 'Nadathur,, Gopalan', query time: 0.01s Refine Results
  1. 1
    Programming with Higher-order Logic
    by Miller, Dale Nadathur, Gopalan
    Published 2012
    Printed Book
  2. 2
    Programming with Higher-Order Logic /
    by Miller,, Dale
    Published 2012
    Other Authors: “...Nadathur,, Gopalan...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search