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 Pak Vadim G.
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
Latest issues
Pak Vadim G.

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
  • 7762
  • Pages: 70-80