Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

30 giorni per il reso

I clienti hanno acquistato anche

Aquí qui mana? ANDRE RODRIGUES

Rigido

17.69 €

David Gilmour: Luck And Strange David Gilmour

Digitale

25.29 €

I care - PflegeExamen KOMPAKT

In brossura

49.29 €

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

CD audio

9.99 €

Mężczyzna w czerwonym płaszczu Julian Barnes

Rigido

12.29 €

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

Leporello

9.39 €

Noah`s Wunsch nach Zeit und Liebe Stefanie Thomas

In brossura

12.29 €

Doppelter Mokka Sigrid Hauff

Rigido

23.39 €

Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich

In brossura

28.99 €

Taranathas Geschichte des Buddhismus in Indien Anton Schiefner

In brossura

25.29 €

Anáfora Bernal Llorente

In brossura

23.79 €

Desertor, el Patxi Larraínzar

In brossura

19.09 €

Indignación Juan Manuel Villalba Hinojosa

In brossura

10.09 €

Yatalak Kralice Ülkü Ayvaz

In brossura

13.69 €

Die Frau von gestern Claudia Di Iorio Meier

In brossura

13.29 €

Cappuccetto Rosso, m. Audio-CD

In brossura

14.79 €

AMAZING SOLOS TRUMPET OR CORNET Howard Harrison

In brossura

29.89 €

Ricos Werkstatt. Bd.1 Walter Noona

Note

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.