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