Fortran-based program for Quantification Theories under windows
contributor author | Wang Yan | |
date accessioned | 2020-03-11T15:01:23Z | |
date available | 2020-03-11T15:01:23Z | |
date issued | 2010 | |
identifier other | nGoIb9lNTzAWZIEPSBHgFDJyHBzAlY8mM38m3tAbOKI_YRuB4f.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/568278?show=full | |
format | general | |
language | English | |
title | Fortran-based program for Quantification Theories under windows | |
type | Journal Paper | |
contenttype | Fulltext | |
contenttype | Fulltext | |
identifier padid | 4396696 | |
identifier doi | 10.1109/ICCSIT.2010.5563522 | |
journal title | 2010 3rd International Conference on Computer Science and Information Technology | |
coverage | Academic | |
filesize | 767362 | |
citations | 1 |