No label defined (Q3406481)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
17 February 2010
0 references
George Boole
0 references
history of logic and computer science
0 references
biography
0 references
De Morgan
0 references
Hamilton
0 references
separation of symbols
0 references
Gregory
0 references
computer algebra
0 references
Boole's inference procedures
0 references
logical consequence
0 references
rule-based expert systems
0 references
