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 |