City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
Computer Science Club

Элиминация кванторов в теории вещественных чисел
Computability and logic

What: Lecture
When: Wednesday, 09 November 2011, 18:30–19:50
Where: ПОМИ РАН

Description

Элиминация кванторов в теории вещественных чисел (алгоритм Тарского).

Computer Science Club, 2007–24 гг.