Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Lecture Notes in Computer Science 626 (Paperback)
  • Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Lecture Notes in Computer Science 626 (Paperback)
zoom

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - Lecture Notes in Computer Science 626 (Paperback)

(editor), (editor), (editor), (editor)
£78.50
Paperback 431 Pages / Published: 10/09/1992
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540557890
Number of pages: 431
Weight: 1370 g
Dimensions: 233 x 155 x 22 mm
Edition: 1992 ed.

You may also be interested in...

Don't Make Me Think, Revisited
Added to basket
Introducing Artificial Intelligence
Added to basket
The Best Interface Is No Interface
Added to basket
Portfolio, programme and project offices
Added to basket
Business Analysis Techniques
Added to basket
Sound and Recording
Added to basket
Artificial Intelligence
Added to basket
Machine Learning
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
How to Pass Higher Computing Science
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
The Elements of Statistical Learning
Added to basket
Artificial Intelligence: The Basics
Added to basket
BTEC Level 3 National IT Student Book 2
Added to basket
The Lego Architect
Added to basket
£20.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.