Zoekresultaten
Resultaat 1 - 20 (van 36)
Paulien de Wind Modal logic in coq
Non-fictie
Nederlands | 114 pagina's | Vrije Universiteit, Amsterdam | 2001
Gedrukt boek
S.M. Verduyn Lunel De logica het werk laten doen
Non-fictie
Nederlands | 20 pagina's | Universiteit Leiden], [Leiden | 2001
Gedrukt boek
J.J. de Gruijter | H.L. Boogaard Fuzzy sets voor zachte klassegrenzen
toepassing op het landevaluatiesysteem BODEGA
Non-fictie
Nederlands | 86 pagina's | Alterra, Research Instituut voor de Groene Ruimte, Wageningen | 2001
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
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
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
Maarten Marx | Szabolcs Mikulás An elementary construction for a non-elementary procedure
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Giangiacomo Gerla Fuzzy logic
mathematical tools for approximate reasoning
Non-fictie
Engels | 269 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 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
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
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
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