MPG.eBooks - Search Results

Cover Image

241

Automata Implementation : Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

by Champarnaud, Jean-Marc
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

242

Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

by Flesca, Sergio
Published 2002

Springer Berlin Heidelberg

Cover Image

243

Algorithmic Learning Theory : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings

by Watanabe, Osamu
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

244

Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings

by Gelfond, Michael
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

245

Incremental Speech Translation

by Amtrup, Jan Willers
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

246

Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

by Thiagarajan, P S
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

247

Grading Knowledge : Extracting Degree Information from Texts

by Staab, Steffen
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

248

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

249

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

250

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

251

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

252

Nonmonotonic Logics : Basic Concepts, Results, and Techniques

by Schlechta, Karl
Published 1997

Springer Berlin Heidelberg

Cover Image

253

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

254

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

255

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

256

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

Cover Image

257

Non-Monotonic Extensions of Logic Programming : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers

by Dix, Juergen
Published 1997

Springer Berlin Heidelberg

Cover Image

258

New Trends in Formal Languages : Control, Cooperation, and Combinatorics

by Paun, Gheorghe
Published 1997

Springer Berlin Heidelberg

Cover Image

259

Computational Intelligence. Theory and Applications : International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 Proceedings

by Reusch, Bernd
Published 1997

Springer Berlin Heidelberg

Cover Image

260

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

by Galmiche, Didier
Published 1997

Springer Berlin Heidelberg

8
9
10
11
12
13
14
15
16
17
18