MPG.eBooks - Search Results - "Mathematical Logic"

1

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 Formal Languages...”

Read Now

2

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

3

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

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

Read Now

4

Challenges for Action Theories

by Thielscher, Michael
Published 2000

Springer-Verlag Berlin Heidelberg

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

Read Now

5

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

6

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

7

Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

by Groote, Philippe de
Published 1997

Springer Berlin Heidelberg

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

Read Now

8

Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

by Girard, Jean-Yves
Published 1999

Springer-Verlag Berlin Heidelberg

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

Read Now

9

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 Formal Languages...”

Read Now

10

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

by Baaz, Matthias
Published 2003

Springer Berlin Heidelberg

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

Read Now

11

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

by Abramsky, Samson
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

12

Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

by Fribourg, Laurent
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

13

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

by McAllester, David
Published 2000

Springer Berlin Heidelberg

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

Read Now

14

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 Formal Languages...”

Read Now

15

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

by Nielsen, Mogens
Published 1998

Springer Berlin Heidelberg

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

Read Now

16

Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

by Clote, Peter G
Published 2000

Springer-Verlag Berlin Heidelberg

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

Read Now

17

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

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

Read Now

18

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

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

Read Now

19

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

by Gottlob, Georg
Published 1997

Springer Berlin Heidelberg

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

Read Now

20

Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers

by Blanck, Jens
Published 2001

Springer-Verlag Berlin Heidelberg

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

Narrow Search