| |
Pavlov, Vladimir Aleksandrovich
|
| Statistics Math-Net.Ru |
| Total publications: |
2 |
| Scientific articles: |
2 |
| Number of views: |
| This page: | 116 | | Abstract pages: | 282 | | Full texts: | 168 |
|
|
Candidate of physico-mathematical sciences (2017) |
| Speciality: |
05.13.11 (Mathematical and programme software for computers, computer systems, and networks) |
|
 |
https://www.mathnet.ru/eng/person119655 |
 |
List of publications on Google Scholar |
 |
List of publications on ZentralBlatt |
|
|
|
|
Publications in Math-Net.Ru |
Citations |
|
2017 |
| 1. |
V. A. Pavlov, “Efficient implementation of the inverse method for first-order intuitionistic logic”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:1 (2017), 49–62 |
|
2015 |
| 2. |
V. A. Pavlov, V. G. Pak, “An experimental computer program for automated reasoning in intuitionistic logic using the inverse method”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 6(234), 70–80 |
|
| Organisations |
|
|
Contact us: