EasyChair Smart SlideDocs/Log in
Title:Cooperation and Competition in Automated Theorem Proving
Authors:Stephan Schulz
Conference:ANDREI-60
Tags:automated theorem proving, competition and cooperation
Abstract:

Cooperation and competition play an import role in theorem provers and their development. The talk will illustrate this by by discussing some instances of either.

 
Cooperation and Competition in Automated Theorem Proving
 
1
3
5
7
9
11
13
15
17
19
21
23
25
27
29
31
33
35
37
39
41
43
45
47
49
51
53
55
57
59
61
63
65
67
69
71
73
75
77
79
81
83
85
87
89
1of89
1
2
3
4
Copyright © 2002 – 2024 EasyChair