DLC marc2bibframe2 v2.2.1
2024-03-28T09:19:17.649+01:00
new
full
isbd
952709236
DE-101
2017-12-03T03:54:09
1998-01-14
952709236
DE-101
1240
9999
text
Academic theses
28
DE-101
sdnb
004
DE-101
sdnb
1001 $81\p$aGoller, Christoph$eVerfasser$4aut
Goller, Christoph
Verfasser
A connectionist approach for learning search control heuristics for automated deduction systems
Text
Zugl.: München, Techn. Univ., Diss., 1997
Hochschulschrift
Hochschulschrift
gnd-content
4113937-9
DE-588
041139372
DE-101
1997
München
Inst. für Informatik
1997
München: Inst. für Informatik; 1997
00,B48,0214
dnb
geh
DNB952709236
75854165
Christoph Goller
A connectionist approach for learning search control heuristics for automated deduction systems
VI, 126 S.
graph. Darst.
30 cm
ohne Hilfsmittel zu benutzen
Band