automated reasoning (Q2555318)
Jump to navigation
Jump to search
subfield of computer science and logic
- reasoning
Language | Label | Description | Also known as |
---|---|---|---|
English | automated reasoning |
subfield of computer science and logic |
|
Statements
Identifiers
1 reference
automated-reasoning · GitHub Topics (English)
19 August 2021
1 reference
Sitelinks
Wikipedia(19 entries)
- afwiki Geoutomatiseerde redenering
- arwiki استدلال آلي
- dawiki Automatiseret ræsonnement
- enwiki Automated reasoning
- eswiki Razonamiento automático
- euwiki Arrazoiketa automatiko
- fawiki استدلال خودکار
- frwiki Raisonnement automatisé
- hiwiki स्वचालित तर्क
- itwiki Ragionamento automatico
- jawiki 自動推論
- kowiki 자동화된 추론
- ptwiki Raciocínio automatizado
- srwiki Аутоматско резоновање
- trwiki Otomatikleştirilmiş muhakeme
- ukwiki Автоматизоване міркування
- viwiki Suy luận tự động
- zh_yuewiki 自動推理
- zhwiki 自动推理