Search
Front page
Activities
Organizational units
Data sets
Persons
Research output
Projects
Press/Media
About
Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов.
Research output
:
Book/Report/Anthology
›
Teaching materials
›
Education
Overview
Cite this
Т.М. Косовская
Original language
Undefined
Publisher
Издательство Санкт-Петербургского университета
ISBN (Print)
978-5-288-05495-2
State
Published -
2013
Externally published
Yes
ID: 4354680