Matches in Library of Congress for { <http://lccn.loc.gov/85012573> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 85012573 contributor B4879229.
- 85012573 created "c1985.".
- 85012573 date "1985".
- 85012573 date "c1985.".
- 85012573 dateCopyrighted "c1985.".
- 85012573 description "Includes bibliographies.".
- 85012573 extent "vi, 424 p. ;".
- 85012573 identifier "0387156488 (U.S. : pbk.)".
- 85012573 isPartOf "Lecture notes in computer science ; 193".
- 85012573 issued "1985".
- 85012573 issued "c1985.".
- 85012573 language "eng".
- 85012573 publisher "Berlin ; New York : Springer-Verlag,".
- 85012573 subject "001.64/2 19".
- 85012573 subject "Computer programs Congresses.".
- 85012573 subject "Logic, Symbolic and mathematical Congresses.".
- 85012573 subject "QA76.6 .L5855 1985".
- 85012573 title "Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh.".
- 85012573 type "text".