Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274271
Price: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Aquí qui mana? ANDRE RODRIGUES

Hardback

6 332 Ft

David Gilmour: Luck And Strange David Gilmour

Digital

8 648 Ft

I care - PflegeExamen KOMPAKT

Paperback

18 247 Ft

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

Audio CD

3 591 Ft

Mężczyzna w czerwonym płaszczu Julian Barnes

Hardback

4 206 Ft

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

Board book

3 194 Ft

Noah`s Wunsch nach Zeit und Liebe Stefanie Thomas

Paperback

4 571 Ft

Doppelter Mokka Sigrid Hauff

Hardback

8 675 Ft

Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich

Paperback

10 727 Ft

Taranathas Geschichte des Buddhismus in Indien Anton Schiefner

Paperback

9 364 Ft

Anáfora Bernal Llorente

Paperback

8 546 Ft

Desertor, el Patxi Larraínzar

Paperback

6 549 Ft

Indignación Juan Manuel Villalba Hinojosa

Paperback

3 633 Ft

Yatalak Kralice Ülkü Ayvaz

Paperback

5 070 Ft

Die Frau von gestern Claudia Di Iorio Meier

Paperback

4 543 Ft

Cappuccetto Rosso, m. Audio-CD

Paperback

5 320 Ft

AMAZING SOLOS TRUMPET OR CORNET Howard Harrison

Paperback

10 261 Ft

Ricos Werkstatt. Bd.1 Walter Noona

Sheet music

6 156 Ft

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.