Matches in Library of Congress for { <http://lccn.loc.gov/93017951%2F%2Fr942> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 93017951%2F%2Fr942 contributor B6910835.
- 93017951%2F%2Fr942 contributor B6910836.
- 93017951%2F%2Fr942 created "c1993.".
- 93017951%2F%2Fr942 date "1993".
- 93017951%2F%2Fr942 date "c1993.".
- 93017951%2F%2Fr942 dateCopyrighted "c1993.".
- 93017951%2F%2Fr942 description "Includes bibliographical references.".
- 93017951%2F%2Fr942 extent "442 p. ;".
- 93017951%2F%2Fr942 identifier "0387558136 (U.S. : alk. paper)".
- 93017951%2F%2Fr942 isPartOf "NATO ASI series. Series F, Computer and system sciences ; vol. 94".
- 93017951%2F%2Fr942 isPartOf "NATO ASI series. Series F, Computer and systems sciences ; no. 94.".
- 93017951%2F%2Fr942 issued "1993".
- 93017951%2F%2Fr942 issued "c1993.".
- 93017951%2F%2Fr942 language "eng".
- 93017951%2F%2Fr942 publisher "Berlin ; New York : Springer-Verlag,".
- 93017951%2F%2Fr942 subject "004/.01/5113 20".
- 93017951%2F%2Fr942 subject "Computer science Mathematics.".
- 93017951%2F%2Fr942 subject "Logic, Symbolic and mathematical.".
- 93017951%2F%2Fr942 subject "QA76.9.M35 N37 1991".
- 93017951%2F%2Fr942 title "Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.".
- 93017951%2F%2Fr942 type "text".