Search
Computing, Telecommunications and Control
Computing, Telecommunications and Control
Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
Английский
Русский
Version for the visually impaired
About the journal
Editorial board
All issues
Guide for Authors
Menu
Submission contents and structure
Formatting guidelines
Submission
Peer review
References
Article abstract
Publication ethics
Journal metrics
News
Contact us
Author
Pak Vadim G.
Publication schedule
№1 March 2021
№2 June 2021
№3 September 2021
Latest issues
2020
,
Volume 13
Issue 3
2020
,
Volume 13
Issue 2
2020
,
Volume 13
Issue 1
2019
,
Volume 12
Issue 4
Pak Vadim G.
decodeDefault
An Experimental Computer Program for Automated Reasoning in Intuitionistic Logic Using the Inverse Method
Intellectual Systems and Technologies
Pavlov V.A.
Pak V.G.
Year: 2015
Issue: 6
345
2423
Pages: 70-80