Cover Image

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

Show other versions (1)

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers d...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), Workshop on Computer Science Logic
Other Authors: Börger, E. (Egon), 1946- (Editor), Kleine Büning, H. (Hans) (Editor), Richter, Michael M., 1938- (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer-Verlag, ©1990.
Series:Lecture notes in computer science ; 440.
Subjects:
Computer science > Mathematics > Congresses.
Logic, Symbolic and mathematical > Congresses.
Programmeertalen.
Logica.
Computer science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Computer science > Mathematics.
Logic, Symbolic and mathematical.
Electronic books.
Congressen (vorm)
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.M35 W67 1989
 
Call Number Status Get It
QA76.9.M35 W67 1989 Available