LIBROS DEL AUTOR: c w rackoff

2 resultados para LIBROS DEL AUTOR: c w rackoff

c w rackoff Eliminar filtro Quitar filtros
  • The Computational Complexity of Logical Theories
    C. W. Rackoff / J. Ferrante
    and background.- Ehrenfeucht games and decision procedures.- Integer addition - An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds. ...
    Disponible

    48,01 €

  • The Computational Complexity of Logical Theories
    C. W. Rackoff / J. Ferrante
    ...
    Disponible

    66,45 €