MPG.eBooks - Search Results

Cover Image

201

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

202

Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proce...

Published 2000

Springer Berlin Heidelberg

Cover Image

203

Coherent Structures in Complex Systems : Selected Papers of the XVII Sitges Conference on Statistical Mechanics Held at Sitges, Barcelona, Spain, 5–9 June 2000. Preliminary Version...

Published 2001

Springer Berlin Heidelberg

Cover Image

204

Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

by Schmid, Ute
Published 2003

Springer Berlin Heidelberg

Cover Image

205

Handwriting Recognition : Soft Computing and Probabilistic Approaches

by Liu, Zhi-Qiang, Cai, Jin-Hai, Buse, Richard
Published 2003

Springer Berlin Heidelberg

Cover Image

206

Computational Methods in Neural Modeling : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part...

Published 2003

Springer Berlin Heidelberg

Cover Image

207

Artificial Neural Nets. Problem Solving Methods : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceeding...

Published 2003

Springer Berlin Heidelberg

Cover Image

208

Pattern Recognition and Image Analysis : First Iberian Conference, IbPRIA 2003 Puerto de Andratx, Mallorca, Spain, June 4–6, 2003 Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

209

Audio-and Video-Based Biometric Person Authentication : 4th International Conference, AVBPA 2003, Guildford, UK, June 9-11, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

210

Artificial Evolution : 4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Cover Image

211

Intelligent Systems and Soft Computing : Prospects, Tools and Applications

Published 2000

Springer Berlin Heidelberg

Cover Image

212

KI-95: Advances in Artificial Intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

213

Modeling and Using Context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

214

Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies

Published 2003

Springer Berlin Heidelberg

Cover Image

215

Implementation and Application of Automata : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers

Published 2003

Springer Berlin Heidelberg

Cover Image

216

Agent Mediated Electronic Commerce II : Towards Next-Generation Agent-Based Electronic Commerce Systems

Published 2000

Springer Berlin Heidelberg

Cover Image

217

Anticipatory Behavior in Adaptive Learning Systems : Foundations, Theories, and Systems

Published 2003

Springer Berlin Heidelberg

Cover Image

218

Spatial Cognition III : Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning

Published 2003

Springer Berlin Heidelberg

Cover Image

219

Case-Based Reasoning Research and Development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Cover Image

220

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16