| Dateien: | ||
| URI: |
http://hdl.handle.net/10900/127093
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1270934 http://dx.doi.org/10.15496/publikation-68456 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1270932 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1270935 |
| Dokumentart: | Other |
| Date: | 1998 |
| Language: | German |
| Faculty: | 5 Philosophische Fakultät |
| Department: | Philosophie |
| DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy |
| Keywords: | Logik |
| Other Keywords: |
Automatisches Beweisen Wissenschaftsgeschichte |
| License: | http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
| Order a printed copy: |
|
| Show full item record |