Pavlov Vladimir A.
Publication schedule
-
№1 March 2025
-
№2 June 2025
-
№3 September 2025
Latest issues
- 2024, Volume 17 Issue 3 Full text
- 2024, Volume 17 Issue 2 Full text
- 2024, Volume 17 Issue 1
- 2023, Volume 16 Issue 4 Full text
An Experimental Computer Program for Automated Reasoning in Intuitionistic Logic Using the Inverse Method
- Year: 2015
- Issue: 6
- 353
- 7045
- Pages: 70-80
Efficient Implementation of the Inverse Method for First-Order Intuitionistic Logic
- Year: 2017
- Volume: 10
- Issue: 1
- 78
- 6535
- Pages: 49-62