Pinboard (emk)
https://pinboard.in/u:emk/public/
recent bookmarks from emk
-
Picat
2018-03-12T01:41:54+00:00
http://picat-lang.org/
emk
programming logic constraints
https://pinboard.in/
https://pinboard.in/u:emk/b:5207ecc6bd4f/
-
Logic Production Systems (LPS) | Lambda the Ultimate
2017-03-27T09:38:16+00:00
http://lambda-the-ultimate.org/node/5419
emkproglang logic
https://pinboard.in/u:emk/b:895fd2575066/
-
Tombone's Computer Vision Blog: Deep Learning vs Probabilistic Graphical Models vs Logic
2017-01-07T23:52:46+00:00
http://www.computervisionblog.com/2015/04/deep-learning-vs-probabilistic.html
emk
ai logic
https://pinboard.in/
https://pinboard.in/u:emk/b:f5691468b2dd/
-
Z3Prover/z3
2015-03-27T10:46:26+00:00
https://github.com/Z3Prover/z3
emk
math logic
https://pinboard.in/
https://pinboard.in/u:emk/b:af5f7fe73582/
-
difference between SQL and Prolog - Stack Overflow
2015-02-16T17:29:12+00:00
http://stackoverflow.com/questions/2117651/difference-between-sql-and-prolog/2124585#2124585
emkprolog datalog sql logic
https://pinboard.in/
https://pinboard.in/u:emk/b:23420b64f630/
-
space and games » Infinite Certainty
2012-02-06T14:33:24+00:00
http://www.spaceandgames.com/?p=27
emk
logic mathematics humor
https://pinboard.in/u:emk/b:e34fd0d8a20b/