Перейти к навигации Перейти к поиску
Страницы в категории "Логические конференции"
Следующие 12 страниц находятся в текущей категории. Этот список может не отражать недавние изменения ( подробнее ).
я
- Международная конференция по автоматизированному мышлению с аналитическими таблицами и родственными методами
- Международная конференция по логическому программированию
- Международная конференция по методам и приложениям перезаписи
- Международная совместная конференция по автоматизированному мышлению
- Международный семинар по доказательству теорем первого порядка