Ricerca Veloce:    
Ricerca Avanzata
 

The Clausal Theory of Types

The Clausal Theory of Types

di D. A. Wolfram

  • Prezzo: € 26.93
Spedizione gratuita  Promozione: questo prodotto ha diritto alla spedizione gratuita (Leggi i dettagli)
Normalmente disponibile in 6/7 giorni lavorativi
Aggiungi al carrello

Spedizione gratuita sopra i 19€

Descrizione

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

Dettagli del libro

Recensioni degli utenti

Scrivi una nuova recensione su The Clausal Theory of Types e condividi la tua opinione con altri utenti.

Ultimi prodotti visti