Zoekresultaten
Resultaat 881 - 900 (van 1047)
Olga Tveretina | H. Zantema A proof system and a decision procedure for equality logic
Non-fictie
Engels | 18 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2003
Gedrukt boek
Ian Hodkinson | Yde Venema Canonical varieties with no canonical axiomatisation
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Logic for concurrency and synchronisation
Non-fictie
Engels | 284 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Foundation[s] of the formal sciences II
applications of mathematical logic in philosophy and linguistics; papers of a conference held in Bonn, November 10-13, 2000
Non-fictie
Engels | 300 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Stasinos Themistokleous Konstantopoulos Using ILP to learn local linguistic structures
Non-fictie
Engels | 140 pagina's | 2003
Gedrukt boek
Dino Distefano | Arend Rensink | Joost-Pieter Katoen Who is pointing when to whom
on model-checking pointer structures
Non-fictie
Engels | 79 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
C.M. Jonker | Jan Treur Modelling the dynamics of reasoning processes
reasoning by assumption
Non-fictie
Engels | 15 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2003
Gedrukt boek
Tibor Bosse | C.M. Jonker | Jan Treur Simulation and analysis of controlled multi-representational reasoning processes
Non-fictie
Engels | 15 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2003
Gedrukt boek
Robin Hirsch | Ian Hodkinson Relation algebras by games
Non-fictie
Engels | 691 pagina's | Elsevier, Amsterdam [etc.] | 2002
Gedrukt boek
Peter B. Andrews An introduction to mathematical logic and type theory: to truth through proof
Non-fictie
Engels | 390 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
R.R. Hoogerwoord Leslie Lamport's logical clocks: a tutorial
Non-fictie
Engels | 26 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2002
Gedrukt boek
Patrick Blackburn | Maarten Marx Constructive interpolation in hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Jaroslav Ramík Generalized concavity in fuzzy optimization and decision analysis
Non-fictie
Engels | 296 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2002
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
Klemens Heinrich Fuzzy assessment of contamination potentials
Non-fictie
Engels | 138 pagina's | Leylakitap, Bern | 2000
Gedrukt boek