TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)

EAN

9788879995467

Data pubblicazione

2003 01 01

Lingua

eng

Pagine

244

Tipologia

Libro in brossura

Come si presenta questo libro

Narrativa che punta sui personaggi e sul racconto

Un titolo pensato per chi cerca una storia ben costruita, con un ingresso abbastanza naturale nel mondo del libro e nella voce narrativa.

Cosa trovi dentro

Un titolo pensato per chi cerca una storia ben costruita, con un ingresso abbastanza naturale nel mondo del libro e nella voce narrativa.

Perché può piacerti

Funziona bene per chi vuole entrare in una storia senza attriti inutili, lasciando che siano personaggi, atmosfera e sviluppo a guidare la lettura.

Ideale per
Ideale per chi ama la narrativa

Funziona bene per chi vuole entrare in una storia senza attriti inutili, lasciando che siano personaggi, atmosfera e sviluppo a guidare la lettura.

Product Information

Shipping & Returns

Edizione
Acquisto
Non disponibile
From €15.00
TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
€15.00