Eintrag weiter verarbeiten
Theorem Proving with Analytic Tableaux and Related Methods: Non-elementary speedups between different versions of tableaux
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: |
Theorem Proving with Analytic Tableaux and Related Methods: Non-elementary speedups between different versions of tableaux |
In: | Theorem Proving with Analytic Tableaux and Related Methods, 1995, S. 217-230 |
veröffentlicht: |
Springer Berlin Heidelberg
|
Umfang: | 217-230 |
ISSN: |
0302-9743 1611-3349 |
DOI: | 10.1007/3-540-59338-1_38 |
Format: | E-Book-Kapitel |
Quelle: | Springer Berlin Heidelberg (CrossRef) |
Sprache: | Unbestimmt |