Chebotarev, A. N. (2017). Problems of synthesis of Σ-automata specified in languages LP and LF of first order logic.
Chicago Style (17th ed.) CitationChebotarev, A. N. Problems of Synthesis of Σ-automata Specified in Languages LP and LF of First Order Logic. 2017.
MLA (8th ed.) CitationChebotarev, A. N. Problems of Synthesis of Σ-automata Specified in Languages LP and LF of First Order Logic. 2017.
Warning: These citations may not always be 100% accurate.