Reset Filters
CLC: T - 工业技术

Author Results for Nadathur Gopalan

Nadathur,Gopalan
Dale Miller, Gopalan Nadathur
Miller,Dale
PPDP'99,Paris, France

2
Programming with higher-order logic

Cover is for reference only
Main Authors: Miller Dale. (Dale A.)
Group Author: Nadathur Gopalan.
Published: Cambridge University Press,
Publication Dates: c2012.
Call Number: TP311.11/M647
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —