MPG.eBooks - Search Results - %22Mathematical Logic AND Foundations%22

Search alternatives:
22mathematical logic » mathematical logic , mathematics logic , mathematical logical

Cover Image

1

Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings

by Fiala, Jirí
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

2

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings

by Agrawal, Manindra
Published 2002

Springer-Verlag Berlin Heidelberg

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

Cover Image

3

Foundations of Software Science and Computation Structures...

by Thomas, Wolfgang
Published 1999

Springer-Verlag Berlin Heidelberg

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

Cover Image

4

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

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

5

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

by Gunter, Elsa L
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

6

Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectu...

by Väänänen, Jouko
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

7

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”