Please turn on Javascript to view and use this website.
This is a Web 2.0 website and to enjoy the experience you'll need to enable Javascript within your browser

What's Happening?

Someone is looking at

Hero's Guide to Deadly Dragons by Cressida Cowell
[54 secs ago]

Someone is looking at

Teaching in America by George S. Morrison
[2 mins ago]

Someone is looking at

Basic Counselling Skills by Richard Nelson-Jones
[3 mins ago]

Someone is looking at

TX Se Algebra 2 2007
[4 mins ago]

What's Happening?

by Boomert

Boomert has just reviewed Messenger by Markus Zusak and rated it 0 Stars!

Read the full review titled "The Messenger by Markus Zusak".

Submit your own review!

Computer Science Logic
By Matthias Baaz

Computer Science Logic

Volume editor Matthias Baaz

Johann A. Makowsky

Checking price & availability...

(Write a review and go into the draw to win our monthly book review prize - a $50 Boomerang Bucks credit!)

Payment Methods

Description
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Godel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.

ISBN: 9783540408017
Classification: Mathematics & science
Format: Paperback (235mm x 155mm x 32mm)
Pages: 601
Publish Date: 18-Aug-2003
Country of Publication: Germany