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

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Hans Kleine Buening
Libristo code: 05274587
Publishers Springer, Berlin, November 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Full description
? points 125 b
51.76 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Erfolgreich verhandeln Jörg Kupjetz / Book Paperback
common.buy 29.47 €
Internationales Verzeichnis der Monogramme bildender Kunstler des 19. und 20. Jahrhunderts / International List of Monograms in the Visual Arts of the Paul Pfisterer / Book Hardback
common.buy 437.01 €
Grippe, Cholera und Pest Dieter Kiepenkracher / Book Paperback
common.buy 9.11 €
Asphalt Tribe Morton Rhue / Book Paperback
common.buy 8.30 €
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / Audio Audio CD
common.buy 10.93 €
1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / Book Paperback
common.buy 11.74 €
Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick / Book Paperback
common.buy 39.30 €
besten und verrucktesten Kneipen-Namen Dieter Auer / Book Paperback
common.buy 9.92 €
Wichtel Nick Admar Kwant / Book Board book
common.buy 10.53 €
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / Book Paperback
common.buy 74.55 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

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 Hans Kleine Buening
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 492
EAN 9783540613770
ISBN 3540613773
Libristo code 05274587
Publishers Springer, Berlin
Weight 659
Dimensions 156 x 234 x 25

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Systems analysis & design
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

Conversations with Erskine Caldwell Edwin T. Arnold / Book Paperback
common.buy 33.72 €
Embracing Midlife Lynne M. Baab / Book Paperback
common.buy 32.10 €
Chicana and Chicano Art Carlos Francisco Jackson / Book Paperback
common.buy 28.86 €
Things Good Girls Don't Do Codi Gary / Book Paperback
common.buy 8.70 €
The Original Adventures of Hank the Cowdog John R. Erickson / Book Hardback
common.buy 12.86 €
Being Modern in Iran Fariba Adelkhah / Book Hardback
common.buy 41.52 €
Botanical Medicine in Clinical Practice Victor Preedy / Book Hardback
common.buy 415.44 €
Coming soon
Augustine Gillian Clark / Book Hardback
common.buy 156.91 €
Handbook of Colorectal Surgery David Beck / Book Hardback
common.buy 100.79 €
Nietzsche: A Complete Introduction: Teach Yourself Roy Jackson / Book Paperback
common.buy 14.27 €
Legal Practice in Ayr and the West of Scotland in the Fifteenth and Sixteenth Centuries: A Study in Economic History. David Murray / Book Paperback
common.buy 20.15 €
Garden of Thorns: A novel of romantic suspense Lillian Stewart Carl / Book Paperback
common.buy 14.78 €
Understanding and Reducing Landslide Disaster Risk: Volume 3 Monitoring and Early Warning Nicola Casagli / Book Hardback
common.buy 164.81 €
Handbook of Neurochemistry and Molecular Neurobiology Abel Lajtha / Book Hardback
common.buy 175.85 €
Numerical Integration T.O. Espelid / Book Hardback
common.buy 103.22 €

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?