erratum · Information and Computation · 1984

Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

Yamasaki, S., & Doshita, S. (1984). Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic. Information and Computation, 61, 174.

MLA 9

Yamasaki, Susumu, and Shuji Doshita. “Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic.” Information and Computation, vol. 61, 1984, p. 174.

Chicago

Yamasaki, Susumu, and Shuji Doshita. 1984. “Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic.” Information and Computation 61: 174.

Harvard

Yamasaki, S. and Doshita, S. (1984) ‘Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic’, Information and Computation, 61, p. 174.

BibTeX

@article{yamasaki1984erratum,
  title = {{Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic}},
  author = {Yamasaki, Susumu and Doshita, Shuji},
  journal = {Information and Computation},
  volume = {61},
  pages = {174},
  year = {1984}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.