Número de Cutter-SanbornD263mEntrada «Davis, M.» → 263 · marca de obra “m”

Machine Program for Theorem-Proving

Name: Machine Program for Theorem-Proving
ISBN: 9781379081265

Autor	Martin Davis, George Logemann, Donald Loveland
Editorial	Creative Media Partners, LLC
Fecha de publicación	2018
Idioma	inglés
ISBN-13	9781379081265
Número de Cutter	`D263m`

Machine Program for Theorem-Proving (2018) — ISBN 9781379081265 | Cutter Number