Matches in Library of Congress for { <http://lccn.loc.gov/93021451> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 93021451 contributor B6915032.
- 93021451 created "1993.".
- 93021451 date "1993".
- 93021451 date "1993.".
- 93021451 dateCopyrighted "1993.".
- 93021451 description "Includes bibliographical references.".
- 93021451 extent "813 p. :".
- 93021451 identifier "0817636900".
- 93021451 isPartOf "Progress in computer science and applied logic ; v. 12".
- 93021451 issued "1993".
- 93021451 issued "1993.".
- 93021451 language "eng".
- 93021451 publisher "Boston : Birkhäuser,".
- 93021451 subject "511 20".
- 93021451 subject "Logic programming.".
- 93021451 subject "Logic, Symbolic and mathematical.".
- 93021451 subject "Nerode, Anil, 1932-".
- 93021451 subject "QA76.63.L59 L64 1993".
- 93021451 title "Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.".
- 93021451 type "text".