Zoekresultaten
Resultaat 1 - 3 (van 3)
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
W. van der Hoek | M. de Rijke Counting objects in generalized quantifier theory, modal logic, and knowledge representation
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
W. van der Hoek | M. de Rijke Generalized quantifiers and model logic
Non-fictie
Engels | 28 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek