Esta es nuestra librería de México.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. Ve a nuestra librería de Estados Unidos para continuar.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings eBook de

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov
Springer Nature Proceedings Computer Science

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:9783662488997
  • Fecha de lanzamiento:1 dic 2015
  • Editorial:Springer Berlin Heidelberg
  • Edición:Springer
  • Formato de archivo:EPUB2
  • Tamaño de archivo:12.04 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)