CSL '89 :
3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October, 1989 : proceedings /

Description

Tools

Cite this Export citation file

Meeting Name: Workshop on Computer Science Logic Kaiserslautern, Germany) 1989 : (3rd :
Related Names: Richter, Michael M., 1938-
(Hans)
(Egon), 1946-
Language(s): English
Published: Berlin ; Springer-Verlag, 1990.
Subjects: Logic, Symbolic and mathematical > Logic, Symbolic and mathematical / Congresses.
Computer science > Computer science / Mathematics > Computer science / Mathematics / Congresses.
Physical Description: vi, 437 p. ; 25 cm.
ISBN: 0387527532
3540527532 (DM57.50)
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California
Limited (search only)	The Ohio State University

View HathiTrust MARC record

Similar Items

Logikkalküle

Author: Richter, Michael M., 1938-
Published: 1978

Ideale Punkte, Monaden und Nichtstandard-Methoden

Author: Richter, Michael M., 1938-
Published: 1982

Trends in theoretical computer science

Author: Börger, E. (Egon), 1946-
Published: 1988

Specification and validation methods

Author: Börger, E. (Egon), 1946-
Published: 1995

Äquivalenz dreier Präzisierungen des Begriffs der konstruktiven Ordinalzahl

Author: Börger, E. (Egon), 1946-
Published: 1970

Reduktionstypen der klassischen Prädikatenlogik

Author: Börger, E. (Egon), 1946-
Published: 1972

Systems of reductions

Author: Benninghofen, B. (Benjamin), 1958-
Published: 1987

Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings

Author: Richter, Michael M., 1938-
Published: 1991

Topics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers

Author: EWCBR '93 (1st : 1993 : Kaiserslautern, Germany)
Published: 1994

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983

Author: Logic Colloquium (1983 : Aachen, Germany)
Published: 1984