Zoekresultaten
Resultaat 1 - 2 (van 2)
Carlos Areces Logic engineering
the case of description and hybrid logics
Non-fictie
Engels | 154 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2000
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx The computational complexity of hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek