Showing 1 - 1 results of 1 for search 'Johann Ambrosius Bach~', query time: 1.04s Refine Results
  1. 1
    http://purl.org/coar/resource_type/c_f744
    Theorem Proving Modulo Based on Boolean Equational Procedures
    Por Rocha, Camilo; Meseguer, José
    Published in 2008
    Repositorio Repositorio Institucional ECI

    “... to the traditional Boolean theory and show that each of them gives rise to a Boolean decision procedure based on a...”
    Get full text
Search Tools: Get RSS Feed — Email this Search