Matches in Library of Congress for { <http://lccn.loc.gov/89021790> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 89021790 alternative "Order-sorted logic with term declarations.".
- 89021790 contributor B5863706.
- 89021790 created "c1989.".
- 89021790 date "1989".
- 89021790 date "c1989.".
- 89021790 dateCopyrighted "c1989.".
- 89021790 description "Includes bibliographical references.".
- 89021790 extent "viii, 171 p. ;".
- 89021790 identifier "0387517057 (U.S. : alk. paper) :".
- 89021790 isPartOf "Lecture notes in computer science ; 395. Lecture notes in artificial intelligence".
- 89021790 isPartOf "Lecture notes in computer science ; 395.".
- 89021790 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 89021790 issued "1989".
- 89021790 issued "c1989.".
- 89021790 language "eng".
- 89021790 publisher "Berlin ; New York : Springer-Verlag,".
- 89021790 subject "511.3 20".
- 89021790 subject "Logic, Symbolic and mathematical.".
- 89021790 subject "QA9 .S343 1989".
- 89021790 subject "Sorting (Electronic computers)".
- 89021790 title "Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauss.".
- 89021790 type "text".