Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Sprache
Geographischer Bezug
6 Treffer
-
In: 24th Annual ACM Symposium on Applied Computing ; https://hal.inria.fr/inria-00335719 ; 24th Annual ACM Symposium on Applied Computing, Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci, Mar 2009, Honolulu, United States. pp.1110-1115, ⟨10.1145/1529282.1529527⟩, 2009Online KonferenzZugriff:
-
In: 24th Annual ACM Symposium on Applied Computing ; https://inria.hal.science/inria-00335719 ; 24th Annual ACM Symposium on Applied Computing, Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci, Mar 2009, Honolulu, United States. pp.1110-1115, ⟨10.1145/1529282.1529527⟩, 2009Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://hal.inria.fr/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff: