Zoekresultaten
Resultaat 1 - 4 (van 4)
E. Marchiori A logic for variable aliasing in logic programs
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
E. Marchiori Some uses of constructive negation for classical problems in non-monotonic reasoning
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
E. Marchiori A methodology for proving termination of general logic programs
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
L. Colussi | E. Marchiori A predicate transformer for unification
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek