Normal view
MARC view
Function symbols (Topical Term)
Machine generated authority record.
Work cat.: (OSt)278633: Greco, Sergio 22493, Datalog and logic databases (e-book), 2016