Automated Methods for Modeling Thinking and Reasoning Based on the Partial Model Theory Full article

Conference	IEEE XVI International Scientific and Technical Conference "Actual Problems of Electronic Instrument Engineering" 10-12 Nov 2023 , Новосибирск
Source	IEEE XVI International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering (APEIE) Compilation, 2023.
Output data	Year: 2023, Pages: 1490-1495 Pages count : 6 DOI: 10.1109/apeie59731.2023.10347648
Authors	Palchunov D.E. 1
Affiliations	1 Laboratory of Computability Theory and Applied Logic, Sobolev Institute of Mathematics, Novosibirsk, Russia

Funding (1)

1

Sobolev Institute of Mathematics

FWNF-2022-0011