Home
Catalogue search
Refine your search:
Keyword:
Quantor (1)
Sprache und Mathematik (1)
Sprachlogik (1)
Theorem proving (1)
Wahrheitstheorie (1)
Creator / Publisher
Year
Medium:
Print (6)
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 6 of 6
1
Tests and Proofs
Beckert, Bernhard
;
Hähnle, Reiner
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
45 (2010) 4, 327-329
OLC Linguistik
Show details
2
Many-valued logics
Mundici, Daniele
(Hrsg.);
Chang, C.C.
(Mitarb.);
Baaz, Matthias
(Mitarb.)...
In:
Studia logica. - Dordrecht : Springer Science + Business Media
61 (1998) 1, 1-169
BLLDB
Show details
3
Fast Subsumption Checks Using Anti-Links
Ramesh, Anavai
;
Beckert, Bernhard
;
Hähnle, Reiner
...
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
18 (1997) 1, 47-84
OLC Linguistik
Show details
4
Automated Deduction in Multiple-valued Logics
Hähnle, Reiner
;
Malinowski, Grzegorz
In:
Notre Dame journal of formal logic. - Durham, NC : Duke University Press
37 (1996) 4, 631-646
OLC Linguistik
Show details
5
The Liberalized d-Rule in Free Variable Semantic Tableaux
Hähnle, Reiner
;
Schmitt, Peter H
In:
Journal of automated reasoning. - Dordrecht [u.a.] : Springer
13 (1994) 2, 211-222
OLC Linguistik
Show details
6
The many-valued theorem pover 3TAP
Hähnle, Reiner
;
Beckert, Bernhard
;
Gerbering, Stefan
. - Stuttgart : IBM, 1992
MPI für Psycholinguistik
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
4
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
1
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
1
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
0
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern