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
Graph-Based Proof Procedures for Horn Clauses

GGraph-Based Proof Procedures for Horn Clauses

Número de Cutter-SanbornR111gEntrada «Ra» → 111 · marca de obra “g”

Graph-Based Proof Procedures for Horn Clauses

Ediciones (1)

Graph-Based Proof Procedures for Horn Clauses (2014)
Birkhäuser Boston · inglés · ISBN 9781489935571

Graph-Based Proof Procedures for Horn Clauses — S. Raatz | Cutter Number