Matches in Library of Congress for { <http://lccn.loc.gov/93201302> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 93201302 contributor B7065034.
- 93201302 created "c1992.".
- 93201302 date "1992".
- 93201302 date "c1992.".
- 93201302 dateCopyrighted "c1992.".
- 93201302 description "Includes bibliographical references (p. [245]-252) and index.".
- 93201302 extent "viii, 259 p. ;".
- 93201302 identifier "0387553002 (New York)".
- 93201302 identifier "3540553002 (Berlin)".
- 93201302 isPartOf "Informatik-Fachberichte ; 302".
- 93201302 issued "1992".
- 93201302 issued "c1992.".
- 93201302 language "ger".
- 93201302 publisher "Berlin ; New York : Springer-Verlag,".
- 93201302 subject "Automatic programming (Computer science)".
- 93201302 subject "QA76.6 .B574 1992".
- 93201302 title "Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.".
- 93201302 type "text".