Zoekresultaten
Resultaat 1 - 2 (van 2)
Maarten Marx | S. Schlobach | Szabolcs Mikulás Two-dimensional labelled deduction
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Labelled deduction for the guarded fragment
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek