@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 .