papers-we-love/logic_and_programming at master · linwood/papers-we-love

Name	Name	Last commit message	Last commit date
parent directory ..
README.md	README.md
event-calculus.txt	event-calculus.txt
on-the-meanings-of-the-logical-constants.pdf	on-the-meanings-of-the-logical-constants.pdf
representing-game-dialogue-as-expressions-in-first-order-logic.pdf	representing-game-dialogue-as-expressions-in-first-order-logic.pdf

Name

Last commit message

Last commit date