CURRENTLY SOLD OUT

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings by Laurent Fribourg (Paperback, 2001)

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540425540
eBay Product ID (ePID)
96558875

Product Key Features

Author
Laurent Fribourg
Publication Name
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2001
Type
Textbook
Number of Pages
628 Pages

Dimensions

Item Height
233mm
Item Width
155mm
Volume
2142
Item Weight
1930g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Laurent Fribourg
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
No ratings or reviews yet.
AU $59.41 New
---- Used
Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.59 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $14.99 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $121.71
The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book
AU $322.59
Trending at AU $334.37
Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)
AU $50.71
Trending at AU $57.09
Steven Holzner Physics Essentials For Dummies (Paperback)
AU $25.30
Trending at AU $27.74
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.47
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.59
Trending at AU $45.30

Shop by category

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings by Laurent Fribourg (Paperback, 2001)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach

The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book

Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)

Steven Holzner Physics Essentials For Dummies (Paperback)

Havard's Nursing Guide to Drugs

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

You may also like

France Paperback Maps & Atlases

Annual Magazines

Logic Paperback Adult Learning & University Books

Paperbacks International Edition

Logic Non-Fiction Paperback Fiction & Books

Science Fiction Fiction Paperback Fiction & Books