1 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
zu den Filteroptionen1 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Jg. 9.1985, S. 164-175