Some upper and lower bounds on decision procedures in logic

Materias

• Logic, Symbolic and mathematical
• Sequential machine theory
• Symbolic and mathematical Logic

Ediciones (1)

• Some upper and lower bounds on decision procedures in logic (1974)

  Massachusetts Institute of Technology, Project MAC · inglés

Más obras de Jeanne Ferrante

Languages and compilers for parallel computing

Ver todas las obras de Jeanne Ferrante →