Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Matthias Baaz
Libristo code: 01562973
Publishers Springer, Berlin, November 2002
§This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer... Full description
? points 249 b
102.86 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Graphic Design in the White Cube / Grafický design v bílé krychli / Book Paperback
common.buy 4.23 €
Akvarel' Krasnov Vladimir / Book Paperback
common.buy 17.88 €
Maritimer Kulturgüterschutz. Nadine Chr. Pallas / Book Paperback
common.buy 116.40 €
Fotografie brož.1954-2000 Miroslav Hucek Book binding.
common.buy 23.33 €
Život na úver Joachim Becker / Book Paperback
common.buy 10.50 €
Die Entwicklung des Personenverkehrs in den Regionen der Bundesrepublik Deutschland bis zum Jahre 2000. Hartmut Kuhfeld / Book Paperback
common.buy 63.96 €
Affordable
Posílení víry Libor Nissim Valko / Book Paperback
common.buy 4.23 €
Handbuch Unterhaltungsproduktion Katja Lantzsch / Book Hardback
common.buy 103.47 €
Rußland im Zangengriff Peter Scholl-Latour / Book Paperback
common.buy 15.86 €

§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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer Science Logic
Author Matthias Baaz, Johann M. Makowsky
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 596
EAN 9783540408017
ISBN 3540408010
Libristo code 01562973
Publishers Springer, Berlin
Weight 844
Dimensions 155 x 235 x 31

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Children’s, Teenage & Educational > Educational material > Educational: Mathematics, science & technology, general > Educational: Sciences, general science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Top
Wahls Protocol Cooking For Life Terry Wahls / Book Paperback
common.buy 23.13 €
Poetical Tributes To The Memory Of Abraham Lincoln Various Authors / Book Paperback
common.buy 28.79 €
Hayek on Liberty John Gray / Book Paperback
common.buy 75.17 €
Spud John vandeRuit / Book Paperback
common.buy 10.80 €
Blood From A Stone Donna Leon / Book Paperback
common.buy 9.69 €
Colored Pencil (Drawing Made Easy) Eileen Sorg / Book Paperback
common.buy 12.52 €
History of Strength of Materials Stephen P. Timoshenko / Book Paperback
common.buy 23.03 €
Last Man Mary Shelley / Book Paperback
common.buy 5.75 €
Garth Ennis' Complete Battlefields Volume 3 Hardcover Carlos Ezquerra / Book Hardback
common.buy 22.83 €
Extreme Animals Nicola Davies / Book Hardback
common.buy 9.19 €
Cairo: Images of Transition Mikala Hyldig Dal / Book Paperback
common.buy 42.94 €
Coming soon
Transformers Vault Pable Hidalgo / Book Hardback
common.buy 43.34 €
Bodily Integrity and the Politics of Circumcision George C. Denniston / Book Hardback
common.buy 174.71 €
Advanced Nanoscale ULSI Interconnects: Fundamentals and Applications Yosi Shacham-Diamand / Book Hardback
common.buy 154.20 €
Consuming the Inedible Jeremy MacClancy / Book Paperback
common.buy 39.50 €
Blackpool Through Time A Second Selection Allan W Wood / Book Paperback
common.buy 17.07 €
Top
The Wahls Protocol Terry Wahls / Book Paperback
common.buy 17.27 €
Soviet and Russian Military Aircraft in Africa Yefim Gordon / Book Hardback
common.buy 45.16 €
Duane Michals: Portraits Duane Michals / Book Hardback
common.buy 46.47 €
This Is Your Heart: Speak For Yourself Volume I Speak for Yourself / Book Paperback
common.buy 16.16 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account