Normal view
MARC view
Björner, Nikolaj (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland) 42668, Automated deduction--CADE-23 :, ©2011.