A short survey of automated reasoning

De WikiGLC

Revisión del 08:51 22 oct 2008 de Jalonso (discusión | contribuciones) (New page: J. Harrison [http://www.cl.cam.ac.uk/~jrh13/papers/ab.html A short survey of automated reasoning]. ''Proceedings of the Second International Conference on Algebraic Biology, AB 2007''. Spr...)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Saltar a: navegación, buscar

J. Harrison A short survey of automated reasoning. Proceedings of the Second International Conference on Algebraic Biology, AB 2007. Springer LNCS vol. 4545, pp. 334-349, 2007.

Obtenido de «https://www.glc.us.es/web/index.php?title=A_short_survey_of_automated_reasoning&oldid=159»