Normal view
MARC view
Baumgartner, Peter (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.) 31486, Automated Reasoning :, 2008.