Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Isabelle/HOL
- A Proof Assistant for Higher-Order Logic
- Indbinding:
- Paperback
- Sideantal:
- 226
- Udgivet:
- 3. april 2002
- Udgave:
- 2002
- Størrelse:
- 157x235x19 mm.
- Vægt:
- 370 g.
-
BLACK WEEK
Gratis fragt
Leveringstid:
8-11 hverdage
Forventet levering: 11. december 2024
Forlænget returret til d. 31. januar 2025
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Isabelle/HOL findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
