Zoekresultaten
Resultaat 21 - 40 (van 65)
Giovanna D'Agostino | A. Visser Finality regained
a coalgebraic study of Scott-sets and multisets
Non-fictie
Engels | 36 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.A. Bergstra | Marijke Loots Platform projections, compilers, interpreters and portability
Non-fictie
Engels | 22 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek | B. van Linder A logical approach to the dynamics of commitments
Non-fictie
Engels | 37 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Marco Aiello | Johan van Benthem Logical patterns in space
Non-fictie
Engels | 42 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Fuzzy models and algorithms for pattern recognition and image processing
Non-fictie
Engels | 776 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1999
Gedrukt boek
Michiel van Lambalgen Conditional qualification, or poor man's probability
Non-fictie
Engels | 46 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 1999
Gedrukt boek
M. van Atten Phenomenology of choice sequences
Non-fictie
Engels | 143 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 1999
Gedrukt boek
Mark Pieter Jan Ruys Studies in mechanical verification of mathematical proofs
Non-fictie
Engels | 133 pagina's | 1999
Gedrukt boek
Johan van Benthem When are two games the same?
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Quantum Monte Carlo methods in physics and chemistry
Non-fictie
Engels | 467 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
B.P.F. Jacobs The temporal logic of coalgebras via Galois algebras
Non-fictie
Engels | 27 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
Department of Computer Science Benelog 1999
proceedings of the eleventh Benelux workshop on logic programming
Non-fictie
Engels | 130 pagina's | Universiteit Maastricht, IKAT/Department of Computer Science, Maastricht | 1999
Gedrukt boek
Jan Zwanenburg Object-oriented concepts and proof rules
formalization in type theory and implementation in Yarrow
Non-fictie
Engels | 347 pagina's | Eindhoven University of Technology, Eindhoven | 1999
Gedrukt boek
What is negation?
Non-fictie
Engels | 333 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
I. Douven A critique of Putnam's Principle of the benefit of doubt
Non-fictie
Engels | 12 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
Gedrukt boek
A. Baltag Truth-as-simulation
towards a coalgebraic perspective on logic and games
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
Marc Bezem Extensionality of simply typed logic programs
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
Kazushige Terui Labelled tableau calculi generating simple models for substructural logics
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Jelle Gerbrandy Bisimulations on planet Kripke
Non-fictie
Engels | 184 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1999
Gedrukt boek
Maarten Marx | Carlos Areces Failure of interpolation in combined modal logics
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek