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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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

15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Laurent Fribourg
Libristo code: 01563752
Publishers Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Full description
? points 271 b
39 688 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Fit fur... - Deutschprufung fur Jugendliche Carmen Cristache / Book Paperback
common.buy 13 279 Ft
Du bist mein dunkelstes Ich Nagler Felicitas Nagler / Book Paperback
common.buy 4 557 Ft
Compliance als Chefsache Nicola Schmidt / Book Paperback
common.buy 15 594 Ft
Affordable
Oftalmología y Acupuntura, estudio experimental Joelson Cavalcanti / Book Paperback
common.buy 16 958 Ft
Vollstaendiges Namen- Und Sachregister Zu Schlosser's Geschichte, Fuenfte Auflage Friedrich Christoph Schlosser / Book Paperback
common.buy 7 386 Ft
El Cordero de Isaias Pedro Caldern De La Barca / Book Paperback
common.buy 5 907 Ft
Das Buch der Stille Sara Maitland / Book Hardback
common.buy 8 675 Ft
Genealogie de la Maison d'Anglars En Limousin Et En Auvergne DE RIBIER-L / Book Paperback
common.buy 5 934 Ft

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

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 Laurent Fribourg
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 628
EAN 9783540425540
ISBN 3540425543
Libristo code 01563752
Publishers Springer, Berlin
Weight 875
Dimensions 155 x 235 x 32

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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

Analog Signal Processing Peter B. Aronhime / Book Hardback
common.buy 41 699 Ft
Symmetry and Combinatorial Enumeration in Chemistry Shinsaku Fujita / Book Paperback
common.buy 29 210 Ft
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Book Paperback
common.buy 5 084 Ft
The Mouse Princess 2: A Race Against Time: The Adventures of Dredge and Sledge: This year, Two unlikely heroes will emerge from unexpected p Simon Kang / Book Paperback
common.buy 3 956 Ft
Collected Schizophrenias Esme Wang / Book Paperback
common.buy 5 260 Ft
Infectious Diseases - A Geographic Guide 2e ESKILD PETERSEN / Book Paperback
common.buy 36 933 Ft
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Book Hardback
common.buy 80 448 Ft
Chip Dude From Outer Space Sandi Johnson / Book Paperback
common.buy 4 996 Ft
Box In The Attic & Other Stories A M Burrage / E-book Adobe ePub DRM
common.buy 5 435 Ft
Top
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Book Hardback
common.buy 16 911 Ft
Christmas Coloring Book for Kids Ages 4-8: 50 Christmas Coloring Pages for Kids K Imagine Education / Book Paperback
common.buy 2 930 Ft
Its A Bugs World Baby Professor / Book Paperback
common.buy 4 442 Ft
Oversight of the Federal Communications Commission United States Congress / Book Paperback
common.buy 8 458 Ft
A Moment of War Laurie Lee / Book Paperback
common.buy 5 731 Ft
African Safari Planning Map Mark W. Nolting / Printed items Map
common.buy 4 469 Ft
Walking Erling Kagge / Book Paperback
common.buy 4 280 Ft
Harry Potter Paper Models Moira Squier / Stationery items Stationery items
common.buy 7 594 Ft
How To Be a Stoic Epictetus / Book Paperback
common.buy 3 120 Ft
Legal Framework for Delivery of Public Private Partnership Projects MARY SHEHU MOHAMMED / Book Paperback
common.buy 26 571 Ft
Design Principles for Photography Jeremy Webb / Book Hardback
common.buy 80 448 Ft
Art Activities ROSIE HORE / Book Paperback
common.buy 4 030 Ft
ETF Investing for Market Wizards! Warren Bell / Book Paperback
common.buy 7 284 Ft
Dance With The Devil Laura Shenton / Book Paperback
common.buy 6 845 Ft
Astea Renee Greene / Book Paperback
common.buy 2 930 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?