Akten

Relative consistency proofs. II

zu Verbundenen Objekten

Enthält: Kopie des Artikels (Abstract) "Relative consistency proofs. II" aus: The Journal of Symbolic Logic 41 (1976)

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 8-1-97
Umfang
2 Bl.

Kontext
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Bestand
PAKN, GK Georg Kreisel

Laufzeit
1976

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
Letzte Aktualisierung
10.06.2025, 11:28 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • 1976

Ähnliche Objekte (12)

Mathematical significance of consistency proofs

Akten

Mathematical significance of consistency proofs

Some application of formalized consistency proofs

Akten

Some application of formalized consistency proofs

On the consistency of relative facts

On the consistency of relative facts

Applications of formalized consitency proofs II

Akten

Applications of formalized consitency proofs II

Proofs and Provability

Akten

Proofs and Provability

Synthetic proofs

Synthetic proofs

Reusing Proofs

Reusing Proofs

On the interpretation of non-finitist proofs II

Akten

On the interpretation of non-finitist proofs II

Two proofs of Cichon's maximum II.

zweidimensionales bewegtes Bild

Two proofs of Cichon's maximum II.

Qualitative spatial reasoning about relative orientation : a question of consistency

Hochschulschrift

Qualitative spatial reasoning about relative orientation : a question of consistency

Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency

Hochschulschrift

Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency

Domain Adaptation for Head Pose Estimation Using Relative Pose Consistency

Domain Adaptation for Head Pose Estimation Using Relative Pose Consistency

Verbundene Objekte