Risultati della ricerca
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
-
1
Proof technology and computation
Pubblicazione 2006An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
2
Conditional and preferential logics proof methods and theorem proving /
Pubblicazione 2010An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
3
Recent progress in the Boolean domain /
Pubblicazione 2014An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
4
The little prover /
Pubblicazione 2015An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
5
Conditional and preferential logics proof methods and theorem proving /
Pubblicazione 2010An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
6
Recent progress in the Boolean domain /
Pubblicazione 2014An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
7
The little prover /
Pubblicazione 2015An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
8
Proof technology and computation
Pubblicazione 2006An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook