Zoekresultaten
Resultaat 981 - 1000 (van 1101)
Fuzzy logic foundations and industrial applications
Non-fictie
Engels | 330 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 1996
Gedrukt boek
Salvatore Greco The splitting property of fuzzy financial laws
Non-fictie
Engels | 10 pagina's | RIBES, Rotterdam Institute for Business Economic Studies, Rotterdam | 1996
Gedrukt boek
Hans van Maaren Elliptic approximations of propositional formulae
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
Gedrukt boek
D. Dams Abstract interpretation and partition refinement for model checking
Non-fictie
Engels | 219 pagina's | Eindhoven University of Technology, Eindhoven | 1996
Gedrukt boek
F.P.M. Dignum | H. Weigand | E. Verharen A formal specification of deadlines using dynamic deontic logic
Non-fictie
Engels | 20 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
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
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
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
W.C. Rounds | G.Q. Zhang Suggestions for a non-monotonic feature logic
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Jaap van der Does | H.J. Verkuyl Quantification and predication
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
H.P. Korver A formal axiomatization for alphabet reasoning with parametrized processes
Non-fictie
Engels | 20 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Fuzzy logic and intelligent systems
Non-fictie
Engels | 445 pagina's | Kluwer Academic Publishers, Boston, London, Dordrecht | 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
I. Bethke | J.W. Klop | Roel de Vrijer Completing partial combinatory algebras with unique head-normal forms
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
D. Dams | O. Grumberg | R. Gerth Abstract interpretation of reactive systems
preservation of CTL*
Non-fictie
Engels | 27 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Johan van Benthem Two essays on semantic modelling
Non-fictie
Engels | 19 pagina's | ILLC, Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Applied research in fuzzy technology
three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan
Non-fictie
Engels | 457 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 1994
Gedrukt boek
F. Teusink Three-valued completion for abductive logic programs
Non-fictie
Engels | 32 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Cees Witteveen Shifting and condensing normal logic programs and disjunctive databases
Non-fictie
Engels | 24 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek