Last stretch
Resolution refutation Predicate Calculus pff *** kiss my *** Skolem functions prenex form PROLOG pshhhh.
Stack overflow.
Error loading reality.sys. Load alternate universe? (y/n)
2004.11.16
the corner office
a blog, by Colin Pretorius
a blog, by Colin Pretorius
Resolution refutation Predicate Calculus pff *** kiss my *** Skolem functions prenex form PROLOG pshhhh.
Stack overflow.
Error loading reality.sys. Load alternate universe? (y/n)
2004.11.16
rss feed