Matches in Library of Congress for { <http://lccn.loc.gov/79013118> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 79013118 contributor B3498041.
- 79013118 created "1979.".
- 79013118 date "1979".
- 79013118 date "1979.".
- 79013118 dateCopyrighted "1979.".
- 79013118 description "Bibliography: p. [127]-133.".
- 79013118 extent "133 p. :".
- 79013118 identifier "0387092374".
- 79013118 isPartOf "Lecture notes in computer science ; 68".
- 79013118 issued "1979".
- 79013118 issued "1979.".
- 79013118 language "eng".
- 79013118 publisher "Berlin ; New York : Springer-Verlag,".
- 79013118 subject "519.7".
- 79013118 subject "Computer programming.".
- 79013118 subject "Logic, Symbolic and mathematical.".
- 79013118 subject "QA76.6 .H34 1979".
- 79013118 subject "Recursion theory.".
- 79013118 title "First-order dynamic logic / David Harel.".
- 79013118 type "text".