MPG.eBooks - Search Results

Cover Image

21

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

22

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

23

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

24

Challenges for Action Theories

by Thielscher, Michael
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

25

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

26

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

27

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

Cover Image

28

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

29

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

Cover Image

30

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

31

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

32

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

Cover Image

33

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

1
2