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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Zoltán Ésik
Libristo code: 01564793
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Full description
? points 271 b
40 574 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gangland Chuck Hogan / Book Paperback
common.buy 10 863 Ft
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 13 348 Ft
Microsoft Office 365 Karel Klatovský / Book Paperback
common.buy 3 988 Ft
Insolvenzrecht Michael App / Book Paperback
common.buy 20 455 Ft
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Book Paperback
common.buy 7 073 Ft
Mapa Oceanía físico edigol ediciones / Book Paperback
common.buy 5 245 Ft
Aprende a tocar la batería Peter Gelling / Book Paperback
common.buy 12 030 Ft
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Book Paperback
common.buy 7 130 Ft
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Book Paperback
common.buy 22 264 Ft
Un árbol caído Rafael Reig / Book Paperback
common.buy 3 657 Ft
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Book Paperback
common.buy 4 900 Ft
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Book Paperback
common.buy 17 109 Ft
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Book Paperback
common.buy 12 389 Ft
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Book Paperback
common.buy 13 830 Ft
Conjuguez sans faute / Book Paperback
common.buy 2 381 Ft
Tajomstvo úspechu troch majstrov Napoleon Hill / Book Hardback
common.buy 5 528 Ft

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.

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 Zoltán Ésik
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 627
EAN 9783540454588
ISBN 3540454586
Libristo code 01564793
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 961
Dimensions 155 x 235 x 35

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
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

Something Happened on the Way to Heaven Sudha Murty / Book Paperback
common.buy 4 810 Ft
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Book Paperback
common.buy 7 551 Ft
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Book Paperback
common.buy 6 445 Ft
The Law of Executors and Administrators. Samuel Toller / Book Paperback
common.buy 12 361 Ft
Body Awareness MR Roger Day / Book Paperback
common.buy 4 645 Ft
Chauffeur and the Chaperon C. N. WILLIAMSON / Book Hardback
common.buy 14 203 Ft
Mecca F. E. Peters / Book Paperback
common.buy 41 746 Ft
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Book Paperback
common.buy 4 928 Ft
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Book Hardback
common.buy 12 153 Ft
Justice League: Last Ride Miguel Mendonca / Book Paperback
common.buy 5 273 Ft
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Book Paperback
common.buy 4 734 Ft
Craven Street Yuri Rasovsky / Audiobook MP3
common.buy 4 418 Ft
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 2 292 Ft
Islam Lovat / Book Paperback
common.buy 11 236 Ft
International Who's Who in Classical Music 2010 Europa Publications / Book Hardback
common.buy 148 456 Ft
For Sinners Only A J Russell / Book Paperback
common.buy 6 473 Ft
Liber Costumarum Christopher Markham / Book Paperback
common.buy 6 818 Ft
Play or Pay. a Novelette. Hawley Smart / Book Paperback
common.buy 8 571 Ft
Chora 5 Alberto Perez-Gomez / Book Paperback
common.buy 16 854 Ft
Questions about God Steven M. Cahn / Book Hardback
common.buy 37 172 Ft
Deleuze's Cinema Books David Deamer / Book Hardback
common.buy 45 549 Ft
Cosmic B1+ Test Book Katerina Mestheneou / Book Paperback
common.buy 8 930 Ft
Value Solutions In Cooperative Games Roger A McCain / Book Hardback
common.buy 36 307 Ft
Logic Programming with Prolog Beverley Ford / Book Paperback
common.buy 19 855 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?