Esta edición ISBN ya no está disponible.
Artificial Intelligence, Theorem Proving and SAT Solving.- Symbolic and Numerical Computation.- Intelligent Documents and Collective Intelligence.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
ISBN 10: 3319999567 ISBN 13: 9783319999562 Editorial: Springer, 2018 Tapa blanda
Se le cobrará en {0}.
Verá los precios en {0} solo como referencia. Sus pedidos se procesarán en {1}.
Más información sobre las preferencias de moneda.