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: 05274327
Price: 53.79 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540569923

6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274327

Casa editrice Springer, Berlin, novembre 1992

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, I... Descrizione completa

Codice Libristo: 05274327

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Eleonore von Aquitanien und ihre Nachkommen Jennifer A.

In brossura

15.09 €

Reis door Nieuw-Grenada en Venezuela De Aarde en haar Volken, 1887 Jules Crevaux

Rigido

18.79 €

Die unendliche Geschichte, Hörspielbox, 3 Audio-CDs Michael Ende

CD audio

14.89 €

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form.Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.