Архив
ИФИП
Конгресс ИФИП-68
Представленные доклады
Аннотация
Аннотация
к докладу "A Decision Procedure Based on the Resolution Method". Автор - B. Kallick.

Оригинальный язык документа: русский

Изображения страниц:
1 2


Назад
Следующий документ (Аннотация)
Предыдущий документ (Аннотация)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016