Proceedings of the Conference on Hypothetical Reasoning, 23 - 24 August 2015, Tübingen
| Corporate Author: | |
|---|---|
| Contributors: | ; |
| Format: | Electronic Book |
| Language: | English |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Tübingen
Universitätsbibliothek Tübingen
2015
|
| In: | Year: 2015 |
| Further subjects: | B
Semantics
B Proof B Proof theory B Logic B Hypothesis B Conference program |
| Online Access: |
Volltext (kostenfrei) |
MARC
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 1654656887 | ||
| 003 | DE-627 | ||
| 005 | 20240510194418.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 150126s2015 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a urn:nbn:de:bsz:21-dspace-589919 |2 urn | |
| 035 | |a (DE-627)1654656887 | ||
| 035 | |a (DE-576)425310833 | ||
| 035 | |a (DE-599)BSZ425310833 | ||
| 035 | |a (OCoLC)903310370 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 004 |a 100 |
| 084 | |a 1 |2 ssgn | ||
| 245 | 1 | 0 | |a Proceedings of the Conference on Hypothetical Reasoning, 23 - 24 August 2015, Tübingen |c Ed. by Thomas Piecha and Peter Schroeder-Heister |
| 264 | 1 | |a Tübingen |b Universitätsbibliothek Tübingen |c 2015 | |
| 300 | |a Online-Ressource | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |f SSG |x XA-DE-BW |2 pdager |5 DE-21 | |
| 601 | |a Tübingen | ||
| 650 | 0 | 7 | |0 (DE-588)4036202-4 |0 (DE-627)106243772 |0 (DE-576)209017082 |a Logik |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4054490-4 |0 (DE-627)104649615 |0 (DE-576)209109033 |a Semantik |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4161152-4 |0 (DE-627)105472158 |0 (DE-576)209863536 |a Hypothese |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4132532-1 |0 (DE-627)105687006 |0 (DE-576)209636378 |a Beweis |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4145177-6 |0 (DE-627)105592897 |0 (DE-576)209739452 |a Beweistheorie |2 gnd |
| 655 | 7 | |a Konferenzschrift |0 (DE-588)1071861417 |0 (DE-627)826484824 |0 (DE-576)433375485 |2 gnd-content | |
| 700 | 1 | |e Hrsg. |0 (DE-588)1081844205 |0 (DE-627)846736179 |0 (DE-576)454839138 |4 edt |a Piecha, Thomas | |
| 700 | 1 | |e Hrsg. |0 (DE-588)112409156 |0 (DE-627)691148244 |0 (DE-576)349874662 |4 edt |a Schroeder-Heister, Peter |d 1953- | |
| 711 | 2 | |0 (DE-588)1065631804 |0 (DE-627)81626287X |0 (DE-576)425311902 |4 oth |a Conference on Hypothetical Reasoning |d 2014 |c Tübingen | |
| 856 | 4 | 0 | |u http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-589919 |q application/pdf |x Resolving-System |z kostenfrei |3 Volltext |
| 951 | |a BO | ||
| ACO | |a 1 | ||
| ELC | |a 1 | ||
| ITA | |a 1 |t 1 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 3374950884 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1654656887 | ||
| LOK | |0 005 20150126120429 | ||
| LOK | |0 008 150126||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
| LOK | |0 689 |a s |a Hypothetical Reasoning | ||
| LOK | |0 689 |a s |a Logic | ||
| LOK | |0 689 |a s |a Proof Theory | ||
| LOK | |0 689 |a s |a Logical Consequence | ||
| LOK | |0 689 |a s |a Proof-Theoretic Semantics | ||
| LOK | |0 689 |a s |a Assumption | ||
| LOK | |0 689 |a s |a Hypothesis | ||
| LOK | |0 689 |a s |a Conditional | ||
| LOK | |0 689 |a s |a Implication | ||
| LOK | |0 689 |a s |a Scientific Explanation | ||
| LOK | |0 852 |a DE-21 | ||
| LOK | |0 852 1 |9 00 | ||
| LOK | |0 85640 |u https://publikationen.uni-tuebingen.de/xmlui/handle/10900/58991/ | ||
| LOK | |0 935 |a opus | ||
| OAS | |a 1 | ||
| ORI | |a SA-MARC-ixtheoa001.raw | ||
| REL | |a 1 | ||
| STA | 0 | 0 | |a Hypothesis,Supposition,Logic,Philosophical logic,Proof,Proof theory,Semantics,Semasiology,Meaning theory,General semantics |
| STB | 0 | 0 | |a Hypothèse,Logique,Preuve,Sémantique,Sémantique générale,Théorie de la démonstration |
| STC | 0 | 0 | |a Hipótesis,Lógica,Prueba,Semántica,Teoría de la demonstración |
| STD | 0 | 0 | |a Ipotesi,Logica,Prova,Sematica,Teoria della dimostrazione |
| STE | 0 | 0 | |a 假说,证据,论证,证明,语义学,逻辑,推理,推论 |
| STF | 0 | 0 | |a 假說,語義學,證據,論證,證明,邏輯,推理,推論 |
| STG | 0 | 0 | |a Hipótese,Lógica,Prova,Semântica,Teoria da demonstração |
| STH | 0 | 0 | |a Гипотеза,Доказательство,Логика,Семантика,Теория доказательств |
| STI | 0 | 0 | |a Αποδεικτική θεωρία,Θεωρία απόδειξης,Απόδειξη,Αποδεικτικό στοιχείο,Λογική,Σημασιολογία,Υπόθεση |
| SUB | |a REL | ||
| SYE | 0 | 0 | |a Philosophische Logik , Bedeutungslehre,Allgemeine Semantik,Allgemeinsemantik , Hypothetischer Satz , Demonstratio quia,Demonstratio propter quid,Beweise |