Zoekresultaten
Resultaat 61 - 80 (van 85)
D.J.N. van Eijck | J.M. Heguiabehere | B. Ó Nualláin Theorem proving and programming with dynamic first order logic
Non-fictie
Engels | 39 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
Roberto Cignoli | Itala M.L. D'Ottaviano | Daniele Mundici Algebraic foundations of many-valued reasoning
Non-fictie
Engels | 231 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Alessandro Agostini | Dick de Jongh | Franco Montagna Coordination of 01-agents vs. coordination of worlds-based agents
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx The computational complexity of hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Dino Distefano | Joost-Pieter Katoen | Arend Rensink On a temporal logic for object-based systems
Non-fictie
Engels | 17 pagina's | University of Twente, Centre for Telematics and Information Technology, Enschede | 2000
Gedrukt boek
J.W. Klop | V. van Oostrom | Roel de Vrijer A geometric proof of confluence by decreasing diagrams
Non-fictie
Engels | 22 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
J.A. Bergstra Platforms, specifications and decisions
Non-fictie
Engels | 62 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
Klemens Heinrich Fuzzy assessment of contamination potentials
Non-fictie
Engels | 138 pagina's | Leylakitap, Bern | 2000
Gedrukt boek
Paul Frijters Interpretation problems with changes in indices based on categorizations
Non-fictie
Engels | 11 pagina's | Tinbergen Institute, Amsterdam [etc.] | 2000
Gedrukt boek
Johan van Benthem Information transfer across Chu spaces
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Fundamentals of fuzzy sets
Non-fictie
Engels | 647 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 2000
Gedrukt boek
Algorithms for uncertainty and defeasible reasoning
Non-fictie
Engels | 517 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Information, uncertainty and fusion
Non-fictie
Engels | 460 pagina's | Kluwer Academic Publishers, Boston [etc], Dordrecht | 2000
Gedrukt boek
R.R. Hoogerwoord A formal development of distributed summation
Non-fictie
Engels | 35 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
V. Stebletsova Algebras, relations and geometries
(an equational perspective)
Non-fictie
Engels | 204 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 2000
Gedrukt boek
Silvio Luigi Maria Valentini Meta-mathematical aspects of Martin-Löf's type theory
Non-fictie
Engels | 163 pagina's | 2000
Gedrukt boek
Advances in fuzzy systems and intelligent technologies
proceedings of the WILF'99, Italian workshop on fuzzy logic 1999, Genoa, Italy, 28-29 June 1999
Non-fictie
Engels | 279 pagina's | Shaker Publishing, Maastricht | 2000
Gedrukt boek
Erasmus Research Institute of Management Generalizing refinement operators to learn prenex conjunctive normal forms
Non-fictie
Engels | 19 pagina's | Erasmus Research Institute of Management (ERIM), Rotterdam | 2000
Gedrukt boek
C.J. Ash Computable structures and the hyperarithmetical hierarchy
Non-fictie
Engels | 346 pagina's | Elsevier, Amsterdam [etc.] | 2000
Gedrukt boek
B.P.F. Jacobs Many-sorted coalgebraic modal logic: a model-theoretic study
Non-fictie
Engels | 26 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek