Olá Aracele,
> Alguém do grupo utiliza ou sabe me dizer sobre a existência de provadores
> automáticos de teoremas, mas na versão para web, ou seja, cujo acesso seja
> através da internet?
O Geoff Sutcliffe disponibiliza o "System On TPTP", que permite testar online
(usando o servidor dele em Mi
Oi Aracele,
eu usei um pouquinho o ProofWeb, mas so' pra entender as
ideias basicas. Achei BEM bacana. De^ uma olhada:
http://prover.cs.ru.nl/man.pdf
http://www.dimap.ufrn.br/pipermail/logica-l/2009-July/003722.html
[[]],
Eduardo Ochs
eduardoo...@gmail.com
http://angg.twu.net/
2010/10/1
Aracele,
Depende do que você considere "versão Web".
O KEMS e o LOTREC tem versão Java Web Start. Acaba sendo executado na sua
máquina, mas o início é pela Web.
Os links são:
http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS/JavaWebStart/
http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS/JavaWebStart/i
Olá.
Alguém do grupo utiliza ou sabe me dizer sobre a existência de provadores
automáticos de teoremas, mas na versão para web, ou seja, cujo acesso seja
através da internet?
Desde já agradeço.
--
Att.
Aracele Garcia de Oliveira Fassbinder
___
Logica-
