The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Propositional Proof Systems
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
pdf
Author:
Bruce M Kapron (editor)
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через