Search Results - "Marseille"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

    Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus by Zimmer, Juergen, Dennis, Louise Abigail

    Published 2002
    Get full text
  2. 2
    Aspect-based sentiment analysis as fine-grained opinion mining

    Aspect-based sentiment analysis as fine-grained opinion mining by Diaz, Gerardo Ocampo, Zhang, Xuanming, Ng, Vincent

    Published 2020
    Get full text
  3. 3
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Get full text

Search Tools: