microblog_logica_para_computacao
This is an old revision of the document!
- The Gateway to Logic is a collection of web-based logic programs offering a number of logical functions (e.g. truth tables, normal forms, proof checking, proof building).https://logik.phl.univie.ac.at/~chris/gateway/. 6 de julho de 2017.
- Paper que descreve algoritmo para sistemas axiomáticos. Generating hints and feedback for Hilbert-style axiomatic proofs. http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf. 6 de julho de 2017.
microblog_logica_para_computacao.1499349675.txt.gz · Last modified: 2020/11/19 11:42 (external edit)