Matches in Library of Congress for { <http://lccn.loc.gov/92045893> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 92045893 alternative "Lōgic, réduction, résolution. English".
- 92045893 contributor B6664328.
- 92045893 created "c1993.".
- 92045893 date "1993".
- 92045893 date "c1993.".
- 92045893 dateCopyrighted "c1993.".
- 92045893 description "Includes bibliographical references (p. 370-377) and index.".
- 92045893 extent "xi, 387 p. :".
- 92045893 identifier "0137700091".
- 92045893 isPartOf "Prentice Hall international series in computer science".
- 92045893 issued "1993".
- 92045893 issued "c1993.".
- 92045893 language "eng fre".
- 92045893 language "eng".
- 92045893 publisher "Paris : Masson ; Hemel, Hempstead ; Englewood Cliffs, NJ : Prentice Hall,".
- 92045893 subject "005.1 20".
- 92045893 subject "Functional programming (Computer science)".
- 92045893 subject "Logic programming.".
- 92045893 subject "Logic, Symbolic and mathematical.".
- 92045893 subject "QA76.63 .L3513 1993".
- 92045893 title "Computation as logic / René Lalement ; translated by John Plaice.".
- 92045893 title "Lōgic, réduction, résolution. English".
- 92045893 type "text".