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
On simultaneous rigid E-unification

OOn simultaneous rigid E-unification

Número de Cutter-SanbornV394oEntrada «Ve» → 394 · marca de obra “o”

On simultaneous rigid E-unification

de Margus Veanes

Materias

Automatic theorem proving

Ediciones (1)

On simultaneous rigid E-unification (1997)
Uppsala University, Computing Science Dept. · inglés

Más obras de Margus Veanes

Tapa de Model-based software testing and analysis with C♯

Model-based software testing and analysis with C♯

Tapa de Model-based software testing and analysis with C♯

Model-based software testing and analysis with C♯

Tapa de Tests and Proofs

Tests and Proofs

On simultaneous rigid E-unification — Margus Veanes | Cutter Number

T

Testing of Software and Communicating Systems

Testing of Software and Communicating Systems

Ver todas las obras de Margus Veanes →