Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Sprache
14 Treffer
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://inria.hal.science/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online KonferenzZugriff:
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://inria.hal.science/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online KonferenzZugriff:
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://hal.inria.fr/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online KonferenzZugriff:
-
In: CICM 2014 - Conferences on Intelligent Computer Mathematics ; https://hal.inria.fr/hal-00983975 ; CICM 2014 - Conferences on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. pp.16, ⟨10.1007/978-3-319-08434-3_28⟩, 2014Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 2014 ; https://hal.inria.fr/hal-00989785 ; Automated Deduction in Geometry 2014, Jul 2014, Coimbra, Portugal. pp.1-15, 2014Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 2014 ; https://hal.inria.fr/hal-00989781 ; Automated Deduction in Geometry 2014, Jul 2014, Coimbra, Portugal. pp.1-19, 2014Online KonferenzZugriff:
-
In: Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016Online KonferenzZugriff:
-
In: Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016Online KonferenzZugriff:
-
In: IJCAR 2016 - 8th International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-01336082 ; IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩, 2016Online KonferenzZugriff:
-
In: EPTCS ; Hammers for Type Theories (HaTT 2016) ; https://inria.hal.science/hal-01401696 ; Hammers for Type Theories (HaTT 2016), Jul 2016, Coimbra, Portugal. pp.3 - 12, ⟨10.4204/EPTCS.210.3⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?HaTT2016, 2016Online KonferenzZugriff:
-
In: IJCAR 2016 - 8th International Joint Conference on Automated Reasoning ; https://hal.inria.fr/hal-01336082 ; IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩, 2016Online KonferenzZugriff:
-
In: EPTCS ; Hammers for Type Theories (HaTT 2016) ; https://hal.inria.fr/hal-01401696 ; Hammers for Type Theories (HaTT 2016), Jul 2016, Coimbra, Portugal. pp.3 - 12, ⟨10.4204/EPTCS.210.3⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?HaTT2016, 2016Online KonferenzZugriff:
-
In: Proceedings of the Workshops and Work in Progress at CICM 2014 ; Conference on Intelligent Computer Mathematics Work in Progress ; https://hal.science/hal-00867237 ; Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014Online KonferenzZugriff:
-
In: Proceedings of the Workshops and Work in Progress at CICM 2014 ; Conference on Intelligent Computer Mathematics Work in Progress ; https://hal.archives-ouvertes.fr/hal-00867237 ; Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014Online KonferenzZugriff: