Matches in Library of Congress for { <http://lccn.loc.gov/2012016719> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2012016719 contributor B12446417.
- 2012016719 contributor B12446418.
- 2012016719 date "2012".
- 2012016719 description "Includes bibliographical references (pages 289-299) and index.".
- 2012016719 description "Machine generated contents note: 1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda-terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over [lambda]-terms; 8. Unification of [lambda]-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix. The Teyjus system.".
- 2012016719 extent "xiii, 306 pages ;".
- 2012016719 identifier "9780521879408 (hardback)".
- 2012016719 identifier 9780521879408.jpg.
- 2012016719 identifier 2012016719-b.html.
- 2012016719 identifier 2012016719-d.html.
- 2012016719 identifier 2012016719-t.html.
- 2012016719 issued "2012".
- 2012016719 language "eng".
- 2012016719 subject "005.1/15 23".
- 2012016719 subject "COMPUTERS / Programming Languages / General. bisacsh".
- 2012016719 subject "Logic programming.".
- 2012016719 subject "Prolog (Computer program language)".
- 2012016719 subject "QA76.63 .M554 2012".
- 2012016719 tableOfContents "Machine generated contents note: 1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda-terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over [lambda]-terms; 8. Unification of [lambda]-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix. The Teyjus system.".
- 2012016719 title "Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota.".
- 2012016719 type "text".
