Vista normal
Vista MARC
Logic design. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)68146: Governatori, Guido. editor. 165548, Deontic Logic in Computer Science
Machine generated authority record.
Work cat.: (UQROO)68146: Governatori, Guido. editor. 165548, Deontic Logic in Computer Science