Zoekresultaten
Resultaat 41 - 60 (van 76)
Husserl's Logical investigations reconsidered
Non-fictie
Engels | 235 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Fifty years of Quine's "Two dogmas"
Non-fictie
Engels | 297 pagina's | Rodopi, Amsterdam [etc.] | 2003
Gedrukt boek
Igor Lavrov | Larisa Maksimova Problems in set theory, mathematical logic and the theory of algorithms
Non-fictie
Engels | 282 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
J.M. Heguiabehere Building logic toolboxes
Non-fictie
Engels | 180 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2003
Gedrukt boek
J. Broersen Modal action logics for reasoning about reactive systems
Non-fictie
Engels | 244 pagina's | 2003
Gedrukt boek
Nick Bezhanishvili | Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Patrick Blackburn | Maarten Marx Tableaux for quantified hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Centre for Telematics and Information Technology Termination of simply model logic programs with dynamic scheduling
Non-fictie
Engels | 40 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek
S. Schlobach Optimal interpolation in ALC
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Thirty five years of automating mathematics
Non-fictie
Engels | 318 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
Clemens Kupke | A. Kurz | Yde Venema Stone coalegebras
Non-fictie
Engels | 31 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
A. Visser Context modification in action
Non-fictie
Engels | 43 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2003
Gedrukt boek
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