Normal view MARC view

Automatic theorem proving Congresses (Topical Term)

Number of records used in: 1
Preferred form: Automatic theorem proving Congresses

Machine generated authority record.

Work cat.: ()1200892: Automated Technology for verification and analysis (ATVA 2012 ) (2012 : Trivandrum, India) 1161554, Automated technology for verification and analysis :, c2012

                                                                           
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