Zoekresultaten
Resultaat 1 - 20 (van 41)
Peter van Emde Boas Ne probentur oracula
Nederlands | 28 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
Ghica van Emde Boas | Peter van Emde Boas Compiling Horn-clause rules in IBM's business system 12
an early experiment in declarativeness
Non-fictie
Engels | 30 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Peter van Emde Boas Resistance is futile
formal linguistic observations on design patterns
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Peter van Emde Boas The convenience of tilings
Non-fictie
Engels | 33 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
K.R. Apt | Peter van Emde Boas | Angelo Welling The STO-problem is NP-hard
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Huang Zhisheng | Peter van Emde Boas Information acquisition from multi-agent resources
abstract
Non-fictie
Engels | 11 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
Erik de Haas | Peter van Emde Boas Object oriented application flow graphs and their semantics
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
Huang Zhisheng | Peter van Emde Boas Belief dependence, revision and persistence
Non-fictie
Engels | 9 pagina's | University of Amsterdam, Institute for Language, Logic and Information, Amsterdam | 1991
Gedrukt boek
Huang Zhisheng | Peter van Emde Boas The Schoenmakers paradox
its solution in a belief dependence framework
Non-fictie
Engels | 11 pagina's | University of Amsterdam, Institute for Language, Logic and Information, Amsterdam | 1991
Gedrukt boek
John Tromp | Peter van Emde Boas Associative storage modification machines
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
Peter van Emde Boas Machine Models and Simulations
Non-fictie
Engels | 77 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
Sieger van Denneheuvel | Peter van Emde Boas Towards implementing RL
Non-fictie
Engels | 13 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
Edith Spaan | Leen Torenvliet | Peter van Emde Boas Nondeterminism, fairness and a fundamental analogy
Non-fictie
Engels | 10 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
Peter van Emde Boas Space measures for storage modification machines
Non-fictie
Engels | 10 pagina's | University of Amsterdam, Amsterdam | 1987
Gedrukt boek
Peter van Emde Boas A semantical model for integration and modularization of rules
Non-fictie
Engels | 19 pagina's | University of Amsterdam, Amsterdam | 1986
Gedrukt boek
Leen Torenvliet | Peter van Emde Boas Diagonalisation methods in a polynomial setting
Non-fictie
Engels | 17 pagina's | University of Amsterdam, Depts. of Mathematics & Computer Science, Amsterdam | 1986
Gedrukt boek
Leen Torenvliet | Peter van Emde Boas Simplicty, immunity, relativizations and non-determinism
Non-fictie
Engels | 16 pagina's | University of Amsterdam, Amsterdam | 1986
Gedrukt boek
Cees Slot | Peter van Emde Boas The problem of space invariance for sequential machines
Non-fictie
Engels | 27 pagina's | University of Amsterdam, Amsterdam | 1986
Gedrukt boek
Peter van Emde Boas RL, a language for enhanced rule based database processing
working document
Engels | University of Amsterdam, Computer Science Department, Amsterdam | 1985
Gedrukt boek
Peter van Emde Boas The second machine class
Non-fictie
Engels | 25 pagina's | University of Amsterdam, Computer Science Department, Amsterdam | 1985
Gedrukt boek