skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Using GXWeb for Theorem Proving and Mathematical Modelling

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.38-42

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.7

Full text available

Citations Cited by
Back to results list
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait