Resultados da pesquisa
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
-
1
Proof technology and computation
Publicado em 2006An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico Conference Proceeding livro electrónico -
2
Conditional and preferential logics proof methods and theorem proving /
Publicado em 2010An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
3
Recent progress in the Boolean domain /
Publicado em 2014An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
4
The little prover /
Publicado em 2015An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
5
Conditional and preferential logics proof methods and theorem proving /
Publicado em 2010An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
6
Recent progress in the Boolean domain /
Publicado em 2014An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
7
The little prover /
Publicado em 2015An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
8
Proof technology and computation
Publicado em 2006An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico Conference Proceeding livro electrónico