Normal view
MARC view
Mathematical logic (Topical Term)
Machine generated authority record.
Work cat.: (OSt)173707: Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, Apr. 25-May 1, 2010 (e-book)