Recent Progress In The Boolean Domain / Steinbach, Bernd  

Público ISBD Ningún comentario para este título. Título : Recent Progress In The Boolean Domain Tipo de documento: documento electrónico Autores: Steinbach, Bernd, Editorial: Cambridge Scholars Publishing Fecha de publicación: 2014 Número de páginas: 1 online resource (458 pages) : Il.: illustrations ISBN/ISSN/DL: 9781443859677 Nota general: "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." Palabras clave:   Automatic theorem proving  Logic  Symbolic and mathematical Clasificación: 004.015113 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/148465 Recent Progress In The Boolean Domain [documento electrónico] / Steinbach, Bernd,  . - Cambridge Scholars Publishing, 2014 . - 1 online resource (458 pages) : : illustrations. ISBN : 9781443859677 "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." Palabras clave:   Automatic theorem proving  Logic  Symbolic and mathematical Clasificación: 004.015113 Enlace de acceso : https://elibro-net.biblioproxy.umanizales.edu.co/es/lc/umanizales/titulos/148465

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200