2 Commits

Author	SHA1	Message	Date
gauthiier	eccf0492f0	Commented on Computation Project	2015-02-10 13:13:50 +01:00
Robin Boast	b89560b0cd	Some papers that are interesting. ... See especially Computation Project and Wikipedia-computational logic	2015-02-09 08:30:44 +01:00