|
Showing 1 - 1 of
1 matches in All Departments
|
Computer Science Logic - 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Paperback, 1991 ed.)
Egon Boerger, Hans Kleine Buning, Michael M. Richter, Wolfgang Schoenfeld
|
R1,732
Discovery Miles 17 320
|
Ships in 10 - 15 working days
|
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.
|
You may like...
Finding Dory
Ellen DeGeneres, Albert Brooks, …
Blu-ray disc
(1)
R42
Discovery Miles 420
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.