/
githubmirror
/
papers-we-love
Обзор
Документация
Войти
/
githubmirror
/
papers-we-love
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
papers-we-love
/
logic_and_programming
/
..
README.md
Fixed broken links (#641)
5 лет назад
event-calculus.txt
Create event-calculus.txt
12 лет назад
on-the-meanings-of-the-logical-constants.pdf
add boston #2
12 лет назад
representing-game-dialogue-as-expressions-in-first-order-logic.pdf
logic/clojure/gamedev paper
13 лет назад
Logic and Programming
README.md