Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
16 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

16 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
    Magaud, Nicolas ; Chollet, Agathe ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 309-332
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Mechanical certification of FOL<subscript>ID</subscript> cyclic proofs
    Stratulat, Sorin
    In: Annals of Mathematics and Artificial Intelligence, Jg. 91 (2023-10-01), Heft 5, S. 651-673
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Mechanizing common knowledge logic using COQ
    Lescanne, Pierre
    In: Annals of Mathematics and Artificial Intelligence, Jg. 48 (2006-09-01), Heft 1-2, S. 15-43
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Mechanizing common knowledge logic using COQ
    Lescanne, Pierre
    In: Annals of Mathematics and Artificial Intelligence, Jg. 48 (2006-09-01), S. 15-43
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Two cryptomorphic formalizations of projective incidence geometry
    Braun, David ; Magaud, Nicolas ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 193-212
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Proof-checking Euclid
    Beeson, Michael ; Narboux, Julien ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 213-257
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Proof-checking Euclid
    Wiedijk, Freek ; Beeson, Michael ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019), S. 213-257
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Two cryptomorphic formalizations of projective incidence geometry
    Schreck, Pascal ; Braun, David ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2018-10-24), S. 193-212
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Mathematical Knowledge Management in HELM
    Asperti, Andrea ; Padovani, Luca ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 38 (2003-05-01), Heft 1-3, S. 27-46
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  11. Detailansicht für Treffer 11 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  12. Detailansicht für Treffer 12 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  13. Detailansicht für Treffer 13 öffnen
    Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
    Ðurđević, Sana Stojanović ; Narboux, Julien ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 249-269
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  15. Detailansicht für Treffer 15 öffnen
    Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
    Sana Stojanović Durdević ; Janičić, Predrag ; et al.
    In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-01-07), S. 249-269
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    From informal to formal proofs in Euclidean geometry
    Stojanović-Ðurđević, Sana
    In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2018-08-29), S. 89-117
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -