TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003) di Basin David; Wolff Burkhart - Bookdealer | I tuoi librai a domicilio
Menu principale

Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.

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

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

Editore: Aracne

Reparto:

ISBN: 9788879995467

Data di pubblicazione: 30/11/1999

Numero pagine: 244

15,00€
Esaurito

Altro

Lexicon. Speciale. Vol. 3: ...
D'Amelio M. G. (cur.); Forn...

Lexicon. Speciale. Vol. 3: ...
32,00 €
Si fa attendere
Una vita condivisa e altro
Paolantonio Giuliana

Una vita condivisa e altro
15,00 €
Si fa attendere
Assisi la bellezza in bicic...
Sciamanna Enrico

Assisi la bellezza in bicic...
20,00 €
Si fa attendere
Perduti nel tempo. Castelli...
Raggetti Francesco; Sorcini...

Perduti nel tempo. Castelli...
30,00 €
Facile da trovare
Unità 5. Le piramidi di numeri
Navarra Giancarlo; Giacomin...

Unità 5. Le piramidi di numeri
14,00 €
Si fa attendere
Io l'ho amata
Giglio Josefina

Io l'ho amata
18,00 €
Si fa attendere
Sfogliando il calendario
Burroni Giannoulidis Daniela

Sfogliando il calendario
16,00 €
Si fa attendere
Racconti di campagna. Ediz....
Barbara Antonietta Fabiani

Racconti di campagna. Ediz....
15,00 €
Si fa attendere
Del sangue e del tempo. Vit...
Cortese Stefano

Del sangue e del tempo. Vit...
15,00 €
Facile da trovare
Costruisco la letto-scrittu...
Crispiani Piero

Costruisco la letto-scrittu...
10,00 €
Si fa attendere
Una semplice storia italiana
Tumino Emanuele

Una semplice storia italiana
26,00 €
Facile da trovare
Vite a confronto
Bertellini Maria Rosa

Vite a confronto
16,00 €
Si fa attendere
Nec nomine. Nell'Argentina ...
Francesconi M. (cur.); Scot...

Nec nomine. Nell'Argentina ...
12,00 €
Si fa attendere
Lo schiavo di Alender
Agostinelli Vittoria

Lo schiavo di Alender
16,90 €
Si fa attendere
In cucina con Adriana
Bellicchi Elisa

In cucina con Adriana
15,00 €
Si fa attendere
Come una fenice
Seddone Cinzia Angela

Come una fenice
13,00 €
Si fa attendere
Spettri di pietra
Corigliano Francesco; Ortol...

Spettri di pietra
16,90 €
Si fa attendere
Capodimonte. Guida alla sco...
Di Stefano Rosella

Capodimonte. Guida alla sco...
13,00 €
Si fa attendere
Pe' corpa de Pasquino. Sone...
Volpi Valerio

Pe' corpa de Pasquino. Sone...
12,00 €
Si fa attendere
Elisir
Togni Giulio

Elisir
12,00 €
Si fa attendere
Pianeta Amore. Ediz. illust...
Puddu Lisetta

Pianeta Amore. Ediz. illust...
13,00 €
Facile da trovare

Prodotti Correlati

Il marketing nella P.A.: da...
Intonti Napoleone

Il marketing nella P.A.: da...
19,00 €
Si fa attendere
Michelangelo si racconta. I...
Sarotto Michelangelo; Sarot...

Michelangelo si racconta. I...
17,00 €
Si fa attendere
Gisella. Volevo essere felice
Borioli Gisella

Gisella. Volevo essere felice
30,00 €
Si fa attendere
I burattini Losa. Una stori...
Loglio L. (cur.)

I burattini Losa. Una stori...
8,00 €
Si fa attendere
Storie, donne e uomini del ...
Petagna Edoardo

Storie, donne e uomini del ...
15,50 €
Si fa attendere
Intelligenze artificiali e ...
D'Antoni C. (cur.); Michiel...

Intelligenze artificiali e ...
12,00 €
Facile da trovare
Esercitazioni pratiche di l...
Di Tella Mario

Esercitazioni pratiche di l...
49,50 €
Si fa attendere
I'll give you Rome. Guide w...
Pompei Fabio

I'll give you Rome. Guide w...
15,00 €
Si fa attendere
Progettar mostrando. Reflec...
Marras Nicola

Progettar mostrando. Reflec...
18,00 €
Si fa attendere
La Romagna che ho nel cuore
Genghini Laura

La Romagna che ho nel cuore
17,00 €
Facile da trovare
Pistole sulla scena del cri...
Redaelli Dario

Pistole sulla scena del cri...
17,50 €
Si fa attendere
Tocca a te! Matematica. Ver...
Marchi Maria Pia; Pessotto ...

Tocca a te! Matematica. Ver...
7,50 €
Si fa attendere
Tocca a te! Italiano. Verso...
Prete Chiara

Tocca a te! Italiano. Verso...
7,50 €
Si fa attendere
Il non detto di Kant e l'Op...
Franco Antonello

Il non detto di Kant e l'Op...
16,00 €
Si fa attendere
L'amore forte. Ballate di u...
Catani Claudia

L'amore forte. Ballate di u...
16,00 €
Si fa attendere
Io e la belva. Sopravvivere...
Altomare Fernanda

Io e la belva. Sopravvivere...
14,50 €
Si fa attendere
La mirabolante storia di Pa...
Trovalusci Paolo

La mirabolante storia di Pa...
14,00 €
Si fa attendere
Dal potere alla paura. Crim...
Tallarita Anna Luana

Dal potere alla paura. Crim...
15,00 €
Si fa attendere
Gesù e l'amico. Memoriale d...
Corbari Giuseppe

Gesù e l'amico. Memoriale d...
28,00 €
Si fa attendere
Quando
Montanari Daniela

Quando
15,00 €
Si fa attendere
V-Angeli
Gesualdi Amanda

V-Angeli
19,50 €
Si fa attendere
Le quartine perenni per il ...
Giovanni Lena

Le quartine perenni per il ...
16,00 €
Si fa attendere
La strada racconta. La Via ...
Bonechi Luca

La strada racconta. La Via ...
20,00 €
Si fa attendere
Nel silenzio perfetto
Crapanzano Mirella

Nel silenzio perfetto
13,00 €
Si fa attendere
Mostra altri

Recensioni dei lettori

5% di sconto sul tuo primo ordine

Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.