Categoría:Lecturas

De WikiGLC

Revisión del 10:27 27 oct 2008 de Jalonso (discusión | contribuciones) (New page: Lecturas comentadas.)

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

Saltar a: navegación, buscar

Lecturas comentadas.

Páginas en la categoría «Lecturas»

Las siguientes 15 páginas pertenecen a esta categoría, de un total de 15.

A

A short survey of automated reasoning

C

Constraint Logic Programming using Eclipse

D

Deduction using the ProofWeb system

F

H

How to (really) trust a mathematical proof

L

M

Mathematics and computer science: The interplay

S

Obtenido de «https://www.glc.us.es/web/index.php?title=Categoría:Lecturas&oldid=239»