Zoekresultaten
Resultaat 21 - 40 (van 66)
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
Christoph Scholl Functional decomposition with application to FPGA synthesis
Non-fictie
Engels | 263 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2001
Gedrukt boek
Frontiers in belief revision
Non-fictie
Engels | 451 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
A. Arnold | D. Niwiński Rudiments of →m⇋-calculus
Non-fictie
Engels | 277 pagina's | Elsevier, Amsterdam [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
Alan Turing Mathematical logic
Non-fictie
Engels | 293 pagina's | Elsevier, Amsterdam [etc.] | 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 | 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
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
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
Janos J. Sarbo | S.J.B.A. Hoppenbrouwers | J.I. Farkas Towards thought as a logical picture of signs
Non-fictie
Engels | 16 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 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
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
Medieval formal logic
obligations, insolubles and consequences
Non-fictie
Engels | 237 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
J. Czelakowski Protoalgebraic logics
Non-fictie
Engels | 452 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2001
Gedrukt boek
Janos J. Sarbo | J.I. Farkas On the isomorphism of sign, logic and language
a novel framework for language modelling
Non-fictie
Engels | 27 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek