Beweistheorie
Die Beweistheorie ist ein Teilgebiet der Theoretischen Informatik und beschäftigt sich mit der Frage, wie man semantische Eigenschaften von Formeln mittels syntaktischer Manipulation entscheiden kann.
Websites:
Tagoror |
Guajara |
Tacoronte Guia |
Todo Gomera |
Deranet |
Radioaficionados |
Cinebso |
Mi Buscador
Enciclopedia On Line:
GNU FDL.
