Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274587
Price: 53.79 EUR
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

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

Hans Kleine Buening

Language

English

Book Paperback

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

Libristo code: 05274587

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain

Paperback

12.90 €

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand

Audio CD

11.39 €

Asphalt Tribe Morton Rhue

Paperback

8.99 €

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick

Paperback

43.90 €

besten und verrucktesten Kneipen-Namen Dieter Auer

Paperback

10.90 €

Wichtel Nick Admar Kwant

Board book

12.00 €

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller

Paperback

66.39 €

Erfolgreich verhandeln Jörg Kupjetz

Paperback

32.90 €

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.