Matches in Library of Congress for { <http://lccn.loc.gov/98014448> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 98014448 contributor B8333057.
- 98014448 created "c1998.".
- 98014448 date "1998".
- 98014448 date "c1998.".
- 98014448 dateCopyrighted "c1998.".
- 98014448 description "Includes bibliographical references (p. [325]-334) and indexes.".
- 98014448 extent "xii, 344 p. :".
- 98014448 identifier "3540642013 (Berlin : alk. paper)".
- 98014448 identifier 98014448-d.html.
- 98014448 identifier 98014448-t.html.
- 98014448 isPartOf "Lecture notes in computer science, 0302-9743 ; 1367".
- 98014448 issued "1998".
- 98014448 issued "c1998.".
- 98014448 language "eng".
- 98014448 publisher "Berlin ; New York : Springer,".
- 98014448 subject "005.1/4 21".
- 98014448 subject "Approximation theory.".
- 98014448 subject "Automatic theorem proving.".
- 98014448 subject "Computer algorithms.".
- 98014448 subject "QA76.9.A96 L43 1998".
- 98014448 title "Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.).".
- 98014448 type "text".