Zoekresultaten
Resultaat 1 - 3 (van 3)
E. Hamoen Conditional narrowing with disequations
Non-fictie
Engels | 20 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
E. Hamoen Order-sorted narrowing
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
A. Middeldorp | E. Hamoen Counterexamples to completeness results for basic narrowing
Non-fictie
Engels | 44 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek