Matches in Library of Congress for { <http://lccn.loc.gov/2008921857> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2008921857 contributor B11377483.
- 2008921857 contributor B11377484.
- 2008921857 created "c2008.".
- 2008921857 date "2008".
- 2008921857 date "c2008.".
- 2008921857 dateCopyrighted "c2008.".
- 2008921857 description "Includes bibliographical references (p. [421]-428) and index.".
- 2008921857 extent "xi, 433 p. :".
- 2008921857 identifier "3540674012".
- 2008921857 identifier "9783540674016 (alk. paper)".
- 2008921857 identifier 2008921857-d.html.
- 2008921857 identifier 2008921857-t.html.
- 2008921857 isPartOf "Texts in theoretical computer science : An EATCS series".
- 2008921857 isPartOf "Texts in theoretical computer science.".
- 2008921857 issued "2008".
- 2008921857 issued "c2008.".
- 2008921857 language "eng".
- 2008921857 publisher "Berlin : Springer,".
- 2008921857 subject "160 22".
- 2008921857 subject "BC199.T4 K76 2008".
- 2008921857 subject "Logic, Symbolic and mathematical.".
- 2008921857 subject "Tense (Logic)".
- 2008921857 subject "Time.".
- 2008921857 title "Temporal logic and state systems / Fred Kröger, Stephen Merz.".
- 2008921857 type "text".