Matches in Library of Congress for { <http://lccn.loc.gov/98055092> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 98055092 contributor B8379388.
- 98055092 contributor B8379389.
- 98055092 created "c1998.".
- 98055092 date "1998".
- 98055092 date "c1998.".
- 98055092 dateCopyrighted "c1998.".
- 98055092 description "Includes bibliographical references and index.".
- 98055092 extent "646 p. :".
- 98055092 identifier "3540654933 (softcover)".
- 98055092 identifier 98055092-d.html.
- 98055092 isPartOf "Lecture notes in computer science ; 1536".
- 98055092 issued "1998".
- 98055092 issued "c1998.".
- 98055092 language "eng".
- 98055092 publisher "Berlin ; New York : Springer,".
- 98055092 subject "004/.35 21".
- 98055092 subject "Automatic theorem proving Congresses.".
- 98055092 subject "Parallel processing (Electronic computers) Congresses.".
- 98055092 subject "QA76.58 .C639 1997".
- 98055092 title "Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).".
- 98055092 type "text".