Automated Theorem Proving

149,00 €
+ 6,99 € Spedizione
  • product image
Dimostrazione automatica del teorema

Automated Theorem Proving

  • Marchio: Unbranded
Venduto da:

Automated Theorem Proving

  • Marchio: Unbranded

149,00 €

Disponibile
+ 6,99 € Spedizione

Politica di reso a 14 giorni

Venduto da:

149,00 €

Disponibile
+ 6,99 € Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

Automated Theorem Proving

Una breve introduzione a COMPILE HERBY e THEO. - Calcolo dei predicati: formule e teoremi ben formati. - COMPILE: trasformazione di formule ben formate in clausole. - Procedure di inferenza. - Dimostrazione di teoremi costruendo alberi semantici chiusi. - Prove di risoluzione-confutazione. - HERBY: Un dimostratore di teoremi di alberi semantici. - Utilizzo di HERBY. - THEO: Un dimostratore di teoremi di risoluzione-confutazione. - Utilizzo di THEO. - Uno sguardo al codice sorgente di HERBY. - Uno sguardo al codice sorgente di THEO. - Altri dimostratori di teoremi. -Referenze. Lingua: Inglese
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Casa editrice/Casa discografica: Springer
  • Data di pubblicazione: 2013/05/24
  • Lingua: Inglese
  • Artista: Neonato di Monty
  • Formato: Libro in brossura
  • ID Fruugo: 337895455-741554795
  • ISBN: 9781461265191

Consegna

Spedito entro 4 giorni

  • STANDARD: 6,99 € - Consegna tra mer 17 giugno 2026–lun 22 giugno 2026

Spedizione da Regno Unito.

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa