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
|
