cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Two methods for checking formulas of temporal logic

TTwo methods for checking formulas of temporal logic

Número de Cutter-SanbornM478tEntrada «Mazzon» → 478 · marca de obra “t”

Two methods for checking formulas of temporal logic

de Hugh W. McGuire · Publicada por primera vez en 1995

Materias

Automatic theorem proving
Computer algorithms
Logic, Symbolic and mathematical
Symbolic and mathematical Logic

Ediciones (1)

Two methods for checking formulas of temporal logic (1995)
Dept. of Computer Science, Stanford University · inglés

Más obras de Hugh W. McGuire

Tapa de Book

Book

Ver todas las obras de Hugh W. McGuire →

Two methods for checking formulas of temporal logic — Hugh W. McGuire | Cutter Number