JavaScript is disabled for your browser. Some features of this site may not work without it.
| Dateien: |
|
|
| URI: |
http://hdl.handle.net/10900/129453
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294534 http://dx.doi.org/10.15496/publikation-70816 |
| Dokumentart: | Other |
| Date: | 1992-02-19 |
| Language: | English |
| Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
| Department: | Informatik |
| DDC Classifikation: | 004 - Data processing and computer science |
| Keywords: | Logik , Beweistheorie |
| Other Keywords: |
Logikprogrammierung LogicProof Theory Logic Programming |
| 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: |
Print-on-Demand
|
| Show full item record |