CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science, 440) - Softcover
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 deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1990
- ISBN 10 3540527532
- ISBN 13 9783540527534
- BindingPaperback
- Number of pages452
- EditorBörger Egon, Kleine Büning Hans, Richter Michael M.
Buy New
Learn more about this copy
US$ 56.44
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science (440)) by B??ning, Hans Kleine, B??rger, Egon, Richter, Michael M. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540527534
Buy New
US$ 56.44
Convert currency
Seller Image
Csl '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5906536-n
Buy New
US$ 61.09
Convert currency
Stock Image
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science, 440)
Published by
Springer
(1990)
ISBN 10: 3540527532
ISBN 13: 9783540527534
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020169364
Buy New
US$ 59.75
Convert currency
Stock Image
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern; FRG; October 2-6; 1989. Proceedings
Published by
Springer
(1990)
ISBN 10: 3540527532
ISBN 13: 9783540527534
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540527534_lsuk
Buy New
US$ 64.24
Convert currency
Stock Image
CSL ?89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540527534
Buy New
US$ 89.42
Convert currency
Seller Image
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Published by
Springer Berlin Heidelberg
(1990)
ISBN 10: 3540527532
ISBN 13: 9783540527534
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field. Seller Inventory # 9783540527534
Buy New
US$ 66.50
Convert currency
Seller Image
CSL 89
Published by
Springer Berlin Heidelberg
(1990)
ISBN 10: 3540527532
ISBN 13: 9783540527534
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 comput. Seller Inventory # 4892503
Buy New
US$ 54.05
Convert currency
Stock Image
CSL 89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540527534
Buy New
US$ 104.45
Convert currency
Stock Image
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540527534
Buy New
US$ 105.12
Convert currency
Seller Image
CSL '89
Published by
Springer Berlin Heidelberg Jul 1990
(1990)
ISBN 10: 3540527532
ISBN 13: 9783540527534
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field. 452 pp. Englisch. Seller Inventory # 9783540527534
Buy New
US$ 104.00
Convert currency