Warren's abstract machine : a tutorial reconstruction
Hassan Aït-Kaci
Bok Engelsk 1991
Utgitt | Cambridge, Mass. : MIT Press , c1991
|
---|---|
Omfang | xvi, 114 s.
|
Emner | Electronic digital computers
Logic programming Prolog (Computer program language) PROLOG logisk programmering prolog programmeringsspråk logikkprogrammering |
ISBN | 0262011239. - 0262510588
|