Matches in Library of Congress for { <http://lccn.loc.gov/2006482011> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2006482011 contributor B10669240.
- 2006482011 created "c1999.".
- 2006482011 date "1999".
- 2006482011 date "c1999.".
- 2006482011 dateCopyrighted "c1999.".
- 2006482011 description "Includes bibliographical references and index.".
- 2006482011 extent "244 p. ;".
- 2006482011 identifier "389601207X".
- 2006482011 isPartOf "Dissertationen zur künstlichen Intelligenz ; 207".
- 2006482011 issued "1999".
- 2006482011 issued "c1999.".
- 2006482011 language "eng".
- 2006482011 publisher "Sankt Augustin : Infix,".
- 2006482011 subject "Computer programs Termination.".
- 2006482011 subject "Computer programs Testing Mathematics.".
- 2006482011 subject "Functional programming (Computer science)".
- 2006482011 subject "QA76.76.T47 B73 1999".
- 2006482011 title "Automatic termination analysis for functional and imperative programs / Jürgen Brauburger.".
- 2006482011 type "text".