Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Geographischer Bezug: united kingdom
- Entferne Filter: Schlagwort: acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs
- Entferne Filter: Art der Quelle: Conference Materials
- Entferne Filter: Art der Quelle: Primary Source Documents
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
Sprache
7 Treffer
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://inria.hal.science/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff:
-
In: ITP'10 - Interactive Theorem Proving ; https://hal.inria.fr/inria-00450789 ; ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩, 2010Online KonferenzZugriff: