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

181

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

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

Read Now

182

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

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

Read Now

183

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

by Hermenegildo, Manuel V
Published 2002

Springer-Verlag Berlin Heidelberg

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

Read Now

184

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001...

by Sands, David
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

185

Rough Sets and Current Trends in Computing : First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings

by Polkowski, Lech
Published 1998

Springer-Verlag Berlin Heidelberg

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

Read Now

186

MICAI 2002: Advances in Artificial Intelligence : Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April 22–26, 2002 Proceedings

by Coello Coello, Carlos A
Published 2002

Springer-Verlag Berlin Heidelberg

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

Read Now

187

Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

by Voronkov, Andrei
Published 2002

Springer-Verlag Berlin Heidelberg

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

Read Now

188

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

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

Read Now

189

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

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

Read Now

190

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

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

Read Now

191

The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic

by Dau, Frithjof
Published 2003

Springer Berlin Heidelberg

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

Read Now

192

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

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

Read Now

193

Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

by Taha, Walid
Published 2000

Springer-Verlag Berlin Heidelberg

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

Read Now

194

Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

by Giacobazzi, Roberto
Published 2004

Springer Berlin Heidelberg

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

Read Now

195

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

by Hanus, Michael
Published 1997

Springer Berlin Heidelberg

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

Read Now

196

Computational Learning Theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amste...

by Helmbold, David
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

197

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

198

Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings

by Rus, Teodor
Published 2000

Springer-Verlag Berlin Heidelberg

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

Read Now

199

Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

by Levi, Giorgio
Published 1998

Springer-Verlag Berlin Heidelberg

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

Read Now

200

Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

by Backhouse, Roland
Published 2000

Springer Berlin Heidelberg

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

Narrow Search