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

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 271 b
40 574 Ft
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 7 985 Ft
Top
Máme v ambulancii zlatú rybku Zuzana Mojzešová / Book Paperback
common.buy 2 740 Ft
Čarověník Egon Wiener / Book Sheet
common.buy 3 714 Ft
KENNETH SIMPSON: A FIRST ROUND BOOK SINGER'S BOOK SIMPSON Book binding.
common.buy 3 624 Ft
Fan Tomáš Hasaj / Book Hardback
common.buy 2 230 Ft
Ray Bradbury BOX Ray Bradbury / Book Book
common.buy 13 169 Ft
Luis, el cazafantasmas CARMEN GIL / Book Hardback
common.buy 3 657 Ft
L'Hypnotisme Explique Dans Sa Nature Et Dans Ses Actes: Mes Entretiens James-C / Book Paperback
common.buy 5 646 Ft
El tiempo perdido RAMAS / Book Paperback
common.buy 7 149 Ft
Torah Gematria of the Set-Apart Spirit: the Judgment of the Planet Nibiru 2nd Edition John Martin / Book Paperback
common.buy 4 149 Ft

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 13 471 Ft
Pass the Paddle Gerald Jerry E Schumm Jr / Book Paperback
common.buy 9 842 Ft
Native Tongue Suzette Haden Elgin / Book Paperback
common.buy 6 591 Ft
Wages for Housework: A History of an International Feminist Movement, 1972-77 Louise Toupin / Book Paperback
common.buy 15 252 Ft
Emily Wilding Davison Lucy Fisher / Book Paperback
common.buy 6 969 Ft
In Camp with A Tin Soldier John Kendrick Bangs / Book Paperback
common.buy 2 996 Ft
Dolphin Mystery Rosslyn Thomas / Book Paperback
common.buy 3 010 Ft
Coming soon
Chinese Art of Face Reading Joey Yap / Book Paperback
common.buy 9 247 Ft
A Study on HCCI Engine Suresh Govindan / Book Paperback
common.buy 12 734 Ft
Marketing In The Trenches CHRIS CIUNCI / Book Hardback
common.buy 14 667 Ft
Alphabet Job Buddies KAREN WEAVER / Book Hardback
common.buy 7 461 Ft
Oregon Question Albert Gallatin / Book Hardback
common.buy 11 628 Ft
Mining, Metallurgy and Minting in the Middle Ages. Vol. 1 Ian Blanchard / Book Hardback
common.buy 63 202 Ft
Dream Life and Real Life; a Little African Story Olive Schreiner / Book Paperback
common.buy 4 990 Ft
Nature and Us Vladimir Shekunov / Book Paperback
common.buy 5 977 Ft
The Skylark and Adonais - With Other Poems Percy Bysshe Shelley / Book Paperback
common.buy 5 755 Ft
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 13 244 Ft
Beyond Black Hilary Mantel / Book Paperback
common.buy 6 294 Ft
Politics of Memory Ana Lucia Araujo / Book Paperback
common.buy 27 599 Ft
Gender in Low and Middle-Income Countries Jennifer E. Lansford / Book Paperback
common.buy 16 018 Ft
Secret Sharers Anthony Fothergill / Book Paperback
common.buy 26 342 Ft
Desire Factor Christy Whitman / Book Paperback
common.buy 4 961 Ft
Engineering Review of Alternative Onsite Wastewater Treatment Mark Brooks / Book Paperback
common.buy 7 551 Ft
ADHD Body and Mind Miguel Toribio-Mateas / Book Paperback
common.buy 9 573 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?