Zoekresultaten
Resultaat 1 - 10 (van 10)
Centrum voor Wiskunde en Informatica An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Transfinite reductions in orthogonal term rewriting systems
(extended abstract)
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Reactive, generative, and stratified models of probabilistic processes
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Graph morphology
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Amoeba, a distributed operating system for the 1990s
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica From failure to success: comparing a denotational and a declarative semantics for Horn clause logic
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Transfinite reductions in orthogonal term rewriting systems
Non-fictie
Engels | 48 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica The linearly implicit Euler method for quasi-linear parabolic differential equations
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Representation an implementation of design knowledge for intelligent CAD
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Centrum voor Wiskunde en Informatica Representation an implementation of design knowledge for intelligent CAD
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek