Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов.

Research output: Book/Report/Anthology › Teaching materials › Education

Original language	Undefined
Publisher	Издательство Санкт-Петербургского университета
ISBN (Print)	978-5-288-05495-2
State	Published - 2013
Externally published	Yes

ID: 4354680