Udvidet returret til d. 31. januar 2025

Isabelle/HOL - Tobias Nipkow - Bog

- A Proof Assistant for Higher-Order Logic

Bag om Isabelle/HOL

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540433767
  • Indbinding:
  • Paperback
  • Sideantal:
  • 226
  • Udgivet:
  • 3. april 2002
  • Udgave:
  • 2002
  • Størrelse:
  • 157x235x19 mm.
  • Vægt:
  • 370 g.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Isabelle/HOL

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.

Brugerbedømmelser af Isabelle/HOL



Find lignende bøger
Bogen Isabelle/HOL findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.