Titelaufnahme

• Titel
  Ein Beweisverfahren für Datenbankprädikate
• Autor
  Böttcher, Stefan
• Enthalten in
  Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Dassel/Solling, 1986, S. 164-175
• Entstehung
  2009
• Sprache
  Deutsch
• Dokumenttyp
  Aufsatz in einem Sammelwerk
• ISBN
  3-540-16451-0
• URN
  urn:nbn:de:hbz:466:2-4220