Scribd
Upload

Uploads

View More
  • CV
    PDF

    CV

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • The Code of Coal
    PDF

    The Code of Coal

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • String Rewriting and Proof Complexity: An Interpretation of Resolution
    PDF

    String Rewriting and Proof Complexity: An Interpretation of Resolution

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • Morality and Artificial Agents in Cyberspace
    PDF

    Morality and Artificial Agents in Cyberspace

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • The Lengths of Proofs: Kreisel's Conjecture and Godel's Speed-Up Theorem
    PDF

    The Lengths of Proofs: Kreisel's Conjecture and Godel's Speed-Up Theorem

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • Applications of Propositional Logic To Cellular Automata
    PDF

    Applications of Propositional Logic To Cellular Automata

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • The Conception of The Self in Multiple Cyber Worlds
    PDF

    The Conception of The Self in Multiple Cyber Worlds

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
  • CV
    PDF

    CV

    Added by stefanodot

    function kt(e,t){var n=e+t;return n<=0?0:Math.round(e/n*100)}% found this document useful
View More