Last update: Sat Mar 2 02:07:13 MST 2019
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Zhang:2008:SPR,
author = "Jiancheng Zhang",
title = "Some properties of the roots of theories in
propositional logic systems",
journal = j-COMPUT-MATH-APPL,
volume = "55",
number = "9",
pages = "2086--2093",
month = may,
year = "2008",
CODEN = "CMAPDK",
ISSN = "0898-1221 (print), 1873-7668 (electronic)",
ISSN-L = "0898-1221",
bibdate = "Wed Mar 1 21:50:12 MST 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computmathappl2000.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0898122107006888",
acknowledgement = ack-nhfb,
fjournal = "Computers and Mathematics with Applications",
journal-URL = "http://www.sciencedirect.com/science/journal/08981221",
}
Related entries
- logic,
39(3)263,
39(7)265,
40(2)414,
40(2)416,
45(10)1683,
45(10)1774,
55(5)889,
55(8)1660,
55(9)1974
- property,
40(2)417,
41(3)363,
41(5)703,
42(1)141,
42(1)211,
42(3)671,
42(8)1135,
43(10)1391,
44(10)1329,
45(4)709,
45(6)961,
45(6)1001,
45(6)1137,
46(2)263,
46(10)1633,
46(10)1735,
47(2)253,
47(4)569,
47(6)997,
47(6)1057,
47(8)1397,
47(10)1689,
47(10)1745,
48(1)191,
48(5)789,
48(12)1947,
49(9)1565,
50(3)425,
50(8)1231,
51(2)189,
51(11)1663,
52(3)323,
52(6)809,
52(6)975,
52(12)1671,
54(3)399,
55(6)1137,
56(4)1121,
56(10)2733,
56(12)3109,
57(4)513,
57(7)1179,
57(9)1450,
58(4)686,
58(6)1169,
58(9)1722,
58(9)1869
- root,
41(1)1,
42(1)115,
45(1)9,
47(2)441,
51(3)527,
51(3)605,
55(9)2012,
56(2)411,
57(4)565,
57(9)1574,
58(9)1852
- theory,
39(1)55,
39(1)183,
39(1)245,
39(3)260,
39(3)265,
39(5)227,
39(12)1,
40(2)415,
40(2)416,
40(6)835,
40(6)845,
41(3)538,
41(5)619,
41(7)917,
41(9)1199,
41(10)1465,
42(12)1523,
43(8)975,
44(5)763,
45(1)391,
45(4)555,
46(2)502,
46(2)512,
46(5)979,
47(6)1145,
47(8)1257,
47(10)1535,
47(10)1745,
49(5)841,
49(11)1709,
49(11)1867,
51(1)17,
51(9)1405,
51(12)1761,
52(6)997,
52(8)1299,
52(10)1439,
52(10)1563,
53(2)156,
53(2)287,
53(3)461,
53(5)803,
53(7)1107,
53(9)1390,
54(2)242,
54(2)267,
54(5)664,
54(5)730,
54(7)1000,
55(5)1034,
55(8)1754,
56(1)1,
56(2)375,
56(7)1899,
56(9)2418,
56(12)3046,
57(3)367,
57(5)691,
57(9)1438,
57(9)1547,
57(11)1792