Reference : Challenges in Higher-Order Theorem Proving
Diverse speeches and writings : Article for general public
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40371
Challenges in Higher-Order Theorem Proving
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Jul-2019
Association for Automated Reasoning, Newsletter
128
No
International
Researchers ; Professionals ; Students ; General public
http://hdl.handle.net/10993/40371
http://aarinc.org/Newsletters/128-2019-07.html#guest
Guest column in the AAR newsletter.

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.