Búsqueda de LIBROS DEL AUTOR: richard char tung lee

1 resultados

richard char tung lee Eliminar filtro Quitar filtros
  • SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING
    ebook
    SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING
    CHIN-LIANG CHANG / RICHARD CHAR-TUNG LEE
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various ...

    $970.00

    Ver detalle