Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521083034> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1521083034 abstract "Part I. Tutorial: 1. Introduction to ML 2. The HOL logic 3. Introduction to proof with HOL 4. Goal-oriented proof: tactics and tacticals 5. Example: a simple parity checker 6. How to program a proof tool 7. Example: the binomial theorem Part II. The Meta-Language ML: 8. The history of ML 9. Introduction and examples 10. Syntax of ML 11. Semantics of ML 12. ML types 13. Primitive ML identifier bindings 14. General purpose and list processing functions 15. ML system functions Part III. The Hol Logic: 16. Syntax and semantics 17. Theories Part IV. The Hol System: 18. The HOL logic in ML Part V. Theorem-Proving With HOL: 19. Derived inference rules 20. Conversions 21. Goal-directed proof: tactics and tacticals Appendices." @default.
- W1521083034 created "2016-06-24" @default.
- W1521083034 creator A5002029908 @default.
- W1521083034 creator A5015518667 @default.
- W1521083034 date "1993-08-01" @default.
- W1521083034 modified "2023-10-10" @default.
- W1521083034 title "Introduction to HOL: a theorem proving environment for higher order logic" @default.
- W1521083034 hasPublicationYear "1993" @default.
- W1521083034 type Work @default.
- W1521083034 sameAs 1521083034 @default.
- W1521083034 citedByCount "604" @default.
- W1521083034 countsByYear W15210830342012 @default.
- W1521083034 countsByYear W15210830342013 @default.
- W1521083034 countsByYear W15210830342014 @default.
- W1521083034 countsByYear W15210830342015 @default.
- W1521083034 countsByYear W15210830342016 @default.
- W1521083034 countsByYear W15210830342017 @default.
- W1521083034 countsByYear W15210830342018 @default.
- W1521083034 countsByYear W15210830342019 @default.
- W1521083034 countsByYear W15210830342020 @default.
- W1521083034 countsByYear W15210830342021 @default.
- W1521083034 crossrefType "book" @default.
- W1521083034 hasAuthorship W1521083034A5002029908 @default.
- W1521083034 hasAuthorship W1521083034A5015518667 @default.
- W1521083034 hasConcept C102993220 @default.
- W1521083034 hasConcept C108710211 @default.
- W1521083034 hasConcept C114408938 @default.
- W1521083034 hasConcept C118615104 @default.
- W1521083034 hasConcept C154945302 @default.
- W1521083034 hasConcept C169896238 @default.
- W1521083034 hasConcept C17435882 @default.
- W1521083034 hasConcept C184337299 @default.
- W1521083034 hasConcept C199360897 @default.
- W1521083034 hasConcept C203265346 @default.
- W1521083034 hasConcept C206880738 @default.
- W1521083034 hasConcept C2524010 @default.
- W1521083034 hasConcept C33923547 @default.
- W1521083034 hasConcept C41008148 @default.
- W1521083034 hasConcept C60048249 @default.
- W1521083034 hasConcept C80444323 @default.
- W1521083034 hasConceptScore W1521083034C102993220 @default.
- W1521083034 hasConceptScore W1521083034C108710211 @default.
- W1521083034 hasConceptScore W1521083034C114408938 @default.
- W1521083034 hasConceptScore W1521083034C118615104 @default.
- W1521083034 hasConceptScore W1521083034C154945302 @default.
- W1521083034 hasConceptScore W1521083034C169896238 @default.
- W1521083034 hasConceptScore W1521083034C17435882 @default.
- W1521083034 hasConceptScore W1521083034C184337299 @default.
- W1521083034 hasConceptScore W1521083034C199360897 @default.
- W1521083034 hasConceptScore W1521083034C203265346 @default.
- W1521083034 hasConceptScore W1521083034C206880738 @default.
- W1521083034 hasConceptScore W1521083034C2524010 @default.
- W1521083034 hasConceptScore W1521083034C33923547 @default.
- W1521083034 hasConceptScore W1521083034C41008148 @default.
- W1521083034 hasConceptScore W1521083034C60048249 @default.
- W1521083034 hasConceptScore W1521083034C80444323 @default.
- W1521083034 hasLocation W15210830341 @default.
- W1521083034 hasOpenAccess W1521083034 @default.
- W1521083034 hasPrimaryLocation W15210830341 @default.
- W1521083034 hasRelatedWork W1484366641 @default.
- W1521083034 hasRelatedWork W1497011154 @default.
- W1521083034 hasRelatedWork W1498523273 @default.
- W1521083034 hasRelatedWork W1503170978 @default.
- W1521083034 hasRelatedWork W1508641834 @default.
- W1521083034 hasRelatedWork W1534850143 @default.
- W1521083034 hasRelatedWork W1560253649 @default.
- W1521083034 hasRelatedWork W1586167239 @default.
- W1521083034 hasRelatedWork W1590828018 @default.
- W1521083034 hasRelatedWork W1597068544 @default.
- W1521083034 hasRelatedWork W1601195943 @default.
- W1521083034 hasRelatedWork W1829244603 @default.
- W1521083034 hasRelatedWork W1996404651 @default.
- W1521083034 hasRelatedWork W2080267935 @default.
- W1521083034 hasRelatedWork W2084797476 @default.
- W1521083034 hasRelatedWork W2099078002 @default.
- W1521083034 hasRelatedWork W2106192381 @default.
- W1521083034 hasRelatedWork W2128057448 @default.
- W1521083034 hasRelatedWork W2913459036 @default.
- W1521083034 hasRelatedWork W3146075203 @default.
- W1521083034 isParatext "false" @default.
- W1521083034 isRetracted "false" @default.
- W1521083034 magId "1521083034" @default.
- W1521083034 workType "book" @default.