Zoekresultaten
Resultaat 41 - 53 (van 53)
Maarten Marx Relation algebra with binders
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Vincent F. Hendricks The convergence of scientific knowledge
a view from the limit
Non-fictie
Engels | 365 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
Paul Dekker On if and only
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Marco Aiello | Johan van Benthem | G. Bezhanishvili Reasoning about space
the modal way
Non-fictie
Engels | 39 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Dynamics and management of reasoning processes
Non-fictie
Engels | 385 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
Ronald de Wolf Quantum computing and communication complexity
Non-fictie
Engels | 205 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
Rosalie Iemhoff Provability logic and admissible rules
Non-fictie
Engels | 160 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
Erik de Haas Logics for OO information systems
a semantic study of object orientation from a categorial-substructural perspective
Non-fictie
Engels | 209 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
Francien Dechesne Investigating the basic notions of Hintikka's independence friendly logic
Non-fictie
Engels | 33 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2001
Gedrukt boek
Handbook of automated reasoning
Non-fictie
Engels | 2122 pagina's | Elsevier, Amsterdam [etc.] | 2001
Gedrukt boek
L.D. Beklemishev Provability algebras and proof-theoretic ordinals, I
Non-fictie
Engels | 21 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2001
Gedrukt boek
J.C. van de Pol Just-in-time: on strategy annotations
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
Robert Nozick Invariances
the structure of the objective world
Non-fictie
Engels | 416 pagina's | The Belknap Press of Harvard University Press, Cambridge, MA. [etc.] | 2001
Gedrukt boek