Normal view
MARC view
(Topical Term)
Logic, symbolic and mathematical
Machine generated authority record.
Work cat.: (OSt): Gabbay, Dov M. 27516, Logic for artificial intelligence and information techology, c2007