Matches in Library of Congress for { <http://lccn.loc.gov/99013568> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99013568 contributor B8632924.
- 99013568 created "c1999.".
- 99013568 date "1999".
- 99013568 date "c1999.".
- 99013568 dateCopyrighted "c1999.".
- 99013568 description "Includes bibliographical references and index.".
- 99013568 extent "viii, 670 p. :".
- 99013568 identifier "0792356276 (alk. paper)".
- 99013568 identifier 99013568-d.html.
- 99013568 identifier 99013568-t.html.
- 99013568 issued "1999".
- 99013568 issued "c1999.".
- 99013568 language "eng".
- 99013568 publisher "Dordrecht ; Boston : Kluwer,".
- 99013568 subject "511.3 21".
- 99013568 subject "Automatic theorem proving.".
- 99013568 subject "Logic, Symbolic and mathematical.".
- 99013568 subject "QA76.9.A96 H36 1999".
- 99013568 title "Handbook of tableau methods / edited by Marcello D'Agostino ... [et al.].".
- 99013568 type "text".