2017-05-18 13:00:12

An Improved Implementation Of Wang'S Theorem Prover Algorithm

Usuários relacionados: Maria Carolina Monard

Advances in Molelling Analysis

Referência

Bibtex

@Article{Monard1993a,
  Title = {An Improved Implementation Of Wang'S Theorem Prover Algorithm},
  Author = {Maria Carolina Monard and Maria do Carmo Nicoletti},
  Journal = {Advances in Molelling Analysis},
  Year = {1993},
  Number = {1},
  Pages = {55--64},
  Volume = {25},
  ISSN = {99999999}
}