Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    AuthorVladimir A. Pavlov
    Submit Your Paper
    Publication schedule
    • №2 June 2026
      Submission deadline: 29 May 2026
    • №3 September 2026
      Submission deadline: 31 August 2026
    • №4 December 2026
    Latest issues
    Vladimir A. Pavlov
    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
    • 354
    • 9587
    • 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
    • 81
    • 9211
    • Pages: 49-62