Entry Ladd:1989:TSC from cccuj.bib
Last update: Fri Jun 21 02:02:13 MDT 2019
Top |
Symbols |
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{Ladd:1989:TSC,
author = "Scott Robert Ladd",
title = "A Tool For Simplifying Complex Logic",
journal = j-CUJ,
volume = "7",
type = "User Report",
number = "2",
pages = "69--??",
month = feb,
year = "1989",
ISSN = "0898-9788",
bibdate = "Fri Aug 30 16:52:23 MDT 1996",
bibsource = "http://www.cuj.com/cbklist.htm;
http://www.math.utah.edu/pub/tex/bib/cccuj.bib",
acknowledgement = ack-nhfb,
}
Related entries
- complex,
6(2)31,
6(3)57,
8(5)59,
8(9)45,
9(1)123,
11(5)61,
13(10)8,
13(11)8,
16(1)z,
16(9)z,
16(12)z,
17(7)22,
17(9)71
- Ladd, Scott Robert,
7(7)59,
7(7)119,
9(1)53
- logic,
11(11)55,
12(3)47,
14(10)94,
17(8)48
- Simplifying,
13(9)43
- tool,
0(0)xv--447,
0(0)xxiv--408,
0(0)x--261,
6(3)65,
6(5)61,
6(5)75,
6(5)75,
6(8)29,
7(2)103,
7(8)9,
7(10)65,
8(2)113,
8(4)89,
8(6)107,
8(8)111,
8(9)57,
8(11)119,
8(11)126,
8(12)101,
9(11)128,
10(10)93,
11(1)121,
11(11)121,
12(1)87,
12(3)137,
12(7)41,
12(8)87,
12(12)33,
13(12)94,
15(7)25,
15(9)51,
16(1)z,
16(6)z,
16(9)z,
17(4)z