Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: DOWLING W. F. (著者)
  3. 1件

1 0 0 0 Linear-time algorithms for testing the satisfyability of propositional Horn formulae

著者
DOWLING W. F.
雑誌
J. Log. Program
巻号頁・発行日
vol.3, pp.267-284, 1984
被引用文献数
13 617