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

101

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

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

Read Now

102

Logical Aspects of Computational Linguistics : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers

by Retore, Christian
Published 1997

Springer Berlin Heidelberg

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

Read Now

103

Automated Deduction in Classical and Non-Classical Logics : Selected Papers

by Caferra, Ricardo
Published 2000

Springer-Verlag Berlin Heidelberg

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

Read Now

104

Grammatical Inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings

by Honavar, Vasant
Published 1998

Springer Berlin Heidelberg

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

Read Now

105

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

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

Read Now

106

Logical Aspects of Computational Linguistics : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

by Lecomte, Alain
Published 1999

Springer-Verlag Berlin Heidelberg

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

Read Now

107

Automated Deduction — CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

by Ganzinger, Harald
Published 1999

Springer-Verlag Berlin Heidelberg

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

Read Now

108

Robust Adaptation to Non-Native Accents in Automatic Speech Recognition

by Goronzy, Silke
Published 2002

Springer-Verlag Berlin Heidelberg

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

Read Now

109

Inductive Logic Programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings

by Horváth, Tamas
Published 2003

Springer Berlin Heidelberg

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

Read Now

110

Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers

by Dalen, Dirk van
Published 1997

Springer Berlin Heidelberg

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

Read Now

111

Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

by Marcinkowski, Jerzy
Published 2004

Springer Berlin Heidelberg

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

Read Now

112

Grammatical Inference: Algorithms and Applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings

by Paliouras, Georgios
Published 2004

Springer Berlin Heidelberg

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

Read Now

113

A Tight, Practical Integration of Relations and Functions

by Boley, Harold
Published 1999

Springer Berlin Heidelberg

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

Read Now

114

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

by Hofmann, Martin
Published 2003

Springer-Verlag Berlin Heidelberg

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

Read Now

115

Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

by Adian, Sergei
Published 1997

Springer Berlin Heidelberg

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

Read Now

116

The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering

by Jureta, Ivan
Published 2015

Springer International Publishing

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

Read Now

117

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

Published 1998

Springer Berlin Heidelberg

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

Read Now

118

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

119

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

120

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

by Egly, Uwe
Published 2002

Springer-Verlag Berlin Heidelberg

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

Narrow Search