MPG.eBooks - Search Results

Cover Image

61

Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

by Koenig, Sven
Published 2002

Springer Berlin Heidelberg

Cover Image

62

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I

by Kakas, Antonis C
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

63

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II

by Kakas, Antonis C
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

64

Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

by Choueiry, Berthe Y
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

65

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

66

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

67

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

68

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

by Gurevich, Yuri
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

69

Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

by Gottlob, Georg
Published 1999

Springer Berlin Heidelberg

Cover Image

70

Computation for Metaphors, Analogy, and Agents

by Nehaniv, Chrystopher L
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

71

Computational Intelligence. Theory and Applications : International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings

by Reusch, Bernd
Published 1999

Springer Berlin Heidelberg

Cover Image

72

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

by Murray, Neil V
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

73

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

by Hunter, Anthony
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

74

Case-Based Reasoning Research and Development : Third International Conference on Case-Based Reasoning, ICCBR-99 Seeon Monastery, Germany, July 27-30, 1999 Proceedings

by Althoff, Klaus-Dieter
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

75

Fuzzy Logic in Artificial Intelligence : IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers

by Ralescu, Anca L
Published 1999

Springer Berlin Heidelberg

Cover Image

76

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

by Hutter, Dieter
Published 1999

Springer Berlin Heidelberg

Cover Image

77

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

78

Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings

by Flum, Jörg
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

79

Types for Proofs and Programs : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

by Altenkirch, Thorsten
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

80

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

by Pierre, Laurence
Published 1999

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11