MPG.eBooks - Search Results

Cover Image

1

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

Cover Image

2

Rough Sets and Current Trends in Computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings

by Tsumoto, Shusaku
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...

by Pfaltz, John L
Published 2004

Springer Berlin Heidelberg

Cover Image

4

Artificial Intelligence and Soft Computing -- ICAISC 2004 : 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings

by Rutkowski, Leszek
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

by Berghammer, R
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

by Bruynooghe, Maurice
Published 2004

Springer Berlin Heidelberg

Cover Image

7

Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

by Oostrom, Vincent van
Published 2004

Springer Berlin Heidelberg

Cover Image

8

Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

by Berardi, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

by Bruynooghe, Maurice
Published 2004

Springer Berlin Heidelberg

Cover Image

10

Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

by Hermenegildo, Manuel V
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

Grammatical Inference: Algorithms and Applications : 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings

by Adriaans, Pieter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

by Bradfield, Julian
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

13

Envisioning Machine Translation in the Information Future : 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000 Cuernavaca, Mexico, October 10–14,...

by White, John S
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

14

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

by Kapoor, Sanjiv
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

15

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

16

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

17

Nonmonotonic Logics : Basic Concepts, Results, and Techniques

by Schlechta, Karl
Published 1997

Springer Berlin Heidelberg

Cover Image

18

Natural Language Generation : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings

by Belz, Anja
Published 2004

Springer Berlin Heidelberg

Cover Image

19

Computational Linguistics and Intelligent Text Processing : Second International Conference, CICLing 2001 Mexico City, Mexico, February 18–24, 2001 Proceedings

by Gelbukh, Alexander
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

20

Logic versus Approximation : Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday

by Lenski, Wolfgang
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11