Programming with Higher-Order Logic /

Bibliographische Detailangaben
1. Verfasser: Miller,, Dale
Weitere Verfasser: Nadathur,, Gopalan
Format: Printed Book
Sprache:English
Veröffentlicht: New York: Cambridge University Press, 2012.
Schlagworte:
Computer science- Computer programming
Logical programming

Kannur University

Bestandesangaben von Kannur University
Signatur: 005.115 MIL/
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge