MPG.eBooks - Search Results - "mathematical logic and formal language"

81

Machine Learning: ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings

by Lavrac, Nada
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

82

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

by Belz, Anja
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

83

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

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

84

Machine Learning: ECML 2001 : 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings

by Raedt, Luc
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

85

Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

by Kobayashi, Naoki
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

86

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

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

87

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

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

88

Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings

by Abadi, Martin
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

89

Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

by Wang, Dongming
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

90

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

by Watanabe, Osamu
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

91

Challenges for Action Theories

by Thielscher, Michael
Published 2000

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

92

Algorithmic Learning Theory : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings

by Richter, Michael M
Published 1998

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

93

Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

by Dix, Jürgen
Published 1998

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

94

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

95

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

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

96

Part-Whole Reasoning in an Object-Centered Framework

by Lambrix, Patrick
Published 2000

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

97

Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

by Danvy, Olivier
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

98

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

by Backhouse, Roland
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

99

Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

by Pettorossi, Alberto
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

100

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

by Boer, Frank S de
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Narrow Search