Matches in Library of Congress for { <http://lccn.loc.gov/99164724> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 99164724 contributor B8720688.
- 99164724 created "c1998.".
- 99164724 date "1998".
- 99164724 date "c1998.".
- 99164724 dateCopyrighted "c1998.".
- 99164724 description "Includes bibliographical references and index.".
- 99164724 description "v. 1. Foundations - Calculi and methods -- v. 2. Systems and implementation techniques -- v. 3. Applications.".
- 99164724 extent "3 v. :".
- 99164724 identifier "0792351290 (v. 1 : acid-free paper)".
- 99164724 identifier "0792351304 (v. 2 : acid-free paper)".
- 99164724 identifier "0792351312 (v. 3 : acid-free paper)".
- 99164724 identifier "0792351320 (set : acid-free paper)".
- 99164724 identifier 99164724-d.html.
- 99164724 identifier 99164724-t.html.
- 99164724 isPartOf "Applied logic series ; v. 8-10".
- 99164724 issued "1998".
- 99164724 issued "c1998.".
- 99164724 language "eng".
- 99164724 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 99164724 subject "006.3/33 21".
- 99164724 subject "Automatic theorem proving.".
- 99164724 subject "Logic, Symbolic and mathematical.".
- 99164724 subject "QA76.9.A96 A84 1998".
- 99164724 tableOfContents "v. 1. Foundations - Calculi and methods -- v. 2. Systems and implementation techniques -- v. 3. Applications.".
- 99164724 title "Automated deduction : a basis for applications / edited by Wolfgang Bibel and Peter H. Schmitt.".
- 99164724 type "text".