Um método de inferência lógica baseado na transformação dual

Authors :: Tonin, Isabel
Universidade Federal de Santa Catarina
Bittencourt, Guilherme
Source :: Repositório Institucional da UFSC, Universidade Federal de Santa Catarina (UFSC), instacron:UFSC
Publication Year :: 1997
Publisher :: Florianópolis, SC, 1997.
Abstract: Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.

Subjects :: Inferencia (Logica)
Transformações (Matematica)
Teses
Inteligencia artificial

Language :: Portuguese
Database :: OpenAIRE
Journal :: Repositório Institucional da UFSC, Universidade Federal de Santa Catarina (UFSC), instacron:UFSC
Accession number :: edsair.od......3056..26a14250264e0ba834892f506101ef5c

Tools