Springer Nature
Higher Order Logic Theorem Proving And Its Applications-image

Higher Order Logic Theorem Proving And Its Applications

Leggi la descrizione completa
Miglior prezzo disponibile
54,99$
Springer Nature
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 54,99$

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Higher Order Logic Theorem Proving And Its Applications 39,99$ Theorem Proving In Higher Order Logics 54,99$ First-Order Logic And Automated Theorem Proving 99,00$ Gleason's Theorem And Its Applications 139,99$ Logic And Its Applications 69,99$