[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Computer Science Logic

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 317 b
134.22 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Complete Poems of Emily Jane Bronte Emily Bronte / Hardback
common.buy 148.03 €
Japanese Discovery of Europe, 1720-1830 Donald Keene / Paperback
common.buy 40.24 €
Jazz Flute Aural Tests and Quick Studies Levels/Grades 1-5 ABRSM / Sheet music
common.buy 18.08 €
Remodelling Hospitals and Health Professions in Europe Mike Dent / Hardback
common.buy 134.22 €
Lessons from Deregulation Alfred E. Kahn / Paperback
common.buy 32.42 €
Little Lion of the Southwest Marc Simmons / Paperback
common.buy 37.78 €
African Genius Basil Davidson / Paperback
common.buy 40.99 €
Honorable Treachery G.J.A. O'Toole / Paperback
common.buy 21.51 €
Evolution of HIV Keith A. Crandall / Paperback
common.buy 58.43 €
Mathematics Galore! Christopher Budd / Hardback
common.buy 75.35 €
Norman Hall's Asvab Preparation Book Norman Hall / Paperback
common.buy 19.69 €
China's Crisis and Revolution Through American Lenses, 1944-1949 Peng Deng / Hardback
common.buy 114.42 €
Cash Flow Forecasting Andrew Fight / Paperback
common.buy 58.97 €
I Get By With A Little Help... Bill Rogers / Paperback
common.buy 42.27 €
Criticism Of The Earth: On Marx, Engels And Theology Roland Boer / Paperback
common.buy 46.55 €
Birth Control Clinic in a Marketplace World Rose Holz / Paperback
common.buy 46.55 €

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.

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

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