MPG.eBooks - Search Results

Cover Image

1

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

Cover Image

2

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

by Coquand, Thierry
Published 2000

Springer Berlin Heidelberg

Cover Image

3

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

Cover Image

4

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

Cover Image

5

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

Cover Image

6

Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

by Moggi, Eugenio
Published 1997

Springer Berlin Heidelberg

Cover Image

7

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

Cover Image

8

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

Cover Image

9

Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

by Giunchiglia, Enrico
Published 2004

Springer Berlin Heidelberg

Cover Image

10

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

Cover Image

11

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

Cover Image

12

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

Cover Image

13

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

Cover Image

14

Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht

by Mycielski, Jan
Published 1997

Springer Berlin Heidelberg

Cover Image

15

Challenges for Action Theories

by Thielscher, Michael
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

16

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

Cover Image

17

Loeb Measures in Practice: Recent Advances : EMS Lectures 1997

by Cutland, Nigel J
Published 2000

Springer Berlin Heidelberg

Cover Image

18

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

Cover Image

19

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

Cover Image

20

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

1
2