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{Anonymous:2001:BRCc,
author = "Anonymous",
title = "Book Review: {{\booktitle{Computer-aided reasoning:
ACL2 case studies}}: Edited by Matt Kaufmann,
Panagiotis Manolios and $J$ Strother Moore. Kluwer
Academic, Boston. (2000). 337 pages. \$140.00, NLG
355.00, GBP 98.00}",
journal = j-COMPUT-MATH-APPL,
volume = "41",
number = "3--4",
pages = "541--542",
month = feb,
year = "2001",
CODEN = "CMAPDK",
ISSN = "0898-1221 (print), 1873-7668 (electronic)",
ISSN-L = "0898-1221",
bibdate = "Wed Mar 1 21:49:14 MST 2017",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computmathappl2000.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0898122101900392",
acknowledgement = ack-nhfb,
fjournal = "Computers and Mathematics with Applications",
journal-URL = "http://www.sciencedirect.com/science/journal/08981221",
}
Related entries
- $J$,
53(11)1718
- Academic,
40(2)414,
40(2)415,
40(2)416,
40(2)418,
40(2)420,
41(3)542,
47(8)1482
- Boston,
40(2)414,
40(2)415,
40(2)416,
40(2)418,
40(2)420,
41(3)542
- case,
39(7)49,
46(5)978,
47(8)1484,
48(5)805,
48(10)1425,
49(2)303,
53(6)880,
53(8)1284,
56(1)1,
56(2)556,
58(3)579,
58(5)1030
- computer-aided,
56(11)2814
- edited,
39(3)260,
39(3)261,
39(3)262,
39(3)263,
39(3)264,
39(7)264,
39(7)264,
39(7)265,
40(2)414,
40(2)415,
40(2)416,
40(2)417,
40(2)418,
40(2)420,
41(3)535,
41(3)536,
41(3)536,
41(3)537,
41(3)538,
41(3)539,
45(10)1775,
45(10)1776,
45(10)1777,
45(10)1778,
45(10)1781,
45(10)1781,
45(10)1782,
46(2)505,
46(2)507,
46(2)508,
46(2)508,
46(2)511,
46(2)513,
46(2)518,
46(5)978,
46(5)979,
46(5)980,
46(5)980,
46(5)981,
46(5)983,
46(5)984,
47(6)1144,
47(8)1482,
47(8)1484,
47(8)1486
- GBP,
39(3)262,
39(3)263,
39(7)265,
40(2)414,
40(2)415,
40(2)416,
40(2)418,
40(2)420,
41(3)536,
41(3)537,
41(3)538,
41(3)542,
46(5)978,
46(5)979,
46(5)981,
47(6)1149,
47(8)1478,
47(8)1480,
47(8)1481,
47(8)1482,
47(8)1483
- Kluwer,
39(3)262,
40(2)414,
40(2)415,
40(2)416,
40(2)418,
40(2)420,
41(3)542,
47(8)1482
- Matt,
39(3)263,
39(3)266,
39(7)265
- NLG,
39(3)260,
39(3)262,
40(2)414,
40(2)415,
40(2)416,
40(2)418,
40(2)420,
41(3)542
- reasoning,
41(3)542,
44(12)1567,
51(3)515,
51(9)1507,
52(3)305,
53(7)1020,
56(10)2445,
58(8)1598,
58(8)1604
- study,
40(4)569,
41(5)783,
41(7)893,
42(1)255,
42(8)1093,
43(8)1183,
44(3)511,
44(12)1599,
45(1)131,
45(1)329,
46(5)719,
46(5)783,
46(5)891,
46(5)978,
46(5)980,
46(7)1037,
47(4)519,
49(2)303,
50(7)1011,
50(8)1291,
51(3)621,
51(5)697,
51(11)1677,
53(6)880,
53(7)1088,
54(2)242,
55(2)132,
55(7)1450,
55(7)1611,
55(8)1842,
55(10)2247,
56(6)1545,
56(6)1617,
56(9)2329,
57(1)67,
57(9)1485,
58(3)414,
58(6)1190,
58(8)1498,
58(11)2107,
58(11)2221