Zoekresultaten
Resultaat 41 - 60 (van 85)
T.-Q. Deng Fuzzy logic and mathematical morphology
Non-fictie
Engels | 28 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
T.-Q. Deng | H.J.A.M. Heijmans Grey-scale morphology based on fuzzy logic
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
Ernst Gerard Pieter Bovenkamp Fuzzy temporal reasoning
Non-fictie
Engels | 179 pagina's | 2000
Gedrukt boek
Carlos Areces Logic engineering
the case of description and hybrid logics
Non-fictie
Engels | 154 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2000
Gedrukt boek
Giovanni Sommaruga History and philosophy of constructive type theory
Non-fictie
Engels | 354 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
The growth of mathematical knowledge
Non-fictie
Engels | 416 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
A. Kurz | D. Pattinson Coalgebras and modal logic for parameterised endofunctors
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
Giovanna D'Agostino Characterizing interpolation pairs in infinitary graded logics
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Jaap Kamps A logical approach to computational theory building
with applications to sociology
Non-fictie
Engels | 195 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2000
Gedrukt boek
J. Hulstijn Dialogue models for inquiry and transaction
Non-fictie
Engels | 282 pagina's | 2000
Gedrukt boek
A. Baltag A logic for suspicious players
epistemic actions and belief-update in games
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
D.N. Jansen | R.J. Wieringa Reducing the extensions of CTL with actions and real time
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2000
Gedrukt boek
Department of Mathematics and Computing Science Parameters in pure type systems
Non-fictie
Engels | 41 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
S. Etalle | Jon Mountjoy The (lazy) functional side of logic programming
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 2000
Gedrukt boek
Michael Franssen Cocktail: a tool for deriving correct programs
Non-fictie
Engels | 238 pagina's | Eindhoven University of Technology, Eindhoven | 2000
Gedrukt boek
M. Huisman | B.P.F. Jacobs Inheritance in higher order logic
modeling and reasoning
Non-fictie
Engels | 18 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Quine
naturalized epistemology, perceptual knowledge and ontology
Non-fictie
Engels | 223 pagina's | Rodopi, Amsterdam [etc.] | 2000
Gedrukt boek
Advances in temporal logic
Non-fictie
Engels | 453 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Ivar Vermeulen | J. Bruggeman The logic of organizational markets: thinking through resource partitioning theory
Non-fictie
Engels | 30 pagina's | University of Groningen, Groningen | 2000
Gedrukt boek
Abduction and induction
essays on their relation and integration
Non-fictie
Engels | 309 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek