Logic for Programming, Artificial Intelligence, and Reasoning

Elemento

Título (dcterms:title)

Logic for Programming, Artificial Intelligence, and Reasoning

Autores (dcterms:creator)

McMillan

Año Publicación (dcterms:date)

2013

Editorial (dcterms:publisher)

Springer Berlin Heidelberg

ISBN (bibo:isbn)

978-3-642-45220-8

eBook (bibo:isbn13)

978-3-642-45221-5

PDF (bibo:uri)

https://cutt.ly/6nrNPEy

Colecciones

Springer