Matches in Library of Congress for { <http://lccn.loc.gov/94019257> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94019257 contributor B7179807.
- 94019257 created "c1994.".
- 94019257 date "1994".
- 94019257 date "c1994.".
- 94019257 dateCopyrighted "c1994.".
- 94019257 description "Includes bibliographical references.".
- 94019257 extent "ix, 392 p. ;".
- 94019257 identifier "0387581405 (New York : alk. paper)".
- 94019257 identifier "3540581405 (Berlin : alk. paper)".
- 94019257 identifier 94019257-d.html.
- 94019257 isPartOf "Lecture notes in computer science ; 813".
- 94019257 issued "1994".
- 94019257 issued "c1994.".
- 94019257 language "eng".
- 94019257 publisher "Berlin ; New York : Springer-Verlag,".
- 94019257 subject "004/.01/5113 20".
- 94019257 subject "Computer science Congresses.".
- 94019257 subject "Logic, Symbolic and mathematical Congresses.".
- 94019257 subject "QA75.5 .L64 1994".
- 94019257 title "Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu.V. Matiyasevich, eds.".
- 94019257 type "text".