Opening book details…
Can I read CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science) on EtoBox?
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science) by Egon Börger; Hans Kleine Büning; Michael M Richter; Workshop on Computer Science Logic is a computer science book available to read on EtoBox.
What is CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science) about?
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logician
Who reads CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Egon Börger; Hans Kleine Büning; Michael M Richter; Workshop on Computer Science Logic
- Publisher
- Berlin ; Springer-Verlag, c1989.
- Published
- 1989
- Language
- EN
- ISBN
- 9783540517054
- Category
- computer science
- Subjects
- Mathematics, Engineering, Computer Science
- Updated
- 2026-03-25