22.04.2025 Одиннадцатая лекция по математической логике(метод резолюций в логике предикатов)

Name: 22.04.2025 Одиннадцатая лекция по математической логике(метод резолюций в логике предикатов)
Uploaded: 2025-04-27T17:43:41+03:00
Duration: 1 h 22 min 4 s
Description: 22.04.2025 Одиннадцатая лекция по математической логике(метод резолюций в логике предикатов)