DLC marc2bibframe2 v2.2.1
2024-03-28T22:37:56.984+01:00
prepublication
full
isbd
959115471
DE-101
2019-10-07T01:51:55
2000-05-19
959115471
DE-101
1140
9999
text
Academic theses
28
DE-101
sdnb
27
DE-101
sdnb
004
DE-101
sdnb
30
DE-101
sswd
28
DE-101
sswd
1001 $0(DE-588)122305280$0https://d-nb.info/gnd/122305280$0(DE-101)122305280$aRichts, Jörn$d1968-$eVerfasser$4aut$2gnd
Richts, Jörn 1968-
122305280
DE-588
122305280
DE-101
gnd
Verfasser
Effiziente Entscheidungsverfahren zur E-Unifikation
Text
Has Series
transcribed
Berichte aus der Informatik
Zugl.: Aachen, Techn. Hochsch., Diss., 2000
Automatisches Beweisverfahren
Automatisches Beweisverfahren
gnd
4069034-9
DE-588
040690342
DE-101
Deduktionssystem
Deduktionssystem
gnd
4194364-8
DE-588
041943643
DE-101
Unifikationstheorie
Unifikationstheorie
gnd
4186894-8
DE-588
041868943
DE-101
Gleichungstheorie
Gleichungstheorie
gnd
4226572-1
DE-588
04226572X
DE-101
Constraint
Constraint
Künstliche Intelligenz
gnd
4314755-0
DE-588
043147550
DE-101
(VLB-Schlagwort)Automatisches Beweisverfahren
Hochschulschrift
Hochschulschrift
gnd-content
4113937-9
DE-588
041139372
DE-101
2000
Aachen
Shaker
2000
Aachen: Shaker; 2000
00,A39,0822
dnb
00,N25,0359
invalid
dnb
kart. : DM 94.00, sfr 94.00, S 659.00
9783826573354
kart. : DM 94.00, sfr 94.00, S 659.00
3826573358
DNB959115471
76149106
Jörn Richts
Effiziente Entscheidungsverfahren zur E-Unifikation
Als Ms. gedr.
II, 164 S.
graph. Darst.
21 cm
ohne Hilfsmittel zu benutzen
Band