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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Computer Science Logic

8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected Papers

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Leszek Pacholski
Libristo code: 05274472
Publishers Springer, Berlin, November 1994
This volume contains revised refereed versions of the best papers presented during the CSL '94 confe... Full description
? points 249 b
103.16 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Los turistas Carrión / Book Paperback
common.buy 22.08 €
Top
Máme v ambulancii zlatú rybku Zuzana Mojzešová / Book Paperback
common.buy 7.59 €
Čarověník Egon Wiener / Book Sheet
common.buy 10.23 €
KENNETH SIMPSON: A FIRST ROUND BOOK SINGER'S BOOK SIMPSON Book binding.
common.buy 10.02 €
Fan Tomáš Hasaj / Book Hardback
common.buy 6.17 €
Ray Bradbury BOX Ray Bradbury / Book Book
common.buy 36.37 €
Luis, el cazafantasmas CARMEN GIL / Book Hardback
common.buy 10.12 €
L'Hypnotisme Explique Dans Sa Nature Et Dans Ses Actes: Mes Entretiens James-C / Book Paperback
common.buy 15.60 €
El tiempo perdido RAMAS / Book Paperback
common.buy 19.75 €
Torah Gematria of the Set-Apart Spirit: the Judgment of the Planet Nibiru 2nd Edition John Martin / Book Paperback
common.buy 10.63 €

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.

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 Leszek Pacholski, Jerzy Tiuryn
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 553
EAN 9783540600176
ISBN 3540600175
Libristo code 05274472
Publishers Springer, Berlin
Weight 752
Dimensions 155 x 233 x 29

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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
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

THE ARRANDEL MOTTO MARK HARDCASTLE / Book Hardback
common.buy 34.55 €
Pass the Paddle Gerald Jerry E Schumm Jr / Book Paperback
common.buy 25.33 €
Native Tongue Suzette Haden Elgin / Book Paperback
common.buy 16.71 €
Wages for Housework: A History of an International Feminist Movement, 1972-77 Louise Toupin / Book Paperback
common.buy 41.14 €
Emily Wilding Davison Lucy Fisher / Book Paperback
common.buy 17.62 €
In Camp with A Tin Soldier John Kendrick Bangs / Book Paperback
common.buy 7.69 €
Dolphin Mystery Rosslyn Thomas / Book Paperback
common.buy 7.69 €
Coming soon
Chinese Art of Face Reading Joey Yap / Book Paperback
common.buy 24.11 €
A Study on HCCI Engine Suresh Govindan / Book Paperback
common.buy 32.12 €
Marketing In The Trenches CHRIS CIUNCI / Book Hardback
common.buy 37.59 €
Alphabet Job Buddies KAREN WEAVER / Book Hardback
common.buy 18.74 €
Oregon Question Albert Gallatin / Book Hardback
common.buy 29.79 €
Mining, Metallurgy and Minting in the Middle Ages. Vol. 1 Ian Blanchard / Book Hardback
common.buy 170.35 €
Dream Life and Real Life; a Little African Story Olive Schreiner / Book Paperback
common.buy 12.76 €
Nature and Us Vladimir Shekunov / Book Paperback
common.buy 13.98 €
The Skylark and Adonais - With Other Poems Percy Bysshe Shelley / Book Paperback
common.buy 15.90 €
Chinese Short Stories by Revolutionary Authors - Read Chinese Literature with Detailed Footnotes, Pinyin, Summaries, and Audio (Capturing Chinese) Kevin John Nadolny / Book Paperback
common.buy 34.35 €
Beyond Black Hilary Mantel / Book Paperback
common.buy 15.80 €
Politics of Memory Ana Lucia Araujo / Book Paperback
common.buy 71.24 €
Gender in Low and Middle-Income Countries Jennifer E. Lansford / Book Paperback
common.buy 42.96 €
Secret Sharers Anthony Fothergill / Book Paperback
common.buy 72.76 €
Desire Factor Christy Whitman / Book Paperback
common.buy 13.27 €
Engineering Review of Alternative Onsite Wastewater Treatment Mark Brooks / Book Paperback
common.buy 19.35 €
ADHD Body and Mind Miguel Toribio-Mateas / Book Paperback
common.buy 25.12 €

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?