| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.contributor.editor |
Schroeder-Heister, Peter |
de_DE |
| dc.date.accessioned |
2022-06-27T07:20:38Z |
|
| dc.date.available |
2022-06-27T07:20:38Z |
|
| dc.date.issued |
1990 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/128446 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1284461 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-69809 |
|
| dc.description.abstract |
Republication of the proceedings of the Informal Logic Colloquium held in March 1990 at the Seminar für natürlichsprachliche Systeme (SNS) of the University of Tübingen. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podno |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Mathematische Logik , Algorithmus , Grammatiktheorie , Deklarative Programmierung , Modallogik , Kripke-Struktur |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.ddc |
400 |
de_DE |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Mathematical Logic |
en |
| dc.subject.other |
Algorithm |
en |
| dc.subject.other |
Grammar Theory |
en |
| dc.subject.other |
Declarative Programming |
en |
| dc.subject.other |
Modal Logic |
en |
| dc.subject.other |
Kripke Structure |
en |
| dc.title |
Proceedings of the SNS Logic Colloquium March 1990 |
en |
| dc.type |
ConferenceObject |
de_DE |
| utue.publikation.fachbereich |
Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
