7381
Bio-Inspired Applications of Connectionism [E-Book] : 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13–15, 2001 Proceedings, Part II /
7382
Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /
7383
Innovative Internet Computing Systems [E-Book] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings /
7384
Computational Learning Theory [E-Book] : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amsterdam, The Netherlands, July 16–19, 2001 Proceedings /
7385
Conceptual Structures: Broadening the Base [E-Book] : 9th International Conference on Conceptual Structures, ICCS 2001 Stanford, CA, USA, July 30–August 3, 2001 Proceedings /
7386
Computer Aided Verification [E-Book] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /
7387
Case-Based Reasoning Research and Development [E-Book] : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 – August 2, 2001 Proceedings /
7388
Modeling and Using Context [E-Book] : Third International and Interdisciplinary Conference, CONTEXT 2001 Dundee, UK, July 27–30, 2001 Proceedings /
7389
Non-Standard Inferences in Description Logics [E-Book] /
7390
Practice and Theory of Automated Timetabling III [E-Book] : Third International Conference, PATAT 2000 Konstanz, Germany, August 16–18, 2000 Selected Papers /
7391
Intelligent Agents VII Agent Theories Architectures and Languages [E-Book] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
7392
Intelligent Agents: Specification, Modeling, and Applications [E-Book] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings /
7393
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19–21, 2001 Proceedings /
7394
Energy Minimization Methods in Computer Vision and Pattern Recognition [E-Book] : Third International Workshop, EMMCVPR 2001 Sophia Antipolis, France, September 3–5, 2001 Proceedings /
7395
Machine Learning: ECML 2001 [E-Book] : 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings /
7396
Inductive Logic Programming [E-Book] : 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings /
7397
Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /
7398
Advances in Learning Software Organizations [E-Book] : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings /
7399
Virtual Storytelling Using Virtual Reality Technologies for Storytelling [E-Book] : International Conference ICVS 2001 Avignon, France, September 27–28, 2001 Proceedings /
7400
Proof Theory in Computer Science [E-Book] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /