Overview of Automated Reasoning in Serbia
Review of the National Center for Digitization (2012)
- Issue: 20, page 53-58
- ISSN: 1820-0109
Access Full Article
topHow to cite
topPredrag Janičić. "Overview of Automated Reasoning in Serbia." Review of the National Center for Digitization (2012): 53-58. <http://eudml.org/doc/254167>.
@article{PredragJaničić2012,
author = {Predrag Janičić},
journal = {Review of the National Center for Digitization},
language = {eng},
number = {20},
pages = {53-58},
publisher = {Faculty of Mathematics},
title = {Overview of Automated Reasoning in Serbia},
url = {http://eudml.org/doc/254167},
year = {2012},
}
TY - JOUR
AU - Predrag Janičić
TI - Overview of Automated Reasoning in Serbia
JO - Review of the National Center for Digitization
PY - 2012
PB - Faculty of Mathematics
IS - 20
SP - 53
EP - 58
LA - eng
UR - http://eudml.org/doc/254167
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.