文献
J-GLOBAL ID:200902111781142040
整理番号:93A0754460
Zモジュール推論 組み込みの環公理を持つ等号指向証明法
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.
著者 (1件):
WANG T-C
(Kestrel Inst., California)
資料名:
Journal of the Association for Computing Machinery
(Journal of the Association for Computing Machinery)
巻:
40
号:
3
ページ:
558-606
発行年:
1993年07月
JST資料番号:
C0267A
ISSN:
0004-5411
CODEN:
JACOA
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)