http://student.praguecollege.cz.m117.server4u.cz/ cs Mon, 03 May 2010 14:15:53 +0200 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:553/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:553/ Stefano Cavagnetto edited profile. Mon, 03 May 2010 14:15:53 +0200 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:549/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:549/ Document The Code of Coal edited. Mon, 26 Apr 2010 13:59:43 +0200 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:548/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:548/ Document The Code of Coal added. Mon, 26 Apr 2010 13:59:19 +0200 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:547/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:547/ Document Morality and Artificial Agents in Cyberspace added. Mon, 26 Apr 2010 13:57:40 +0200 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:458/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:458/ Stefano Cavagnetto edited profile. Wed, 27 Jan 2010 17:34:19 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:448/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:448/ Document Applications of Propositional Logic to Cellular Automata edited. Thu, 14 Jan 2010 23:38:28 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:447/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:447/ Document The Lengths of Proofs: Kreisel’s conjecture and Godel’s speed-up theorem edited. Thu, 14 Jan 2010 23:37:42 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:446/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:446/ Document String Rewriting and Proof Complexity: an interpretation of Resolution edited. Thu, 14 Jan 2010 23:36:14 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:445/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:445/ Document The Conception of the Self in Multiple Cyber Worlds edited. Thu, 14 Jan 2010 23:31:53 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:444/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:444/ Document String Rewriting and Proof Complexity: an interpretation of Resolution added. Thu, 14 Jan 2010 23:30:57 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:443/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:443/ Document The Lengths of Proofs: Kreisel’s conjecture and Godel’s speed-up theorem added. Thu, 14 Jan 2010 23:27:21 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:442/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:442/ Document Applications of Propositional Logic to Cellular Automata added. Thu, 14 Jan 2010 23:22:57 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:441/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:441/ Document The Conception of the Self in Multiple Cyber Worlds added. Thu, 14 Jan 2010 23:20:42 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:440/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:440/ Stefano Cavagnetto edited profile. Wed, 13 Jan 2010 18:18:47 +0100 http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:439/ http://student.praguecollege.cz.m117.server4u.cz/user-rss-redirect/polozka:439/ Stefano Cavagnetto edited profile. Wed, 13 Jan 2010 14:14:04 +0100