- Libreria
- >
- Libri
- >
- Matematica e scienze
- >
- Logica matematica
- >
- Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella...
Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità - 9788876990069
di Silvio Ghilardi edito da Polimetrica, 2004
- Prezzo di Copertina: € 18.00
- € 23.00
-
A causa delle condizioni di fornitura offerte dall'editore/fornitore
siamo costretti ad aumentare di € 5.00 il costo del prodotto
Informazioni bibliografiche del Libro
- Titolo del Libro: Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
- Autore: Silvio Ghilardi
- Editore: Polimetrica
- Collana: Prospettiva della ricerca logica
- Data di Pubblicazione: 2004
- Genere: matematica
- Argomento : Logica matematica
- Pagine: 176
- ISBN-10: 8876990062
- ISBN-13: 9788876990069
Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità: Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
Recensioni Scrivi la tua recensione del libro "Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità"
Recensioni Scrivi la tua recensione del libro "Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità"