Computer Science Logic Image close
Computer Science Logic
Computer Science Logic
Show Hide Adult Content
Computer Science Logic close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$303.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $75.75 with Afterpay Learn more

6 weekly interest-free payments of $50.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Term Rewriting and Applications
$156.00
Term Rewriting and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Evolution
$153.00
Artificial Evolution
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Parallel and Scientific Computing
$160.00
Applied Parallel and Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Correct Hardware Design and Verification Methods
$155.00
Correct Hardware Design and Verification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Experimental Algorithms
$156.00
Experimental Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$158.00
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Network and Parallel Computing
$153.00
Network and Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$151.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$153.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2020
$153.00
Advances in Neural Networks – ISNN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$160.00
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$295.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation: Extending Horizons of Computing
$140.00
Reversible Computation: Extending Horizons of Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Data Driven Applications Systems
$153.00
Dynamic Data Driven Applications Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Optimization and Applications
$230.00
Optimization and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$269.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
September 20th, 2006
Audience
  • Professional & Vocational
Contributor
  • Edited by Zoltan Esik
Illustrations
XII, 627 p.
Pages
627
Dimensions
156x234x33
ISBN-13
9783540454588
Product ID
5765256

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence