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

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 125 b
51.63 €
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 12.72 €
Gleichgültigkeit Clemens J. Setz / Book Paperback
common.buy 18.79 €
LEGO úložná hlava mini - dýně Book binding.
common.buy 10.80 €
CONTRA EL MITO DEL COLAPSO ECOLOGICO SANTIAGO / Book Paperback
common.buy 19.70 €
Kundenbindungssysteme. Aufkommen, Merkmale, Auspragungen Jochen Hoffmann / Book Paperback
common.buy 25.05 €
Alles of niks Madelie Human / E-book Adobe ePub DRM
common.buy 4.54 €
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 16.66 €
La prison, quel(s) droit(s) ? - actes du colloque organisé à Limoges le 7 octobre 2011 / Book Paperback
common.buy 27.58 €
Sekrety Mocy Mentalnej Tom 2 Atkinson William Walker / Book Paperback
common.buy 8.98 €
150 Ausreden, nicht joggen zu müssen Herbert Eliasch / Book Paperback
common.buy 8.18 €
Buenos Aires insólita y secreta / Buenos Aires Unusual and Secret Valeria Sampedro / Book Paperback
common.buy 17.78 €
Zum Fragment in der polnischen und russischen Romantik Anna Rothkoegel / Book Paperback
common.buy 30.71 €
Fabrizio De André. Donne pensate come amore Marianna Marrucci / Book Paperback
common.buy 20.91 €
Permis d'Exporter Delivres A Rome Vers Le Milieu Du Xvie Siecle REINACH-S / Book Paperback
common.buy 12.72 €
De gli Eroici Furori Giordano Bruno / Book Paperback
common.buy 8.58 €
Pit! Feuersbrunst Pit Boston / Book Paperback
common.buy 17.17 €

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 51.63 €
Scattershot: My Bipolar Family David Lovelace / Book Paperback
common.buy 22.73 €
Coming soon
Nonlinear Science: An Interactive Mathematica (TM) Notebook David Campbell / Digital Digital DVD
common.buy 33.14 €
When Heaven Fell Silent the Series Anthony Bello / Book Paperback
common.buy 24.55 €
Diary, Reminiscences, and Correspondence of Henry Crabb Robinson Henry Crabb Robinson / Book Hardback
common.buy 39.20 €
The Sun Dog Trail: (Jack London Classics Collection) Jack London / Book Paperback
common.buy 7.67 €
Army Drawdown and Restructuring: Background and Issues for Congress Congressional Research Service / Book Paperback
common.buy 15.75 €
The Miracles of Our Lord George MacDonald / Book Paperback
common.buy 10.30 €
Asynchronous Control for Networked Systems María Guinaldo Losada / Book Paperback
common.buy 102.86 €
Handsome Monk and Other Stories Tsering Dondrup / Book Paperback
common.buy 26.47 €
Marx, Women, and Capitalist Social Reproduction Martha E. Gimenez / Book Paperback
common.buy 40.31 €
Clay Play! Animal Favorites Terry Taylor / Book Paperback
common.buy 10.60 €
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 8.68 €
Are We There Yet?: Grandpa's House Elisabeth Brown / Book Paperback
common.buy 10.30 €
John Bull on the Guadalquivir Anthony Trollope / Book Hardback
common.buy 32.53 €
Chaos Kings: How Wall Street Traders Make Billions in the New Age of Crisis Patterson / Book Hardback
common.buy 31.62 €
Who Was Henry Ford? Michael Burgan / Book Paperback
common.buy 6.26 €
Littlejohn's Britain Richard Littlejohn / Book Paperback
common.buy 27.68 €
Computer-Assisted Language Learning Michael Levy / Book Paperback
common.buy 74.26 €
International Directory of Company Histories Gale Group / Book Hardback
common.buy 547.49 €
5 FINGER MOVIE HEROES T GEROU / Book Paperback
common.buy 21.11 €
Poems And Poetical Fragments (1833) Henry Alford / Book Paperback
common.buy 17.88 €
Governing Fables Sandford F. Borins / Book Hardback
common.buy 120.65 €
Guatemala in Focus Trish O'Kane / Book Paperback
common.buy 23.43 €

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