@prefix schema: . @prefix gndo: . @prefix lib: . @prefix owl: . @prefix xsd: . @prefix skos: . @prefix rdfs: . @prefix editeur: . @prefix geo: . @prefix umbel: . @prefix naf: . @prefix rdau: . @prefix sf: . @prefix bflc: . @prefix thesoz: . @prefix dcterms: . @prefix isbd: . @prefix foaf: . @prefix mesh: . @prefix ram: . @prefix mo: . @prefix marcRole: . @prefix agrelon: . @prefix dcmitype: . @prefix nsogg: . @prefix dnbt: . @prefix dbp: . @prefix embne: . @prefix rdf: . @prefix dnb_intern: . @prefix madsrdf: . @prefix cidoc: . @prefix v: . @prefix ebu: . @prefix wdrs: . @prefix gbv: . @prefix bibo: . @prefix agrovoc: . @prefix lcsh: . @prefix dc: . a bibo:Document; dcterms:medium ; rdau:P60049 ; rdau:P60050 ; rdau:P60048 ; dc:identifier "(DE-101)950968544"; bibo:isbn13 "9783896011596"; rdau:P60521 "kart. : DM 60.00, sfr 54.50, S 438.00"; bibo:isbn10 "3896011596"; rdau:P60521 "kart. : DM 60.00, sfr 54.50, S 438.00"; dc:identifier "(OCoLC)75764428"; rdau:P60049 ; rdau:P60327 "Stefan Gerberding"; dc:title "Implizite und explizite Induktionsbeweisverfahren"; marcRole:aut _:node1hn5rcl7mx93326829 . _:node1hn5rcl7mx93326829 gndo:preferredName "Gerberding, Stefan" . dcterms:creator _:node1hn5rcl7mx93326830 . _:node1hn5rcl7mx93326830 gndo:preferredName "Gerberding, Stefan" . dc:publisher "Infix"; rdau:P60163 "Sankt Augustin"; rdau:P60333 "Sankt Augustin : Infix"; rdau:P60539 "21 cm"; dcterms:bibliographicCitation "Dissertationen zur künstlichen Intelligenz ; Bd. 159"; rdau:P60489 "Zugl.: Darmstadt, Techn. Hochsch., Diss., 1997"; dcterms:subject , ; wdrs:describedby . dcterms:license ; dcterms:modified "2017-12-03T02:35:10.000"^^xsd:dateTime . dcterms:issued "1997"; isbd:P1053 "279 S."; dcterms:isPartOf ; owl:sameAs .