Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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 :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274271
Price: 53.79 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540557890

5th Workshop on Computer Science Logic, CSL '91, Berne, Switzerland Germany, September 28 - October 2, 1992. Selected Papers

Language

English

Book Paperback

Libristo code: 05274271

Publishers Springer, Berlin, November 1991

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the Uni... Full description

Libristo code: 05274271

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

Aquí qui mana? ANDRE RODRIGUES

Hardback

22.09 €

David Gilmour: Luck And Strange David Gilmour

Digital

36.99 €

I care - PflegeExamen KOMPAKT

Paperback

50.00 €

El Sermón del Padre Guarnus JOSE R. ANTON DEL LLANO

Audio CD

9.99 €

Mężczyzna w czerwonym płaszczu Julian Barnes

Hardback

12.29 €

Velká knížka NA statku pro malé vypravěče Max Walther

Board book

9.39 €

Noah`s Wunsch nach Zeit und Liebe Stefanie Thomas

Paperback

12.95 €

Doppelter Mokka Sigrid Hauff

Hardback

24.90 €

Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich

Paperback

30.90 €

Taranathas Geschichte des Buddhismus in Indien Anton Schiefner

Paperback

26.90 €

Anáfora Bernal Llorente

Paperback

24.79 €

Desertor, el Patxi Larraínzar

Paperback

19.09 €

Indignación Juan Manuel Villalba Hinojosa

Paperback

10.59 €

Yatalak Kralice Ülkü Ayvaz

Paperback

13.69 €

Die Frau von gestern Claudia Di Iorio Meier

Paperback

13.29 €

Cappuccetto Rosso, m. Audio-CD

Paperback

15.49 €

AMAZING SOLOS TRUMPET OR CORNET Howard Harrison

Paperback

29.89 €

Ricos Werkstatt. Bd.1 Walter Noona

Sheet music

18.09 €

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.