Dettaglio del documento Condividi Trova il documento in altre risorse ???scheda.servizi.button??? Rimuovi dalla lista Aggiungi alla lista Permalink Il permalink è stato copiato, puoi utilizzarlo immediatamente.E’ sufficiente premere i tasti “Ctrl+v” per posizionarlo dove preferite. Facebook Twitter Isabelle Nipkow, Tobias <1958- > 2002 Scrivi una recensione e condividila con gli altri lettori. Lo trovi in Scheda Unimarc Testo a stampa (moderno) Monografia Codice SBN RMS0153517 Descrizione *Isabelle / HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus WenzelBerlin : Springer, c2002XIII, 218 p. ; ill. ; 23 cm Note Nella pref.: Higher-Order Logic (HOL) ISBN 9783540433767 3540433767 OCLC 1277421530 Collana Lecture notes in computer science , 2283 Primo Autore Nipkow, Tobias <1958- > Coautore Paulson, Lawrence P. Wenzel, Markus Anno pubblicazione 2002 https://sol.unibo.it/SebinaOpac/resource/UBO02282846
