TY  - CHAP
AU  - Böttcher, Stefan
DP  - Universität Paderborn
LA  - ger
PY  - 2009
SN  - 3-540-16451-0
SP  - 164-175
T2  - 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
VL  - 9.1985
Y2  - 2026-10-05T18:44:04
ER  -