Normal view
MARC view
Lògica informàtica (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): LFCS (Symposium) (2022 : Deerfield Beach, Fla.) 968944, Logical foundations of computer science :