Результаты поиска
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
-
1
Proof technology and computation
Опубликовано 2006An electronic book accessible through the World Wide Web; click to view
Электронный ресурс Материалы конференции eКнига -
2
Conditional and preferential logics proof methods and theorem proving /
Опубликовано 2010An electronic book accessible through the World Wide Web; click to view
Электронный ресурс eКнига -
3
Recent progress in the Boolean domain /
Опубликовано 2014An electronic book accessible through the World Wide Web; click to view
Электронный ресурс eКнига -
4
The little prover /
Опубликовано 2015An electronic book accessible through the World Wide Web; click to view
Электронный ресурс eКнига -
5
Conditional and preferential logics proof methods and theorem proving /
Опубликовано 2010An electronic book accessible through the World Wide Web; click to view
Электронный ресурс eКнига -
6
Recent progress in the Boolean domain /
Опубликовано 2014An electronic book accessible through the World Wide Web; click to view
Электронный ресурс eКнига -
7
The little prover /
Опубликовано 2015An electronic book accessible through the World Wide Web; click to view
Электронный ресурс eКнига -
8
Proof technology and computation
Опубликовано 2006An electronic book accessible through the World Wide Web; click to view
Электронный ресурс Материалы конференции eКнига