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

Generalmente spedito entro 2-3 giorni

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 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

Generalmente spedito entro 8-9 giorni

Addebito in c/c Visa Mastercard

60,13 €

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 2-3 settimane

Addebito in c/c Visa Mastercard

63,01 €

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

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 6 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-marketplace.it . Lì puoi effettuare l'ordine per l'offerto.
Con un totale di 6 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-marketplace.it accetta Addebito in c/c, Visa, Mastercard.
Consegna: il tempo di consegna più veloci è offerto dallo shop amazon-marketplace.it con Generalmente spedito entro 2-3 giorni giorni lavorativi.

Higher-Order Logic and Type Theory

21,85 €

8 prezzi

Amazon.it

Spedizione da 2,70 €

Properties and Propositions: The Metaphysics of Higher-Order Logic

31,55 €

6 prezzi

Amazon.it

Spedizione gratuita

Superposition for Higher-order Logic: 16088

117,69 €

Vai al negozio

Amazon.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

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