Zoekresultaten
Resultaat 941 - 960 (van 2274)
B. Badban | J.C. van de Pol Two solutions to incorporate zero, successor and equality in binary decision diagrams
Non-fictie
Engels | 26 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
Leslie Smith Reasoning by mathematical induction in children's arithmetic
Non-fictie
Engels | 170 pagina's | Pergamon, Amsterdam [etc.] | 2002
Gedrukt boek
D. Hendriks Proof reflection in Coq
Non-fictie
Engels | 27 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Mieke Mosmuller De poort naar de geestelijke wereld
met grendels en scharnieren
Non-fictie
Nederlands | 261 pagina's | Occident, Baarle Nassau | 2018
Gedrukt boek
H. Van den Enden Op het scherp van de rede
veertig jaar kritisch denken
Non-fictie
Nederlands | 246 pagina's | Garant, Antwerpen, Apeldoorn | 2003
Gedrukt boek
A. Arnold | D. Niwiński Rudiments of →m⇋-calculus
Non-fictie
Engels | 277 pagina's | Elsevier, Amsterdam [etc.] | 2001
Gedrukt boek
Geert-Willem Quintijn Puite Sequents and link graphs
contraction criteria for refinements of multiplicative linear logic
Non-fictie
Engels | 248 pagina's | 2001
Gedrukt boek
T.H.S. Eysink Signs for logic teaching
the effect of instructional variables on the development of conceptual knowledge of logic
Non-fictie
Engels | 164 pagina's | Twente University Press, Enschede | 2001
Gedrukt boek
Patrick Blackburn | Jaap Kamps | Maarten Marx Situation calculus as hybrid logic: first steps
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Repairing the interpolation theorem in quantified modal logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Lex Hendriks | Dick de Jongh Characterization of strongly equivalent logic programs in intermediate logics
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Alan Turing Mathematical logic
Non-fictie
Engels | 293 pagina's | Elsevier, Amsterdam [etc.] | 2001
Gedrukt boek
G. Goguadze | C. Piazza | Yde Venema Simulating polyadic modal logics by monadic ones
Non-fictie
Engels | 46 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2001
Gedrukt boek
Christoph Scholl Functional decomposition with application to FPGA synthesis
Non-fictie
Engels | 263 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek
Giovanna Corsi A unifying completeness theorem in quantified modal logic
Non-fictie
Engels | 30 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Frontiers in belief revision
Non-fictie
Engels | 451 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
Katsumi Sasaki Logics and provability
Non-fictie
Engels | 139 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
Eva Hoogland Definability and interpolation
model-theoretic investigations
Non-fictie
Engels | 209 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2001
Gedrukt boek
I.H.G. Satter | R.M. de Mol Development of fuzzy models: theory and application
Non-fictie
Engels | 44 pagina's | IMAG, Wageningen | 2001
Gedrukt boek
Maarten Marx Complexity of intuitionistic predicate logic with one variable
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2001
Gedrukt boek