Logic for computer scientists

Detalles Bibliográficos
Autor principal: Schöning, Uwe
Lenguaje:eng
Publicado: Springer 2008
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-0-8176-4763-6
http://cds.cern.ch/record/1639295
Descripción
Descripción no disponible.

Ejemplares similares