Relational Methods In Computer Science
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1994 |
| Editors | Gunther Schmidt |
| Chris Brink | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1988358 |
About Relational Methods In Computer Science
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. . . .