Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Saturation-Based Decision Procedures for Extensions of the...

Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]

Yevgeny Kazakov
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Категорії:
Рік:
2006
Видавництво:
Universität des Saarlandes
Мова:
english
Сторінки:
315
Файл:
PDF, 2.98 MB
IPFS:
CID , CID Blake2b
english, 2006
Читати Онлайн
Виконується конвертація в
Конвертація в не вдалась

Ключові фрази