Old Web
English
Sign In
Acemap
>
Paper
>
Software and Platforms - The Alt-Ergo theorem prover
Software and Platforms - The Alt-Ergo theorem prover
2013
Sylvain Conchon
Évelyne Contejean
Alain Mebsout
Mohamed Iguernelala
Keywords:
Automated theorem proving
Software
Mathematics
Theoretical computer science
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]