Matches in Library of Congress for { <http://lccn.loc.gov/92018642> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 92018642 contributor B6633305.
- 92018642 created "c1992.".
- 92018642 date "1992".
- 92018642 date "c1992.".
- 92018642 dateCopyrighted "c1992.".
- 92018642 description "Includes bibliographical references.".
- 92018642 extent "ix, 514 p. :".
- 92018642 identifier "0387557075 (Springer-Verlag New York Berlin Heidelberg : acid-free paper)".
- 92018642 identifier "3540557075 (Springer-Verlag Berlin Heidelberg New York : acid-free paper)".
- 92018642 identifier 92018642-d.html.
- 92018642 isPartOf "Lecture notes in computer science ; 620".
- 92018642 issued "1992".
- 92018642 issued "c1992.".
- 92018642 language "eng".
- 92018642 publisher "Berlin ; New York : Springer-Verlag,".
- 92018642 subject "004 20".
- 92018642 subject "Computers Congresses.".
- 92018642 subject "Electronic data processing Congresses.".
- 92018642 subject "Logic, Symbolic and mathematical Congresses.".
- 92018642 subject "QA75.5 .L64 1992".
- 92018642 title "Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / A. Nerode, M. Taitslin (eds.).".
- 92018642 type "text".