Fortran-based program for Quantification Theories under windows
نویسنده:
سال
: 2010شناسه الکترونیک: 10.1109/ICCSIT.2010.5563522
کالکشن
:
-
آمار بازدید
Fortran-based program for Quantification Theories under windows
Show full item record
| 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 | http://libsearch.um.ac.ir:80/fum/handle/fum/568278 | |
| 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 |