00000pam a2200000 c 4500
950968544
DE-101
20171203023510.0
tu
970717s1997 gw ||||| m||| 00||||ger
97,A39,0621
97,N33,0377
dnb
DE-101
950968544
9783896011596
kart. : DM 60.00, sfr 54.50, S 438.00
978-3-89601-159-6
3896011596
kart. : DM 60.00, sfr 54.50, S 438.00
3-89601-159-6
(DE-599)DNB950968544
(OCoLC)75764428
1140
ger
DE-101
9999
ger
XA-DE
28
27
004
DE-101
sdnb
30
28
DE-101
sswd
b
1\p
Gerberding, Stefan
Verfasser
aut
Implizite und explizite Induktionsbeweisverfahren
Stefan Gerberding
Sankt Augustin
Infix
1997
279 S.
21 cm
Text
txt
rdacontent
ohne Hilfsmittel zu benutzen
n
rdamedia
Band
nc
rdacarrier
Dissertationen zur künstlichen Intelligenz
Bd. 159
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1997
(DE-588)4222014-2
https://d-nb.info/gnd/4222014-2
(DE-101)042220149
Induktionsbeweis
rswk-swf
gnd
(DE-588)4069034-9
https://d-nb.info/gnd/4069034-9
(DE-101)040690342
Automatisches Beweisverfahren
rswk-swf
gnd
(DE-588)4113937-9
https://d-nb.info/gnd/4113937-9
(DE-101)041139372
Hochschulschrift
gnd-content
(DE-588)4222014-2
https://d-nb.info/gnd/4222014-2
(DE-101)042220149
s
Induktionsbeweis
(DE-588)4069034-9
https://d-nb.info/gnd/4069034-9
(DE-101)040690342
s
Automatisches Beweisverfahren
DE-101
DE-101
Dissertationen zur künstlichen Intelligenz
Bd. 159
(DE-101)016402758
(DE-600)1110528-8
3159
as
DE-101a
DE-101b
1\p
dnb
20200614
DE-101
https://d-nb.info/provenance/plan#dnb
ra