Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings - cover
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings - cover
LIBRO INGLESE

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Silvio Ghilardi (Curatore) ,
Roberto Sebastiani (Curatore)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
67,50 € +680 punti Effe
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Klarna
Dati e Statistiche
Salvato in 0 liste dei desideri
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Disponibilità in 2 settimane
67,50 €
67,50 €
Disponibilità in 2 settimane

Descrizione


This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Dettagli

Pagine:
383 p.
Testo in English
Dimensioni:
235 x 155 mm
EAN:
9783642042218

Questo prodotto lo trovi anche

Libri in inglese Science, Computer & Technology Computer Computer General Computer Science
Libri in inglese Science, Computer & Technology Computer Applications & Software Software Development & Engineering / General
Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it

​