Normal view MARC view

Bjørner, Nikolaj. (Personal Name)

Number of records used in: 3
Preferred form: Bjørner, Nikolaj.

Machine generated authority record.

Work cat.: ()946043: International Conference on Automated Deduction. (23rd : 2011 : Wrocław, Poland) 1038983, Automated Deduction – CADE-23, 2011.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India