Programming with higher-order logic
Dale Miller, Gopalan Nadathur
Bok Engelsk 2012 Dale. Miller
Medvirkende | |
---|---|
Utgitt | Cambridge : Cambridge University Press , 2012
|
Omfang | XIII, 306 s. : ill.
|
Emner | programmering programmeringsspråk symbolsk matematisk logikk lambdaprolog
|
Dewey | |
ISBN | 9780521879408
|