Ein Beweisverfahren Für Datenbankprädikate
Informatik-Fachberichte
doi 10.1007/978-3-642-71145-9_13
Full Text
Abstract
Available in
Date
January 1, 1986
Authors
Publisher
Springer Berlin Heidelberg
doi 10.1007/978-3-642-71145-9_13
Available in
January 1, 1986
Springer Berlin Heidelberg