Zoekresultaten
Resultaat 1 - 20 (van 30)
Kees Vuik Vuiks verhandelingen
deel II, mens-mathematica-machine
Non-fictie
Nederlands | 236 pagina's | Gopher, Groningen | 2000
Gedrukt boek
Advances in intelligent systems: theory and applications
Non-fictie
Nederlands | 390 pagina's | IOS Press, Amsterdam [etc.] | 2000
Gedrukt boek
New frontiers in computational intelligence and its applications
Non-fictie
Nederlands | 375 pagina's | IOS Press, Amsterdam [etc.] | 2000
Gedrukt boek
Designing cooperative systems
the use of theories and models; proceedings of the 5th International conference on the design of cooperative systems (COOP'2000)
Non-fictie
Nederlands | 413 pagina's | IOS Press, Amsterdam [etc.] | 2000
Gedrukt boek
Wu Wen-Tsun Mathematics mechanization
mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving
Non-fictie
Engels | 420 pagina's | Science Press, Beijing | 2000
Gedrukt boek
European Coordinating Committee for Artificial Intelligence ECAI 2000
14th European conference on artificial intelligence, August 20-25, 2000, Berlin, Germany; including Prestigous applications of intelligent systems (PAIS-2000); proceedings
Non-fictie
Engels | 778 pagina's | IOS Press, Amsterdam [etc.] | 2000
Gedrukt boek
Inge M.C. Lemmens | Peter Braspenning A formal analysis of Smithsonian Computational Reflection
Non-fictie
Engels | 12 pagina's | Section Communications Research & Semiotics, Faculty of General Sciences, Universiteit Maastricht, Maastricht | 2000
Gedrukt boek
Henriëtte de Swart | Ivan A. Sag Negation and negative concord in romance
Non-fictie
Engels | 34 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
Intelligent autonomous systems 6
Non-fictie
Engels | 1101 pagina's | IOS Press, Amsterdam [etc.] | 2000
Gedrukt boek
Herman Hendriks Compositionality and model-theoretic interpretation
Non-fictie
Engels | 20 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
Information modelling and knowledge bases XI
Non-fictie
Engels | 315 pagina's | IOS Press, Amsterdam [etc.] | 2000
Gedrukt boek
International Federation for Information Processing Telecommunication network intelligence
IFIP TC6/WG6.7 sixth international conference on intelligence in networks (SmartNet 2000), September 18-22, 2000, Vienna, Austria
Non-fictie
Engels | 626 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 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
Logic-based artificial intelligence
Non-fictie
Engels | 606 pagina's | Kluwer Academic Publishers, Boston, Dordrecht [etc.] | 2000
Gedrukt boek
Henry Prakken Relating protocols for dynamic dispute with logics for defeasible argumentation
Non-fictie
Engels | 30 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2000
Gedrukt boek
Intelligent help systems for UNIX
Non-fictie
Engels | 420 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Intelligent systems and robotics
Non-fictie
Engels | 448 pagina's | Gordon and Breach Science Publishers, Amsterdam [etc.] | 2000
Gedrukt boek
Computer Olympiad The Fifth Computer Olympiad
computer-games workshop proceedings
Non-fictie
Engels | 80 pagina's | Universiteit Maastricht, Department of Computer Science, Maastricht | 2000
Gedrukt boek
F. Tempelman Real-time self-protection electronic warfare management in fighter aircraft
Non-fictie
Engels | National Aerospace Laboratory NLR, Amsterdam | 2000
Gedrukt boek
Human cognition and social agent technology
Non-fictie
Engels | 447 pagina's | Benjamins, Amsterdam [etc.] | 2000
Gedrukt boek