2017-05-18 10:52:37

Um Provador de Teoremas para Cláusulas Genéricas

Usuários relacionados: Maria Carolina Monard

Série C T do Iltc

Referência

Bibtex

@Article{Monard1992,
  Title = {Um Provador de Teoremas para Cláusulas Genéricas},
  Author = {Maria Carolina Monard and Doris Ferraz de Aragon and Sandra Hebiara},
  Journal = {Série C T do Iltc},
  Year = {1992},
  Number = {8},
  Pages = {1--40},
  Volume = {1},
  ISSN = {01040081}
}