MPG.eBooks - Search Results

Cover Image

81

Computational Learning Theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amste...

by Helmbold, David
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

82

Conceptual Structures: Broadening the Base : 9th International Conference on Conceptual Structures, ICCS 2001 Stanford, CA, USA, July 30–August 3, 2001 Proceedings

by Delugach, Harry S
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

83

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

by Berry, Gérard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

84

Case-Based Reasoning Research and Development : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 – August 2, 2001 Proceedings

by Aha, David W
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

85

Machine Learning and Data Mining in Pattern Recognition : Second International Workshop, MLDM 2001 Leipzig, Germany, July 25–27, 2001 Proceedings

by Perner, Petra
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

86

Conditionals in Nonmonotonic Reasoning and Belief Revision : Considering Conditionals as Agents

by Kern-Isberner, Gabriele
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

87

Applications of Uncertainty Formalisms

by Hunter, Anthony
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

88

Database Theory — ICDT’99 : 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings

by Beeri, Catriel
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

89

Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings

by Haeberer, Armando M
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

90

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

by Roever, Willem-Paul
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

91

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

Cover Image

92

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

by Boulton, Richard J
Published 2001

Springer Berlin Heidelberg

Cover Image

93

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

by Buchberger, Bruno
Published 2004

Springer Berlin Heidelberg

Cover Image

94

Advances in Artificial Intelligence - SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Proceedings

by Bazzan, Ana L C
Published 2004

Springer Berlin Heidelberg

Cover Image

95

Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

by Fribourg, Laurent
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

96

Principles and Practice of Constraint Programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings

by Wallace, Mark
Published 2004

Springer Berlin Heidelberg

Cover Image

97

Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

by Alferes, Jose, Julio
Published 2004

Springer Berlin Heidelberg

Cover Image

98

Machine Translation: From Real Users to Research : 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2...

by Frederking, Robert E
Published 2004

Springer Berlin Heidelberg

Cover Image

99

Algorithmic Learning Theory : 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings

by Ben David, Shai
Published 2004

Springer Berlin Heidelberg

Cover Image

100

Grammatical Inference: Algorithms and Applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings

by Paliouras, Georgios
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11