Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Computer Science Logic - 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Goedel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (Paperback, 2003 ed.) Loot Price: R3,065
Discovery Miles 30 650
Repayment Terms: R287 pm x 12*
Add to cart
Computer Science Logic - 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Goedel...

Computer Science Logic - 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Goedel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (Paperback, 2003 ed.)

Matthias Baaz, Johann M. Makowsky

Series: Lecture Notes in Computer Science, 2803

 (sign in to rate)
Loot Price R3,065 Discovery Miles 30 650 | Repayment Terms: R287 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

  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 Gödel 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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2803
Release date: August 2003
First published: 2003
Editors: Matthias Baaz • Johann M. Makowsky
Dimensions: 235 x 155 x 31mm (L x W x T)
Format: Paperback
Pages: 596
Edition: 2003 ed.
ISBN-13: 978-3-540-40801-7
Categories: Books > Reference & Interdisciplinary > Interdisciplinary studies > General
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > General
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 3-540-40801-0
Barcode: 9783540408017

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,222 Discovery Miles 12 220
Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,261 Discovery Miles 12 610
Elements of Geometry Upon the Inductive Method (Paperback): James Hayward
Elements of Geometry Upon the Inductive…
James Hayward Paperback R432 Discovery Miles 4 320
Elementary Lessons in Logic - Deductive and Inductive: With Copious Questions and Examples and a Vocabulary of Logical Terms...
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R548 Discovery Miles 5 480
Foundation Maths (Paperback, 7th edition): Anthony Croft, Robert Davison
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,688 Discovery Miles 16 880
Primary Maths for Scotland Textbook 2A - For Curriculum for Excellence Primary Maths (Paperback, Edition): Craig Lowther,...
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R373 R283 Discovery Miles 2 830
The Cryptoclub Workbook - Using Mathematics to Make and Break Secret Codes (Paperback): Janet Beissinger, Vera Pless
The Cryptoclub Workbook - Using…
Janet Beissinger, Vera Pless Paperback R742 Discovery Miles 7 420
The Facts Matter - Essays on Logic and Cognition in Honour of Rineke Verbrugge (Paperback): Sujata Ghosh
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R398 Discovery Miles 3 980
Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical Semantics (Paperback): Maria Luisa Dalla Chiara, Roberto Giuntini, Elenora Negri
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R496 Discovery Miles 4 960
Mathematical Proofs: A Transition to Advanced Mathematics - Pearson New International Edition (Paperback, 3rd edition): Gary...
Mathematical Proofs: A Transition to…
Gary Chartrand, Albert Polimeni, … Paperback R2,238 Discovery Miles 22 380
A Practice Book In Arithmetic For The Second Year (Hardcover): Harriet E Sharpe
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R774 Discovery Miles 7 740

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners