Article citationsMore>>

Harrison, J. (2008) Formal Proof—Theory and Practice. Notices of AMS.
http://www.ams.org/notices/200811/tx081101395p.pdf

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top