Visit our Christmas Gift Finder
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Lecture Notes in Computer Science 533 (Paperback)
  • Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Lecture Notes in Computer Science 533 (Paperback)
zoom

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Lecture Notes in Computer Science 533 (Paperback)

(editor), (editor), (editor), (editor)
£78.50
Paperback 402 Pages / Published: 11/09/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540544876
Number of pages: 402
Weight: 1280 g
Dimensions: 233 x 155 x 21 mm
Edition: 1991 ed.

You may also be interested in...

Naive Set Theory
Added to basket
£8.95
Paperback
Logic For Dummies
Added to basket
£13.99
Paperback
Numbers, Sequences and Series
Added to basket
Foundation Mathematics for Biosciences
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Measurements and their Uncertainties
Added to basket
Active Arithmetic!
Added to basket
Alan M. Turing
Added to basket
£9.99
Paperback
Proof Theory
Added to basket
£17.99
Paperback
Sets, Logic and Categories
Added to basket
How to Prove It
Added to basket
Introducing Infinity
Added to basket

Please sign in to write a review

Your review has been submitted successfully.