Matches in Library of Congress for { <http://lccn.loc.gov/91020311> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 91020311 contributor B6372182.
- 91020311 created "c1991.".
- 91020311 date "1991".
- 91020311 date "c1991.".
- 91020311 dateCopyrighted "c1991.".
- 91020311 description "Includes bibliographical references.".
- 91020311 extent "viii, 341 p. :".
- 91020311 identifier "0387541888 (Springer-Verlag New York Berlin Heidelberg : alk. paper)".
- 91020311 identifier "3540541888 (Springer-Verlag Berlin Heidelberg New York : alk. paper) ;".
- 91020311 isPartOf "Research reports ESPRIT. Project 1158, ATES ; vol. 1".
- 91020311 issued "1991".
- 91020311 issued "c1991.".
- 91020311 language "eng".
- 91020311 publisher "Berlin ; New York : Springer-Verlag,".
- 91020311 subject "005.1 20".
- 91020311 subject "Automatic theorem proving.".
- 91020311 subject "Computer programming.".
- 91020311 subject "Computer software Development.".
- 91020311 subject "QA76.6 .P75138 1991".
- 91020311 title "The Programming and proof system ATES : advanced techniques integration into efficient scientific software / Armand Puccetti (ed.) ; with contributions by D. Brocard ... [et al.].".
- 91020311 type "text".