MPG.eBooks - Search Results

Cover Image

161

Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

by Calmet, Jacques
Published 1998

Springer Berlin Heidelberg

Cover Image

162

Intelligent Data Engineering and Automated Learning -- IDEAL 2003 : 4th International Conference, Hong Kong, China, March 21-23, 2003, Revised Papers

by Liu, Jiming
Published 2003

Springer Berlin Heidelberg

Cover Image

163

Advances in Case-Based Reasoning : 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings

by Smyth, Barry
Published 1998

Springer Berlin Heidelberg

Cover Image

164

Text- and Speech-Triggered Information Access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures

by Renals, Steve
Published 2003

Springer Berlin Heidelberg

Cover Image

165

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

by Basin, David
Published 2003

Springer Berlin Heidelberg

Cover Image

166

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

by Bowen, Jonathan P
Published 1998

Springer Berlin Heidelberg

Cover Image

167

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

by Fuchs, Norbert E
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

168

Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

by Narendran, Paliath
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

169

Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

by Halbwachs, Nicolas
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

170

Rough Sets and Current Trends in Computing : Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings

by Alpigini, James J
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

171

Conceptual Modeling — ER 2002 : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings

by Spaccapietra, Stefano
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

172

Machine Translation: From Research to Real Users : 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 6-12, 2002. Procee...

by Richardson, Stephen D
Published 2002

Springer Berlin Heidelberg

Cover Image

173

Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings

by Corradini, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

174

Database Theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings

by Afrati, Foto N
Published 1997

Springer Berlin Heidelberg

Cover Image

175

Fuzzy Logic in Artificial Intelligence : IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers

by Martin, Trevor
Published 1997

Springer Berlin Heidelberg

Cover Image

176

Nonmonotonic Logics : Basic Concepts, Results, and Techniques

by Schlechta, Karl
Published 1997

Springer Berlin Heidelberg

Cover Image

177

Computational Learning Theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings

by Ben-David, Shai
Published 1997

Springer Berlin Heidelberg

Cover Image

178

Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

by Groote, Philippe de
Published 1997

Springer Berlin Heidelberg

Cover Image

179

ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

by Bowen, Jonathan P
Published 1997

Springer Berlin Heidelberg

Cover Image

180

Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings

by Gallagher, John
Published 1997

Springer Berlin Heidelberg

4
5
6
7
8
9
10
11
12
13
14