Alles van: J. Broersen | R.J. Wieringa
Resultaat 1 - 1 (van 1)
J. Broersen | R.J. Wieringa Minimal semantics for action specifications in first-order dynamic logic
Non-fictie
Engels | 24 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek