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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Jerzy Marcinkowski
Libristo code: 01559782
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2004
This book constitutes the refereed proceedings of the 18th International Workshop on Computer Scienc... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Vom Kommandierenden General zu Hitlers letztem Oberbefehlshaber 1943-1973 Roland Kaltenegger / Book Hardback
common.buy 4 968 Ft
Gleichgültigkeit Clemens J. Setz / Book Paperback
common.buy 6 669 Ft
LEGO úložná hlava mini - dýně Book binding.
common.buy 4 016 Ft
CONTRA EL MITO DEL COLAPSO ECOLOGICO SANTIAGO / Book Paperback
common.buy 6 993 Ft
Kundenbindungssysteme. Aufkommen, Merkmale, Auspragungen Jochen Hoffmann / Book Paperback
common.buy 9 715 Ft
Alles of niks Madelie Human / E-book Adobe ePub DRM
common.buy 1 627 Ft
El León de Judá: Estudio de las tipologías de Cristo en el Antiguo Testamento Rolando Pérez Sánchez / Book Paperback
common.buy 5 907 Ft
La prison, quel(s) droit(s) ? - actes du colloque organisé à Limoges le 7 octobre 2011 / Book Paperback
common.buy 9 775 Ft
Sekrety Mocy Mentalnej Tom 2 Atkinson William Walker / Book Paperback
common.buy 3 180 Ft
150 Ausreden, nicht joggen zu müssen Herbert Eliasch / Book Paperback
common.buy 3 166 Ft
Buenos Aires insólita y secreta / Buenos Aires Unusual and Secret Valeria Sampedro / Book Paperback
common.buy 6 304 Ft
Zum Fragment in der polnischen und russischen Romantik Anna Rothkoegel / Book Paperback
common.buy 11 915 Ft
Fabrizio De André. Donne pensate come amore Marianna Marrucci / Book Paperback
common.buy 7 432 Ft
Permis d'Exporter Delivres A Rome Vers Le Milieu Du Xvie Siecle REINACH-S / Book Paperback
common.buy 4 867 Ft
De gli Eroici Furori Giordano Bruno / Book Paperback
common.buy 3 282 Ft
Pit! Feuersbrunst Pit Boston / Book Paperback
common.buy 6 637 Ft

This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004.The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.

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 Jerzy Marcinkowski, Andrzej Tarlecki
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 522
EAN 9783540230243
ISBN 3540230246
Libristo code 01559782
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1650
Dimensions 155 x 235 x 29

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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

Computer Aided Systems Theory - EUROCAST '89 Roberto Moreno-Diaz / Book Paperback
common.buy 19 902 Ft
Scattershot: My Bipolar Family David Lovelace / Book Paperback
common.buy 8 809 Ft
Coming soon
Nonlinear Science: An Interactive Mathematica (TM) Notebook David Campbell / Digital Digital DVD
common.buy 11 753 Ft
When Heaven Fell Silent the Series Anthony Bello / Book Paperback
common.buy 9 378 Ft
Diary, Reminiscences, and Correspondence of Henry Crabb Robinson Henry Crabb Robinson / Book Hardback
common.buy 14 979 Ft
The Sun Dog Trail: (Jack London Classics Collection) Jack London / Book Paperback
common.buy 2 930 Ft
Army Drawdown and Restructuring: Background and Issues for Congress Congressional Research Service / Book Paperback
common.buy 6 036 Ft
The Miracles of Our Lord George MacDonald / Book Paperback
common.buy 3 956 Ft
Asynchronous Control for Networked Systems María Guinaldo Losada / Book Paperback
common.buy 39 688 Ft
Handsome Monk and Other Stories Tsering Dondrup / Book Paperback
common.buy 10 025 Ft
Marx, Women, and Capitalist Social Reproduction Martha E. Gimenez / Book Paperback
common.buy 14 305 Ft
Clay Play! Animal Favorites Terry Taylor / Book Paperback
common.buy 4 146 Ft
Life Aboard the RMS Titanic: The Maiden Voyage Before the Sinking of the World's Most Famous Ship Charles River Editors / Book Paperback
common.buy 3 328 Ft
Are We There Yet?: Grandpa's House Elisabeth Brown / Book Paperback
common.buy 3 942 Ft
John Bull on the Guadalquivir Anthony Trollope / Book Hardback
common.buy 12 442 Ft
Chaos Kings: How Wall Street Traders Make Billions in the New Age of Crisis Patterson / Book Hardback
common.buy 11 989 Ft
Who Was Henry Ford? Michael Burgan / Book Paperback
common.buy 2 431 Ft
Littlejohn's Britain Richard Littlejohn / Book Paperback
common.buy 10 524 Ft
Computer-Assisted Language Learning Michael Levy / Book Paperback
common.buy 26 382 Ft
International Directory of Company Histories Gale Group / Book Hardback
common.buy 208 442 Ft
5 FINGER MOVIE HEROES T GEROU / Book Paperback
common.buy 7 487 Ft
Poems And Poetical Fragments (1833) Henry Alford / Book Paperback
common.buy 6 817 Ft
Governing Fables Sandford F. Borins / Book Hardback
common.buy 45 743 Ft
Guatemala in Focus Trish O'Kane / Book Paperback
common.buy 9 027 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?