> > > "Inferência profunda" não lhe parece adequado? > > Bem, eu tenho meus motivos "off topic" para não gostar muito da idéia... >
Off topic?! > > Haveria alguma alternativa interessante? > > Não, realmente não. Talvez continue a usar o termo em inglês... > > Eu fui uma das primeiras pessoas (se não a primeira...) a trabalhar > com proof search em deep inference. Devo dizer que se um dia for > obrigada a dizer que faço "busca por demonstrações em inferência > profunda" vou preferir mudar de área... :) > Você nunca vai ser obrigada a nada, Elaine. Abração, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
