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
