Zoekresultaten
Resultaat 1 - 3 (van 3)
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
Patrick Blackburn | M. de Rijke Why combine logics?
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek