|
|
Bl"asius, Karl Hans and B"urckert, Hans-J"urgen (1987): Deduktions-Systeme - Automatisierung des logischen denkens
| Title: |
Deduktions-Systeme - Automatisierung des logischen denkens |
| Author(s): |
Bl"asius, Karl Hans and B"urckert, Hans-J"urgen |
| Year: |
1987 |
| Publisher: |
Oldenbourg |
| Address: |
M"unchen, Wien |
Concepts
|
|
