Skip to contents

Ferro, Ruggero [Editor] ; Logic Colloquium 1988 Padua

Proceedings of the colloquium / 1988, Held in Padova Italy, August 22 - 31, 1988 / ed. by R. Ferro

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Comp., 1989

Published in: Proceedings of the colloquium ; 1988 - Studies in logic and the foundations of mathematics ; 127
Lerman, Manuel [Editor] ; University of Connecticut, Conference on Mathematical Logic 1979 Storrs, Conn

Logic Year 1979 - 80 : the University of Connecticut, USA

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1981

Published in: Lecture notes in mathematics ; 859 - Logic year ; 1979,0000,00
Gabbay, Dov M. [Editor]

Frontiers of combining systems 2

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Baldock: Research Studies Press, 2000

Published in: Studies in logic and computation ; 7
Logics of programs / 1983, Workshop, Carnegie Mellon Univ., Pittsburgh, Pa, June 1983

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1984

Published in: Logics of programs ; 1983 - Lecture notes in computer science ; 164
Lloyd, John Wylie [Other]; Lloyd, John W. [Editor] ; CL 1 2000 London

Computational logic : first international conference, London, UK, July 24 - 28, 2000 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000

Published in: Lecture notes in computer science ; 1861
MacAllester, David A. [Other]; MacAllester, David [Editor] ; CADE International Conference on Automated Deduction 17 2000 Pittsburgh, Pa

Automated deduction : proceedings ; Pittsburgh, PA, USA, June 17 - 20, 2000

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000

Published in: Lecture notes in computer science ; 1831
Pólos, László [Editor]; Masuch, Michael [Editor]

Applied logic: how, what and why : logical approaches to natural language

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer Acad. Publ., c1995

Published in: Synthese <Dordrecht> / Library ; 247
Gandy, Robin O. [Editor]; Yates, C. M. E. [Other] ; Summer School and Colloquium in Mathematical Logic 1969 Manchester, Summer School and Colloquium in Mathematical Logic 1969 Manchester

Logic Colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland Publ. Co., 1971

Published in: Studies in logic and the foundations of mathematics ; 6100
Gottlob, Georg [Editor]; Leitsch, Alexander [Editor]; Mundici, Daniele [Editor] ; Kurt-Gödel-Gesellschaft, Kurt Gödel Colloquium 3 1993 Brünn

Computational logic and proof theory : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Lecture notes in computer science ; 713
Jouannaud, Jean-Pierre [Editor] ; CCL 1 1994 München

Constraints in computational logics : First International Conference, Munich, Germany, September 7 - 9, 1994; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 845
Girard, Jean-Yves [Editor] ; International Meeting on Linear Logic 1 1993 Ithaca, NY

Advances in linear logic : [... based ... on the Linear Logic Workshop, held June 14 - 18, 1993, at the Mathematical Sciences Institute, Cornell University, Ithaca ...] - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, c 1995

Published in: London Mathematical Society: Lecture note series / London Mathematical Society ; 222
Nerode, Anil [Editor] ; International Symposium on Logical Foundations of Computer Science 2 1992 Twer

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20 - 24, 1992 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 620
Fuhrmann, André [Editor]; Morreau, Michael [Other]

The logic of theory change : Workshop, Konstanz, FRG, October 13 - 15, 1989 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Lecture notes in computer science ; 465
Schwichtenberg, Helmut [Editor] ; Advanced Study Institute on Proof and Computation 1993 Marktoberdorf

Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: NATO: NATO ASI series / F ; 139
Studer, Rudi [Editor] ; International Scientific Symposium Natural Language and Logic 1989 Hamburg

Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9 - 11, 1989 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 459
Meyer, Albert R. [Editor] ; Symposium on Logical Foundations of Computer Science 1 1989 Pereslavlʹ-Zalesskij

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3 - 8, 1989 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1989

Published in: Lecture notes in computer science ; 363 - Logic at Botik ; 1989
Bar-Hillēl, Yehôšuaʿ [Editor] ; ha- Akademyah ha-Le'umit ha-Yiśre'elit le-Mada'im Jerusalem, International Colloquium on Mathematical Logic and Foundations of Set Theory 1968 Jerusalem

Mathematical logic and foundations of set theory : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities ; Jerusalem, 11 - 14 November 1968

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publishing, 1970

Published in: Studies in logic and the foundations of mathematics
Miglioli, Pierangelo [Editor] ; Workshop on Theorem Proving with Analytic Tableaux and Related Methods 5 1996 Terrasini Favarotta

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1071
Baumgartner, Peter [Editor] ; Workshop on Theorem Proving with Analytic Tableaux and Related Methods 4 1995 Sankt Goar

Theorem proving with analytic tableaux and related methods : 4th international workshop; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 918
Börger, Egon [Editor] ; CSL 7 1993 Swansea

Computer science logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 832

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication