European University Institute Library
Automatic theorem proving + Computer programs
Type
http://bibfra.me/vocab/lite/Topic
Label
Automatic theorem proving + Computer programs
Name
Automatic theorem proving + Computer programs
Broader
Computer programs
Automatic theorem proving
Actions
Share resources about the Topic
Incoming Resources
Focus of
1
Automatic theorem proving + Computer programs
Outgoing Resources
Broader
2
Computer programs
Automatic theorem proving
Link Analysis