Matches in Library of Congress for { <http://lccn.loc.gov/94003449> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 94003449 contributor B7161210.
- 94003449 created "c1994.".
- 94003449 date "1994".
- 94003449 date "c1994.".
- 94003449 dateCopyrighted "c1994.".
- 94003449 description "Includes bibliiographical references and index.".
- 94003449 extent "xi, 545 p. :".
- 94003449 identifier "354058241X (acid-free paper)".
- 94003449 identifier 94003449-d.html.
- 94003449 isPartOf "Lecture notes in computer science ; 827. Lecture notes in artificial intelligence".
- 94003449 isPartOf "Lecture notes in computer science ; 827.".
- 94003449 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence".
- 94003449 issued "1994".
- 94003449 issued "c1994.".
- 94003449 language "eng".
- 94003449 publisher "Berlin ; New York : Springer-Verlag,".
- 94003449 subject "511.3 20".
- 94003449 subject "Computer programming.".
- 94003449 subject "Logic, Symbolic and mathematical.".
- 94003449 subject "QA76.6 .T4414 1994".
- 94003449 title "Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).".
- 94003449 type "text".