Suche einschränken:
Zur Kasse

1 Ergebnis.

TAPSOFT '87: Proceedings of the International Joint Confe...

Ehrig, Hartmut / Montanari, Ugo / Levi, Giorgio / Kowalski, Robert A.
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled...

CHF 49.50