Normal view MARC view

Björner, Nikolaj (Personal Name)

Preferred form: Björner, Nikolaj

Machine generated authority record.

Work cat.: (AT-ISTA): International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland) 42668, Automated deduction--CADE-23 :, ©2011.

Powered by Koha