Lecture Notes in Computer Science Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Gödel C, Book 2803, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Gödel C, Book 2803, (Paperback)
- Author: Springer
- ISBN: 9783540408017
- Format: Paperback
- Publication Date: 2003-08-18
- Page Count: 596
Specs
- Manual & guide typeInstruction Manual
- Book formatPaperback
- Edition2003 Edition
- Pages596
- LanguageEnglish
- BrandMatthias Baaz
Current price is USD$107.81
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives between May 8 - May 11
|
Sold and shipped by Alibris Books
4.5665208675050115 stars out of 5, based on 10974 seller reviews(4.6)10974 seller reviews
Free 30-day returns
About this item
Product details
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.
- Lecture Notes in Computer Science Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Gödel C, Book 2803, (Paperback)
- Author: Springer
- ISBN: 9783540408017
- Format: Paperback
- Publication Date: 2003-08-18
- Page Count: 596
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.
Specifications
Manual & guide type
Instruction Manual
Book format
Paperback
Edition
2003 Edition
Pages
596
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Large-Scale Scientific Computing: Third International Conference, Lssc 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised, Book 2179, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Large-Scale Scientific Computing: Third International Conference, Lssc 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised, Book 2179, (Paperback)
Lecture Notes in Computer Science UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden,, Book 2460, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools: 5th International Conference, Dresden,, Book 2460, (Paperback)
International Development in Practice Public Investment Management Reference Guide, (Paperback) $49.79
$4979current price $49.79International Development in Practice Public Investment Management Reference Guide, (Paperback)
Lecture Notes in Computer Science Semantics: Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992. Proceedings, Book 666, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Semantics: Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992. Proceedings, Book 666, (Paperback)
Astrophysics and Space Science Library: Astronomical Photometry: A Guide (Paperback) $90.30
$9030current price $90.30Astrophysics and Space Science Library: Astronomical Photometry: A Guide (Paperback)
The Western Ontario Philosophy of Scienc Foundational Problems in the Special Sciences: Part Two of the Proceedings of the Fifth International Congress of Logic,, Book 10, (Paperback) $107.90
$10790current price $107.90The Western Ontario Philosophy of Scienc Foundational Problems in the Special Sciences: Part Two of the Proceedings of the Fifth International Congress of Logic,, Book 10, (Paperback)
Mathematical Foundations of Computer Science: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-Septemb, (Paperback) $97.29
$9729current price $97.29Mathematical Foundations of Computer Science: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-Septemb, (Paperback)
Lecture Notes in Computer Science Product-Focused Software Process Improvement: 23rd International Conference, Profes 2022, Jyväskylä, Finland, November 2, Book 13709, (Paperback) $90.88 Was $109.99
$9088current price $90.88, Was $109.99$109.99Lecture Notes in Computer Science Product-Focused Software Process Improvement: 23rd International Conference, Profes 2022, Jyväskylä, Finland, November 2, Book 13709, (Paperback)
Lecture Notes in Computer Science Applications of Evolutionary Computing: Evoworkshop 2003: Evobio, Evocop, Evoiasp, Evomusart, Evorob, and Evostim, Essex, Book 2611, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Applications of Evolutionary Computing: Evoworkshop 2003: Evobio, Evocop, Evoiasp, Evomusart, Evorob, and Evostim, Essex, Book 2611, (Paperback)
Lecture Notes in Computer Science Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Book 2772, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Book 2772, (Paperback)
Springer Solid-State Sciences Physics in One Dimension: Proceedings of an International Conference Fribourg, Switzerland, August 25-29, 1980, Book 23, (Paperback) $107.90
$10790current price $107.90Springer Solid-State Sciences Physics in One Dimension: Proceedings of an International Conference Fribourg, Switzerland, August 25-29, 1980, Book 23, (Paperback)
Research Notes in Neural Computing Visual Structures and Integrated Functions, Book 3, (Paperback) $107.90
$10790current price $107.90Research Notes in Neural Computing Visual Structures and Integrated Functions, Book 3, (Paperback)
Psychiatric Presentations in General Practice: A Guide to Holistic Management, Second Edition (Hardcover) $182.59
$18259current price $182.59Psychiatric Presentations in General Practice: A Guide to Holistic Management, Second Edition (Hardcover)
Pre-Owned Signing: Signed English: A Basic Guide (Paperback) 0517561328 9780517561324 $3.99
$399current price $3.99Pre-Owned Signing: Signed English: A Basic Guide (Paperback) 0517561328 9780517561324
Proceedings in Life Sciences Fish Diseases: Third Copraq-Session, (Paperback) $107.90
$10790current price $107.90Proceedings in Life Sciences Fish Diseases: Third Copraq-Session, (Paperback)
Concise Guide to Program Management: Fundamental Concepts and Issues, (Paperback) $43.94
$4394current price $43.94Concise Guide to Program Management: Fundamental Concepts and Issues, (Paperback)
Contemporary Research Methods in Neuroanatomy: Proceedings of an International Conference Held at the Laboratory of Peri, (Paperback) $107.90
$10790current price $107.90Contemporary Research Methods in Neuroanatomy: Proceedings of an International Conference Held at the Laboratory of Peri, (Paperback)
Lecture Notes in Physics Fifteenth International Conference on Numerical Methods in Fluid Dynamics: Proceedings of the Conference Held in Montere, Book 490, (Paperback) $109.99
$10999current price $109.99Lecture Notes in Physics Fifteenth International Conference on Numerical Methods in Fluid Dynamics: Proceedings of the Conference Held in Montere, Book 490, (Paperback)
Knowledge-Based Engineering for Innovati A Practical Guide to Integrating Generative AI into HR Management, (Paperback) $99.99
$9999current price $99.99Knowledge-Based Engineering for Innovati A Practical Guide to Integrating Generative AI into HR Management, (Paperback)
Lecture Notes in Computer Science Advances in Cryptology - Eurocrypt 2000: International Conference on the Theory and Application of Cryptographic Techniq, Book 1807, (Paperback) $103.88
$10388current price $103.88Lecture Notes in Computer Science Advances in Cryptology - Eurocrypt 2000: International Conference on the Theory and Application of Cryptographic Techniq, Book 1807, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
