Name: TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003) Miglior Prezzo
Brand: Aracne
SKU: SK0252554
Price: 7.80 EUR
Availability: InStock

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

Pagamenti sicuri Carta, PayPal e checkout protetto

Spedizione gratuita da 59,60 € Consegna rapida in tutta Italia

Supporto rapido Assistenza su ordini e spedizioni

Descrizione

TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003). TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
Dettagli Bibliografici
EAN ISBN-13:9788879995467
ISBN-10:8879995464
Titolo:TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
Autore: David Basin , Burkhart Wolff
Editore:Aracne
Data Pubblicazione:2003
Pagine:244
Classificazione:Filosofia