Normal view
MARC view
Logic Programming Computer Science (Topical Term)
Machine generated authority record.
Work cat.: (NEDUET)184914: Huth, Michael Author 144423, Logic in Computer Science Modelling and Reasoning About Systems , c2004