EUR 76,02
  • Tutti i prezzi includono l'IVA.
Disponibilità immediata.
Venduto e spedito da Amazon.
Confezione regalo disponibile.
Quantità:1
Nondeterminism and Langu... è stato aggiunto al tuo carrello
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

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