Стратегия дефакторизации в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Новые улучшения в методе эратосфенова решета”
Стратегия дефакторизации в методе резолюций
О технике вычислений предложений в символической логике
И.И. Жегалкин ([unknown])
Matematiceskij sbornik
Similarity:
Стратегия упорядочивания дизъюнктов в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Similarity:
Измеримость супремума и реализующей его функции
И.В. Шрагин (1968)
Matematiceskie issledovanija
Similarity:
Обобщение теорем Фробениуса и Вейснера
П.Е. Дюбюк ([unknown])
Matematiceskij sbornik
Similarity:
О методе суммирования С.Н. Бернштейна
Ф.И. Харшиладзе (1942)
Matematiceskij sbornik
Similarity:
Новое доказательство теоремы Pohlke
А.К. Власов ([unknown])
Matematiceskij sbornik
Similarity:
Sammlung von Aufgaben und Lehrsätzen aus der analytischen Geometrie des Raumes Th. 4
Ludwig Immanuel Magnus
Similarity:
Polygonal Roulettes.
D.W. DeTemple, D.J. Baxter (1977)
Elemente der Mathematik
Similarity:
О равновесии упругих тел с винтовой симметрией
П.К. Рашевский ([unknown])
Matematiceskij sbornik
Similarity:
Original title unknown
([unknown])
Matematiceskij sbornik
Similarity: