Zoekresultaten
Resultaat 41 - 60 (van 65)
Johannes Buridanus Summulae de demonstrationibus
Non-fictie
Latijn | Engels | 265 pagina's | Ingenium, Groningen [etc.] | 2001
Gedrukt boek
Carlos Areces | R. Bernardi Analyzing the core of categorial grammar
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Marc Pauly Logic for social software
Non-fictie
Engels | 173 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
Giovanna D'Agostino | Giacomo Lenzi Comparing levels of bisimulation quantifiers logic with the mu-calculus
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Logic, meaning and computation
essays in memory of Alonzo Church
Non-fictie
Engels | 627 pagina's | Kluwer Academic, Dordrecht [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
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
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
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
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
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
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
Rosalie Iemhoff Provability logic and admissible rules
Non-fictie
Engels | 160 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
Thomas J. McFarlane Einstein & Boeddha
parallelle uitspraken
Bloemlezing van parallelle uitspraken uit de moderne westerse wetenschap en de oosterse wijsheid.
Non-fictie
Nederlands | 197 pagina's | Kunchab, Schoten | 2002
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
Handbook of automated reasoning
Non-fictie
Engels | 2122 pagina's | Elsevier, Amsterdam [etc.] | 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