Zoekresultaten
Resultaat 41 - 53 (van 53)
Matthew of Orléans Sophistaria, sive, Summa communium distinctionum circa sophismata accidentium
Non-fictie
Latijn | Engels | 581 pagina's | Brill, Leiden [etc.] | 2001
Gedrukt boek
M. Huisman Reasoning about Java programs in higher order logic using PVS and Isabelle
Non-fictie
Engels | 240 pagina's | 2001
Gedrukt boek
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
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
Dynamics and management of reasoning processes
Non-fictie
Engels | 385 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 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
Ronald de Wolf Quantum computing and communication complexity
Non-fictie
Engels | 205 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
Rosalie Iemhoff Provability logic and admissible rules
Non-fictie
Engels | 160 pagina's | Institute for Logic, Language and Computation, Amsterdam | 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