Zoekresultaten
Resultaat 1 - 6 (van 6)
M. de Rijke Modal model theory
Non-fictie
Engels | 20 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Angelo Montanari | M. de Rijke Two-sorted metric temporal logics
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Patrick Blackburn | M. de Rijke | Yde Venema Relational methods in logic, language and information
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Patrick Blackburn | W.P.M. Meyer Viol | M. de Rijke A proof system for finite trees
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
M. de Rijke A modal characterization of Peirce algebras
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Patrick Blackburn | M. de Rijke Why combine logics?
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek