Detalles de la búsqueda
1.
The Higher-Order Prover Leo-II.
J Autom Reason
; 55(4): 389-404, 2015.
Artículo
en Inglés
| MEDLINE | ID: mdl-30174358
2.
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset).
Data Brief
; 33: 106409, 2020 Dec.
Artículo
en Inglés
| MEDLINE | ID: mdl-33134442
3.
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).
Data Brief
; 24: 103823, 2019 Jun.
Artículo
en Inglés
| MEDLINE | ID: mdl-31016212
Resultados
1 -
3
de 3
1
Próxima >
>>