Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
19 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

Sprache

19 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps
    Dufourd, Jean-François
    In: Journal of Automated Reasoning, Jg. 43 (2009-06-01), Heft 1, S. 19-20
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Proof Reflection in Coq
    Hendriks, Dimitri
    In: Journal of Automated Reasoning, Jg. 29 (2002), Heft 34, S. 277-278
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
    Rideau, Laurence ; Serpette, Bernard Paul ; et al.
    In: Journal of Automated Reasoning, Jg. 40 (2008-05-01), Heft 4, S. 307-308
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Certification of a Type Inference Tool for ML: Damas–Milner within Coq
    Dubois, Catherine ; Ménissier-Morain, Valérie
    In: Journal of Automated Reasoning, Jg. 23 (1999-11-01), Heft 3, S. 319-320
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Procedural Representation of CIC Proof Terms
    Guidi, Ferruccio
    In: Journal of Automated Reasoning, Jg. 44 (2010-02-01), Heft 12, S. 53-54
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    External Rewriting for Skeptical Proof Assistants
    Nguyen, Quang Huy ; Kirchner, Claude ; et al.
    In: Journal of Automated Reasoning, Jg. 29 (2002), Heft 34, S. 309-310
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A Formally Verified Compiler Back-end
    Leroy, Xavier
    In: Journal of Automated Reasoning, Jg. 43 (2009-12-01), Heft 4, S. 363-364
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Mechanized Semantics for the Clight Subset of the C Language
    Blazy, Sandrine ; Leroy, Xavier
    In: Journal of Automated Reasoning, Jg. 43 (2009-10-01), Heft 3, S. 263-264
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
    Leroy, Xavier ; Blazy, Sandrine
    In: Journal of Automated Reasoning, Jg. 41 (2008-07-01), Heft 1, S. 1-2
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    On the Mechanization of the Proof of Hessenbergʼs Theorem in Coherent Logic
    Bezem, Marc ; Hendriks, Dimitri
    In: Journal of Automated Reasoning, Jg. 40 (2008), Heft 1, S. 61-62
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A Graphical User Interface for Formal Proofs in Geometry
    Narboux, Julien
    In: Journal of Automated Reasoning, Jg. 39 (2007-08-01), Heft 2, S. 161-162
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
    Ciaffaglione, Alberto ; Liquori, Luigi ; et al.
    In: Journal of Automated Reasoning, Jg. 39 (2007-05-01), Heft 1, S. 1-2
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Explaining Gabriel-Zisman Localization to the Computer
    Simpson, Carlos
    In: Journal of Automated Reasoning, Jg. 36 (2006-12-01), Heft 3, S. 259-260
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A Syntactic Approach to Foundational Proof-Carrying Code*
    Hamid, Nadeem A. ; Shao, Zhong ; et al.
    In: Journal of Automated Reasoning, Jg. 31 (2003), Heft 34, S. 191-192
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A Proof of GMP Square Root
    Bertot, Yves ; Magaud, Nicolas ; et al.
    In: Journal of Automated Reasoning, Jg. 29 (2002), Heft 34, S. 225-226
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Algorithms and Proofs Inheritance in the FOC Language
    Prevosto, Virgile ; Doligez, Damien
    In: Journal of Automated Reasoning, Jg. 29 (2002), Heft 34, S. 337-338
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A New Implementation of Automath
    Wiedijk, Freek
    In: Journal of Automated Reasoning, Jg. 29 (2002), Heft 34, S. 365-366
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A Machine-Checked Implementation of Buchbergerʼs Algorithm*
    Théry, Laurent
    In: Journal of Automated Reasoning, Jg. 26 (2001-02-01), Heft 2, S. 107-108
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
    Jaume, M.
    In: Journal of Automated Reasoning, Jg. 23 (1999-11-01), Heft 3, S. 347-348
    Online academicJournal
    Zugriff:
    View Record at Journals@Ovid (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -