Matches in Library of Congress for { <http://lccn.loc.gov/00030750> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 00030750 contributor B20869.
- 00030750 created "2000.".
- 00030750 date "2000".
- 00030750 date "2000.".
- 00030750 dateCopyrighted "2000.".
- 00030750 description "Includes bibliographical references (p. [127]-134) and index.".
- 00030750 extent "xiv, 138 p. :".
- 00030750 identifier "3540674551 (pbk. : alk. paper)".
- 00030750 identifier 00030750-d.html.
- 00030750 isPartOf "Lecture notes in computer science ; 1775. Lecture notes in artificial intelligence".
- 00030750 isPartOf "Lecture notes in computer science ; 1775.".
- 00030750 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 00030750 issued "2000".
- 00030750 issued "2000.".
- 00030750 language "eng".
- 00030750 publisher "Berlin ; New York : Springer,".
- 00030750 subject "004.2/1 21".
- 00030750 subject "Computer logic.".
- 00030750 subject "Formal methods (Computer science)".
- 00030750 subject "QA76.9.L63 T48 2000".
- 00030750 subject "System design.".
- 00030750 title "Challenges for action theories / Michael Thielscher.".
- 00030750 type "text".