| |
Reviews in category "Logics And Meanings Of Programs (F.3)": |
|
 Explainability is not a game
Marques-Silva J., Huang X. Communications of the ACM 67(7): 66-75, 2024. Type: Article |
|
Information dynamics: in classical and quantum systems
Dittrich T., Springer, New York, NY , 2022. 557 pp. Type: Book (978-3030967444) |
|
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp. Type: Book (3031211138) |
|
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp. Type: Book (3031211138) |
|
A first journey through logic
Hils M., Loeser F., AMERICAN MATHEMATICAL SOCIETY, Providence, RI, 2019. 185 pp. Type: Book (978-1-470452-72-8) |
more...
|
|
|
|
