عنوان
پدید آورنده
موضوع
رده
QA 3 .A475 no.604
QA
3
.
A475
no
.
604
کتابخانه
محل استقرار
Decision problems for equational theories of relation algebras
Providence, R. I.
American Mathematical Society
c1997
xiv, 126 p.: ill
Memoirs of the American Mathematical Society; no.406
"March 1997, volume 126, number 604"
Bibliography: p. 112-114
ISBN 0821805959
Hajnal Andreka, Steven Givant, Istvan Nemeti
1
، Relation algebras
، Decidability )Mathematical logic(
QA
3
.
A475
no
.
604
Andreka, Hajnal
AU
AU Givant, Steven Roger, 1943-
AU Nemeti, Istvan
TI
SE American Mathematical Society. Memoirs no.604
