Eintrag weiter verarbeiten
Theorem Proving with Analytic Tableaux and Related Methods: Interpolation for a sequent calculus of generalized quantifiers
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Theorem Proving with Analytic Tableaux and Related Methods: Interpolation for a sequent calculus of generalized quantifiers |
In: | Theorem Proving with Analytic Tableaux and Related Methods, 1996, S. 36-47 |
veröffentlicht: |
Springer Berlin Heidelberg
|
Umfang: | 36-47 |
ISSN: |
1611-3349 0302-9743 |
DOI: | 10.1007/3-540-61208-4_3 |
Format: | E-Book-Kapitel |
Quelle: | Springer Berlin Heidelberg (CrossRef) |
Sprache: | Unbestimmt |