#громадськемісце Українські вчені розвивають нову логічну систему для комп’ютерних наук #львів #lviv

Дослідники Київського національного університету створили унікальні логічні формалізми для вдосконалення комп’ютерного моделювання