Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
Silvio Ghilardi
Al momento non disponibile, ordinabile in 3 settimane circa
Dettagli Libro
- Titolo: Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
- Autore: Silvio Ghilardi
- Curatore:
- Traduttore:
- Illustratore:
- Editore: Polimetrica
- Collana: PROSPETTIVA DELLA RICERCA LOGICA
- Data di Pubblicazione: 2004
- Pagine: 176
- Formato:
- ISBN: 9788876990069
- Matematica - Matematica
Libri che ti potrebbero interessare
Le vendite speciali. Televendite. Commer...
G. Sicchiero
Maria serva del Signore e della nuova al...
Serra Aristide
Prete e mondo d'oggi. Dal post-cristiano...
Amedeo Cencini
Francesco Maria Vassallo. La carezza del...
F. Armenti
Dispositivi transculturali per la cura d...
M. Castiglioni, E. Riva, P. Inghilleri
*LE RETI DI IMPRESE E I CONTRATTI DI RET
Paola Iamiceli
I libri più cercati
-
Il re dei ladri
Cornelia Funke -
Artquiz simulazioni. Test di ammissione a: medicin...
-
Il metodo di lavoro libero per gruppi
F. De Bartolomeis, Roger Cousinet, Francesco De Bartolomeis -
La mosca Verdolina e altre storie per chi non vuol...
Giorgio Parisi -
Sulla pietra
Fred Vargas
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia