Zoekresultaten
Resultaat 1 - 3 (van 3)
Cees Witteveen | W. van der Hoek Using a back-up semantics for revising and updating nonmonotonic databases
Non-fictie
Engels | 21 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer A complete epistemic logic for multiple agents
combining distributed and common knowledge
Non-fictie
Engels | 33 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
W. van der Hoek | M. de Rijke Interleaved contractions
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek