Normal view
MARC view
Miller, Dale (Dale A.) (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): IJCAR (Conference) (6th : 2012 : Manchester, England) 45696, Automated reasoning :, ©2012.