Hero image 0 of Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, Sep, (Paperback), 0 of 1
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, Sep, (Paperback)
(No ratings yet)
Key item features
- Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, Sep, (Paperback)
- Author: Springer
- ISBN: 9783540454588
- Format: Paperback
- Publication Date: 2006-09-20
- Page Count: 627
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateSeptember, 2006
- Pages627
- SubgenreComputer Science
Current price is USD$105.99
Price when purchased online
- Free shipping
Free 90-day returns
$105.99
How do you want your item?
Plus, get 50% off an annual plan at checkout!
Ships to
Arrives by Tue, Jun 30
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (4)
Starting from $107.81
Get 50% off a year of Walmart+
Exclusions, T&C apply. Claim offer
Similar items you might like
Based on what customers bought
Few-Body Systems Resonances in Few-Body Systems: Proceedings of the International Workshop, Sárospatak, Hungary, September 4-8, 2000, Book 13, (Paperback) $105.35
$10535current price $105.35Few-Body Systems Resonances in Few-Body Systems: Proceedings of the International Workshop, Sárospatak, Hungary, September 4-8, 2000, Book 13, (Paperback)
Book of Abstracts of the 61st Annual Meeting of the European Association for Animal Production: Heraklion - Crete Island, (Paperback) $106.22
$10622current price $106.22Book of Abstracts of the 61st Annual Meeting of the European Association for Animal Production: Heraklion - Crete Island, (Paperback)
Lecture Notes in Computer Science Graph Drawing: 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, Book 2265, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Graph Drawing: 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, Book 2265, (Paperback)
Lecture Notes in Computer Science Algorithms in Bioinformatics: Second International Workshop, Wabi 2002, Rome, Italy, September 17-21, 2002, Proceedings, Book 2452, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Algorithms in Bioinformatics: Second International Workshop, Wabi 2002, Rome, Italy, September 17-21, 2002, Proceedings, Book 2452, (Paperback)
Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 50th International Workshop, Wg 2024, Gozd Martuljek, Slovenia, June 19-21, Book 14760, (Paperback) $79.99
$7999current price $79.99Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 50th International Workshop, Wg 2024, Gozd Martuljek, Slovenia, June 19-21, Book 14760, (Paperback)
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the Eacsl, Oxford, Uk, August 2, (Paperback) $56.14
$5614current price $56.14Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the Eacsl, Oxford, Uk, August 2, (Paperback)
Advances in Inclusion Science Proceedings of the First International Symposium on Cyclodextrins: Budapest, Hungary, 30 September-2 October, 1981, Book 1, (Paperback) $107.90
$10790current price $107.90Advances in Inclusion Science Proceedings of the First International Symposium on Cyclodextrins: Budapest, Hungary, 30 September-2 October, 1981, Book 1, (Paperback)
Lecture Notes in Computer Science Medical Image Computing and Computer-Assisted Intervention - Miccai 2002: 5th International Conference, Tokyo, Japan, Se, Book 2489, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Medical Image Computing and Computer-Assisted Intervention - Miccai 2002: 5th International Conference, Tokyo, Japan, Se, Book 2489, (Paperback)
Numerical Methods and Applications: 6th International Conference, Nma 2006, Borovets, Bulgaria, August 20-24, 2006, Revi, (Paperback) $107.81
$10781current price $107.81Numerical Methods and Applications: 6th International Conference, Nma 2006, Borovets, Bulgaria, August 20-24, 2006, Revi, (Paperback)
Large-Scale Scientific Computing: 6th International Conference, Lssc 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Pa, (Paperback) $107.81
$10781current price $107.81Large-Scale Scientific Computing: 6th International Conference, Lssc 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Pa, (Paperback)
Mathematical Foundations of Computer Science 2006: 31st International Symposium, Mfcs 2006, Stará Lesná, Slovakia, Augus, (Paperback) $107.90
$10790current price $107.90Mathematical Foundations of Computer Science 2006: 31st International Symposium, Mfcs 2006, Stará Lesná, Slovakia, Augus, (Paperback)
Lecture Notes in Computer Science Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proce, Book 944, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proce, Book 944, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings, Book 2404, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings, Book 2404, (Paperback)
Mathematical Foundations of Computer Science 2007: 32nd International Symposium, Mfcs 2007 Ceský Krumlov, Czech Republic, (Paperback) $90.80 Was $107.81
$9080current price $90.80, Was $107.81$107.81Mathematical Foundations of Computer Science 2007: 32nd International Symposium, Mfcs 2007 Ceský Krumlov, Czech Republic, (Paperback)
Lecture Notes in Computer Science Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Pro, Book 3212, (Paperback) $107.90
$10790current price $107.90Lecture Notes in Computer Science Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Pro, Book 3212, (Paperback)
Lecture Notes in Computer Science Advances in Information Systems: Third International Conference, Advis 2004, Izmir, Turkey, October 20-22, 2004. Proceed, Book 3261, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Advances in Information Systems: Third International Conference, Advis 2004, Izmir, Turkey, October 20-22, 2004. Proceed, Book 3261, (Paperback)
Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1998: 23rd International Symposium, Mfcs'98, Brno, Czech Republic, August 2, Book 1450, (Paperback) $103.78
$10378current price $103.78Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1998: 23rd International Symposium, Mfcs'98, Brno, Czech Republic, August 2, Book 1450, (Paperback)
Lecture Notes in Computer Science Energy Minimization Methods in Computer Vision and Pattern Recognition: 4th International Workshop, Emmcvpr 2003, Lisbon, Book 2683, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Energy Minimization Methods in Computer Vision and Pattern Recognition: 4th International Workshop, Emmcvpr 2003, Lisbon, Book 2683, (Paperback)
Proceedings in Life Sciences Metabolic Interconversion of Enzymes 1980: International Titisee Conference October 1st - 5th, 1980, (Paperback) $107.90
$10790current price $107.90Proceedings in Life Sciences Metabolic Interconversion of Enzymes 1980: International Titisee Conference October 1st - 5th, 1980, (Paperback)
Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995: 20th International Symposium, Mfcs'95, Prague, Czech Republic, A, Book 969, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995: 20th International Symposium, Mfcs'95, Prague, Czech Republic, A, Book 969, (Paperback)
About this item
Product details
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
- Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, Sep, (Paperback)
- Author: Springer
- ISBN: 9783540454588
- Format: Paperback
- Publication Date: 2006-09-20
- Page Count: 627
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
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
September, 2006
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.
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
