Programming Language Implementation and Logic Programming: 4th International Sym
75,24 €
Binding techniques and garbage collection for OR-parallel CLP systems. - Path analysis for lazy data structures. - Why the occur-check is not a problem. - Subsumption-oriented Push-Down Automata.
Jetzt bei Ebay:
