Normal view MARC view

Automatic theorem proving (Topical Term)

Number of records used in: 9
Preferred form: Automatic theorem proving

Machine generated authority record.

Work cat.: (): Wen-tsun Wu. 168679, Mechanical theorem proving in geometries :, c1994

                                                                           
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