Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Prezzo totale più basso

Disponibilità immediata. Disponibile consegna express con Amazon Prime.

Addebito in c/c Visa Mastercard

53,49 €

Spedizione gratuita

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Prezzo più basso

Disponibilità immediata

Addebito in c/c Visa Mastercard

53,49 €

Spedizione da 18,00 €

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Generalmente spedito entro 9-10 giorni

Addebito in c/c Visa Mastercard

56,23 €

Spedizione gratuita

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Generalmente spedito entro 3-4 giorni

Addebito in c/c Visa Mastercard

57,93 €

Spedizione da 2,90 €

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Disponibilità immediata

Addebito in c/c Visa Mastercard

83,26 €

Spedizione gratuita

🤖 Chiedi a ChatGPT

💡 Ne vale la pena? 🔁 Ci sono alternative migliori? ⭐ Cosa ne pensano gli utenti?

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 - Dettagli

▶ Trova sempre il prezzo più conveniente!

Abbiamo trovato 5 prezzi per Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 La nostra lista dei prezzi è sempre trasparente e visualizzata in ordine crescente di prezzo. Possono aggiungersi costi di spedizione.

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 - Informazioni sul prezzo

Prezzo più basso: 53,49 €
Il prezzo più basso è offerto dallo shop Amazon.it . Lì puoi effettuare l'ordine per l'offerto.
Con un totale di 5 offerte, la variazione di prezzo per Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 oscilla tra 53,49 €€ - 83,26 €€.
Metodi di pagamento: Amazon.it accetta Addebito in c/c, Visa, Mastercard.
Consegna: il tempo di consegna più veloci è offerto dallo shop Amazon.it con Disponibilità immediata. Disponibile consegna express con Amazon Prime. giorni lavorativi.

Higher-Order Logic and Type Theory

21,31 €

8 prezzi

amazon-marketplace.it

Spedizione gratuita

Superposition for Higher-order Logic: 16088

117,69 €

Vai al negozio

Amazon.it

Spedizione gratuita

J. Lambek P. J. Scott Introduction to Higher-Order Categorical Logic (Tascabile)

98,03 €

Vai al negozio

ebay.it

Spedizione gratuita

T. F. Melham Higher Order Logic and Hardware Verification (Tascabile)

62,33 €

Vai al negozio

ebay.it

Spedizione gratuita

Chad E. Brown Automated Reasoning in Higher-order Logic (Tascabile)

39,51 €

Vai al negozio

ebay.it

Spedizione gratuita

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780

🤖 Chiedi a ChatGPT

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 - Dettagli

▶ Trova sempre il prezzo più conveniente!

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 - Informazioni sul prezzo

Prodotti simili

Offerta più conveniente

Informazioni sugli aggiornamenti