(Q2555318)
Statements
Identifiers
1 reference
automated-reasoning · GitHub Topics (English)
19 August 2021
Automated Reasoning
Portoraro, Frederic
18 July 2001
0 references
Sitelinks
Wikipedia(22 entries)
- afwiki Geoutomatiseerde redenering
- arwiki استدلال ذاتي التشغيل
- cawiki Raonament automatitzat
- dawiki Automatiseret ræsonnement
- enwiki Automated reasoning
- eswiki Razonamiento automático
- euwiki Arrazoiketa automatiko
- fawiki استدلال خودکار
- frwiki Raisonnement automatisé
- hiwiki स्वचालित तर्क
- hywiki Ավտոմատացված դատողություն
- itwiki Ragionamento automatico
- jawiki 自動推論
- kowiki 자동화된 추론
- plwiki Automatyczne rozumowanie
- ptwiki Raciocínio automatizado
- srwiki Аутоматско резоновање
- trwiki Otomatikleştirilmiş muhakeme
- ukwiki Автоматизоване міркування
- viwiki Suy luận tự động
- zh_yuewiki 自動推理
- zhwiki 自动推理