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 [email protected] http://angg.twu.net/
2010/10/19 Adolfo Neto <[email protected]>: > 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/index.jnlp > > http://www.irit.fr/Lotrec/ > http://www.irit.fr/Lotrec/JWS/launch.jnlp > > Att. > Adolfo > > ============================================================ > Adolfo Neto > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > Twitter: http://twitter.com/adolfont > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > ============================================================ > > > 2010/10/19 Aracele Garcia de Oliveira <[email protected]> > >> 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-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
