Zoekresultaten
Resultaat 61 - 80 (van 88)
J.F. Groote Binary decision diagrams for first order predicate logic
Non-fictie
Engels | 23 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
Jaap van der Does | D.J.N. van Eijck Basic quantifier theory
Non-fictie
Engels | 45 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
K.R. Apt Arrays, bounded quantification and iteration in logic and constraint logic programming
Non-fictie
Engels | 15 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
C.F.M. Vermeulen | A. Visser Dynamic bracketing and discourse representation
Non-fictie
Engels | 53 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Marten Trautwein Assessing complexity results in feature theories
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
G. Barthe A simple abstract semantics for equational theories
Non-fictie
Engels | 18 pagina's | Computing Science Institute, Faculty of Mathematics and Informatics, [Katholieke Universiteit Nijmegen], Nijmegen | 1995
Gedrukt boek
Natasha Alechina | Michiel van Lambalgen Generalized quantification as substructural logic
Non-fictie
Engels | 47 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Marianne Kalsbeek | Yuejun Jiang A vademecum of ambivalent logic
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
A. Visser Interpretations over Heyting's arithmetic
Non-fictie
Engels | 30 pagina's | Utrecht University, Utrecht | 1995
Gedrukt boek
M.P.A. Sellink Verifying modal formulas over I/O-automata by means of type theory
Non-fictie
Engels | 23 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
H. Herre | J. Jaspars | Gerd Wagner Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
Non-fictie
Engels | 35 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Marc Bezem | R.N. Bol | J.F. Groote Formalizing process algebraic verifications in the calculus of constructions
Non-fictie
Engels | 49 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek
Gerard Vreeswijk Representation of formal dispute with a standing order
Non-fictie
Engels | University of Limburg, Department of Computer Science, Maastricht | 1995
Gedrukt boek
Fuzzy logic in Nederland
Non-fictie
Nederlands | 152 pagina's | Centrum voor micro-elektronica, Veenendaal | 1995
Gedrukt boek
Nataša Rakić Past, present, future and special relativity
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Dutch Graduate School in Logic Proceedings Accolade '95
Non-fictie
Engels | 187 pagina's | Dutch Graduate School in Logic, Department of Mathematics & Computer Science, University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Jean-Pierre van Draanen Models for simply typed lambda-calculi with fixed point combinators and enumerators
Non-fictie
Engels | 211 pagina's | 1995
Gedrukt boek
Fuzzy logic and intelligent systems
Non-fictie
Engels | 445 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 1995
Gedrukt boek
Dutch Graduate School in Logic Proceedings Accolade '94
Non-fictie
Engels | 182 pagina's | Dutch Graduate School in Logic, Dept. of Philosophy, Univ. of Amsterdam, [Amsterdam] | 1995
Gedrukt boek
Pieter Niebert | Wojciech Penczek On the connection of partial order logics and partial order reduction methods
Non-fictie
Engels | 12 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1995
Gedrukt boek