1 Matching Annotations
  1. Sep 2018
  2. www.ps.uni-saarland.de www.ps.uni-saarland.de
    Table of Contents
    1
    1. Jose_A_Alonso 01 Sep 2018

      Teoría en Coq correspondiente al curso "Introduction to computational logic".

      Coq Logic
    Visit annotations in context

    Tags

    Annotators

    URL

    ps.uni-saarland.de/courses/cl-ss16/LectureNotes/html/toc.html