EUR 76,02
  • Tutti i prezzi includono l'IVA.
Disponibilità immediata.
Venduto e spedito da Amazon.
Confezione regalo disponibile.
Quantità:1
Ne hai uno da vendere?
Passa al retro Passa al fronte
Ascolta Riproduzione in corso... In pausa   Stai ascoltando un campione dell'edizione audio udibile.
Maggiori informazioni
Visualizza tutte le 2 immagini

Nondeterminism and Language Design in Deep Inference: A Proof Theoretic Approach to Logic Programming (Inglese) Copertina flessibile – 3 lug 2012


Visualizza tutti i formati e le edizioni Nascondi altri formati ed edizioni
Prezzo Amazon Nuovo a partire da Usato da
Copertina flessibile, 3 lug 2012
"Ti preghiamo di riprovare"
EUR 76,02
EUR 73,11

Offerte speciali e promozioni

  • Promozione agende 2015: fino al 10 gennaio, con un acquisto in libri, ti regaliamo un codice promozionale del valore di 5 EUR su una selezione di agende e diari 2015. Dettagli (Soggetto a termini e condizioni)

Descrizione prodotto

L'autore

Obtained a BSc in mathematics and a PhD in computer science. He worked as a researcher at Imperial College in collaboration with Microsoft Research Cambridge in a joint project on systems biology, and at The Microsoft Research – University of Trento COSBI. His main research interests include proof theory, formal methods and their applications.


Dettagli prodotto

Recensioni clienti

Non sono ancora presenti recensioni clienti.
5 stelle
4 stelle
3 stelle
2 stelle
1 stella

Ricerca articoli simili per categoria