| Articolul precedent |
| Articolul urmator |
 |
 618 1 |
| Ultima descărcare din IBN: 2020-04-02 20:35 |
 SM ISO690:2012LYALETSKI, Alexander. EA-Style Mathematical Text Processing in English SAD System. In: Conference on Mathematical Foundations of Informatics, Ed. 2017, 9-11 noiembrie 2017, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2017, pp. 98-101. ISBN 978‐9975‐4237‐6‐2. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conference on Mathematical Foundations of Informatics 2017 | ||||||
|
Conferința "Conference on Mathematical Foundations of Informatics" 2017, Chișinău, Moldova, 9-11 noiembrie 2017 | ||||||
|
||||||
| Pag. 98-101 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
The paper contains a short description of some of the features and peculiarities of the English SAD system intended for theorem proving/text verification in the Evidence Algorithm-style in an environment of self-contained mathematical texts. |
||||||
| Cuvinte-cheie EA-style proof search, self-contained text, Evidence Algorithm, English SAD system, Russian SAD system |
||||||
|
|
|
|
