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
Submit Your Paper
Publication schedule
  • №2 June 2025
  • №3 September 2025
  • №4 December 2025

Articles by keywords "automated theorem proving"

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
  • 7540
  • 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
  • 78
  • 7074
  • Pages: 49-62