Английская Википедия:International Joint Conference on Automated Reasoning: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

26 марта 2024

  • текущ.пред. 12:2312:23, 26 марта 2024‎ EducationBot обсуждение вклад‎ 3903 байта +3903‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{short description |Conferences series on automated reasoning, automated deduction, and related fields}} {{Use British English |date=February 2024}} {{Use dmy dates |date=February 2024}} {{More citations needed |date=February 2024}} The '''International Joint Conference on Automated Reasoning''' ('''IJCAR''') is a series of conferences on the topics of automated reasoning, autom...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:International_Joint_Conference_on_Automated_Reasoning