Webpage : http://link.springer.com/article/10.1007%2Fs10472-014-9443-5
S. Stojanovic Durdevic , J. Narboux , P. Janicic
Annals of Mathematics and Artificial Intelligence , Volume 74 , Number 3-4 , page 249-269 - 2015
International journal
Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski's Geometry, Annals of Mathematics and Artificial Intelligence, Springer Verlag (Germany) ( SNIP : 0.92, SJR : 0.383 ), pages 249-269, Volume 74, n° 3-4, janvier 2015. SJR Q2, doi:10.1007/s10472-014-9443-5
Research team : IGG
Platform : GAIA
@Article{2-SNJ15, author = {Stojanovic Durdevic, S. and Narboux, J. and Janicic, P.}, title = {Automated Generation of Machine Verifiable and Readable Proofs: A Case Study of Tarski's Geometry}, journal = {Annals of Mathematics and Artificial Intelligence}, number = {3-4}, volume = {74}, pages = {249-269}, month = {Jan}, year = {2015}, note = {SJR Q2}, doi = {10.1007/s10472-014-9443-5}, x-international-audience = {Yes}, x-language = {EN}, url = {http://publis.icube.unistra.fr/2-SNJ15} }