Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Author Pavlov Vladimir A.
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
Latest issues
Pavlov Vladimir A.
Vladimir A. Pavlov

An Experimental Computer Program for Automated Reasoning in Intuitionistic Logic Using the Inverse Method

Intelligent Systems and Technologies, Artificial Intelligence
Pavlov V.A. Pak V.G.
  • Year: 2015
  • Issue: 6
  • 353
  • 8156
  • Pages: 70-80

Efficient Implementation of the Inverse Method for First-Order Intuitionistic Logic

Software of Computer, Telecommunications and Control Systems
Pavlov V.A.
  • Year: 2017
  • Volume: 10
  • Issue: 1
  • 79
  • 7677
  • Pages: 49-62