Old Web
English
Sign In
Acemap
>
Paper
>
Automated Invention of Strategies and Term Orderings for Vampire
Automated Invention of Strategies and Term Orderings for Vampire
2017
Jan Jakubuv
Martin Suda
Josef Urban
Keywords:
Natural language processing
Vampire
Computer science
Artificial intelligence
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]