Matches in Library of Congress for { <http://lccn.loc.gov/2001266646> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001266646 contributor B8982037.
- 2001266646 created "2000.".
- 2001266646 date "2000".
- 2001266646 date "2000.".
- 2001266646 dateCopyrighted "2000.".
- 2001266646 description "Includes bibliographical references.".
- 2001266646 extent "xiv, 193 p. :".
- 2001266646 identifier "0444505563 (alk. paper)".
- 2001266646 identifier 2001266646-d.html.
- 2001266646 identifier 2001266646-t.html.
- 2001266646 issued "2000".
- 2001266646 issued "2000.".
- 2001266646 language "eng".
- 2001266646 publisher "Amsterdam ; New York : Elsevier,".
- 2001266646 subject "511.3 21".
- 2001266646 subject "Algebraic logic Congresses.".
- 2001266646 subject "Formal methods (Computer science) Congresses.".
- 2001266646 subject "QA10 .C35 2000".
- 2001266646 title "Cafe : an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.".
- 2001266646 type "text".