Matches in Library of Congress for { <http://lccn.loc.gov/94019153> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 94019153 contributor B7179682.
- 94019153 contributor B7179683.
- 94019153 created "1994-2000.".
- 94019153 date "1994".
- 94019153 date "1994-2000.".
- 94019153 dateCopyrighted "1994-2000.".
- 94019153 description "Includes bibliographical references and indexes.".
- 94019153 extent "2 v. :".
- 94019153 identifier "0198537697 (v. 1) :".
- 94019153 identifier 94019153-d.html.
- 94019153 identifier 94019153-t.html.
- 94019153 isPartOf "Oxford logic guides ; 28, 40".
- 94019153 isPartOf "Oxford science publications".
- 94019153 issued "1994".
- 94019153 issued "1994-2000.".
- 94019153 language "eng".
- 94019153 publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- 94019153 subject "511.3 20".
- 94019153 subject "Computer programming.".
- 94019153 subject "Logic, Symbolic and mathematical.".
- 94019153 subject "QA76.6 .G27 1994".
- 94019153 title "Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.".
- 94019153 type "text".