Journal of Automated Reasoning - Journal of Automated Reasoning
| Disciplína | Počítačová věda |
|---|---|
| Jazyk | Angličtina |
| Upraveno podle | Tobias Nipkow |
| Podrobnosti o publikaci | |
| Dějiny | 1983 – dosud |
| Vydavatel | |
| Frekvence | 8 / rok |
| 0.714 (2011) | |
| Standardní zkratky | |
| ISO 4 | J. Autom. Důvod. |
| MathSciNet | J. Automat. Důvod. |
| Indexování | |
| KÓD | JAREEW |
| ISSN | 0168-7433 (tisk) 1573-0670 (web) |
| LCCN | sf93093541 |
| OCLC Ne. | 263592661 |
| Odkazy | |
)The Journal of Automated Reasoning byla založena v roce 1983 společností Larry Wos, kdo byl jeho šéfredaktor do roku 1992.[1] Pokrývá výzkum a pokrok v automatické uvažování - mechanické ověření věty a další odpočty v klasickém i neklasickém provedení logika.[2]
Časopis vydává Springer Science + Business Media. Od roku 2010 je šéfredaktorem Tobias Nipkow. Časopis 2011 nárazový faktor je 0,714 a je indexován několika službami indexování vědy, včetně Science Citation Index Expanded a Scopus.[3]
Reference
- ^ Robert Veroff, Automatizované uvažování a jeho aplikace
- ^ Allen B. Tucker, Příručka k počítačové vědě
- ^ „Journal of Automated Reasoning“. Springer. Citováno 2. srpna 2010.