Zoekresultaten
Resultaat 1 - 11 (van 11)
Linda van der Gaag | J.-J.Ch. Meyer Characterising normal forms for informational independence
Non-fictie
Engels | 6 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
M. van Hulst | J.-J.Ch. Meyer A knowledge-based compositional proof system for parallel processes
Non-fictie
Engels | 32 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek Drums 2 ESPRIT III (No.6156) deliverable D6.2 (WP 6.3)
graded model and epistemic logic
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer Graded modalities in epistemic logic
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
P. d'Altan | J.-J.Ch. Meyer | R.J. Wieringa An integrated framework for ought-to-be and ought-to-do constraints
Non-fictie
Engels | 42 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
Linda van der Gaag | J.-J.Ch. Meyer Informational independence: models and normal forms
Non-fictie
Engels | 4 pagina's | Universiteit Utrecht, Utrecht | 1997
Gedrukt boek
B. van Linder | W. van der Hoek | J.-J.Ch. Meyer Tests as epistemic updates
pursuit of knowledge
Non-fictie
Engels | 32 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
W. van der Hoek | B. van Linder | J.-J.Ch. Meyer Unravelling nondeterminism
on having the ability to choose
Non-fictie
Engels | 35 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
W. van der Hoek | B. van Linder | J.-J.Ch. Meyer A logic of capabilities
Non-fictie
Engels | 47 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
W. van der Hoek | B. van Linder | J.-J.Ch. Meyer Group knowledge isn't always distributed (neither is it always implicit)
Non-fictie
Engels | 28 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1997
Gedrukt boek
J.-J.Ch. Meyer | J.C. van Leeuwen Possible world semantics for analogous reasoning
Non-fictie
Engels | 20 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek