TY  - CHAP
AU  - Böttcher, Stefan
DP  - Universität Paderborn
LA  - ger
PY  - 2009
SN  - 3-540-16451-0
SP  - 164-175
T3  - Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118
TI  - Ein Beweisverfahren für Datenbankprädikate
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-4220
Y2  - 2026-01-12T05:16:31
ER  -