Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274271

Casa editrice Springer, Berlin, novembre 1991

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

Codice Libristo: 05274271

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Serpent 2011 - Prévisions & Feng Shui Too

Libro

11.59 €

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

Leporello

9.19 €

Aquí qui mana? ANDRE RODRIGUES

Rigido

16.69 €

Wort-Klänge alte und neue Psalmen Dirk Schmalenbach

CD audio

14.59 €

Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich

In brossura

28.99 €

MARCUS POCUS 5. LA FUGIDA DE LES MASCOTES MAÑAS

Libro

12.49 €

David Gilmour: Luck And Strange David Gilmour

Digitale

23.29 €

Negocios Ligeros Henry Allen

In brossura

8.89 €

Kovboj na útěku Marie Hamáková

Rigido

13.69 €

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

CD audio

9.99 €

Mężczyzna w czerwonym płaszczu Julian Barnes

Rigido

10.69 €

Original Album Classics Mountain

CD audio

30.69 €

Taranathas Geschichte des Buddhismus in Indien Anton Schiefner

In brossura

25.29 €

Anáfora Bernal Llorente

In brossura

22.59 €

Desertor, el Patxi Larraínzar

In brossura

16.29 €

Indignación Juan Manuel Villalba Hinojosa

In brossura

9.49 €

Yatalak Kralice Ülkü Ayvaz

In brossura

13.00 €

Die Frau von gestern Claudia Di Iorio Meier

In brossura

12.39 €

Cappuccetto Rosso, m. Audio-CD

In brossura

13.99 €

AMAZING SOLOS TRUMPET OR CORNET Howard Harrison

In brossura

26.19 €

Doppelter Mokka Sigrid Hauff

Rigido

23.39 €

Ricos Werkstatt. Bd.1 Walter Noona

Note

15.29 €

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.