Alles van: D.J.N. van Eijck
Resultaat 1 - 4 (van 4)
D.J.N. van Eijck | Fer-Jan de Vries Dynamic interpretation and Hoare deduction
Non-fictie
Engels | 27 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
D.J.N. van Eijck | Fer-Jan de Vries A sound and complete calculus for update logic
Non-fictie
Engels | 20 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
D.J.N. van Eijck The dynamics of description
Non-fictie
Engels | 18 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
D.J.N. van Eijck Quantification and partiality
Non-fictie
Engels | 35 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek