31 - 31 из 31Размер страницы: 10
Сортировать по:: Год публикации
  1. 2005

  2. Simulating Cutting Plane proofs with restricted degree of falsity by resolution

    Hirsch, E. A. & Nikolenko, S. I., 17 окт 2005, в: Lecture Notes in Computer Science. 3569, стр. 135-142 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование

Назад 1 2 3 4 Далее

ID: 9512813