Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

8 résultats
Page :
triés par

Proceedings of the 34th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

 Erika Ábrahám , Catuscia Palamidessi
Erika Abraham; Catuscia Palamidessi. Springer, 8461, 2014, Lecture Notes in Computer Science
Ouvrages hal-01271977v1

Formal Techniques for Distributed Objects, Components, and Systems

 Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Ouvrages hal-01398026v1

Satisfiability Checking and Symbolic Computation 2023

 Erika Ábrahám , Thomas Sturm
CEUR Workshop Proceedings, 3455, 2023
Proceedings/Recueil des communications hal-04307435v1
Image document

Experiments with Automated Reasoning in the Class

 Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
CICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Communication dans un congrès hal-03781994v1
Image document

ARC: An Educational Project on Automated Reasoning in the Class

 Isabela Drămnesc , Tudor Jebelean , Erika Ábrahám , Gábor Kusper , Sorin Stratulat
EdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Communication dans un congrès hal-03900003v1
Image document

Automated Reasoning in the Class

 Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
Computer-Algebra-Rundbrief, 2022, 71, pp.21-26
Article dans une revue hal-03886685v1

Satisfiability Checking and Symbolic Computation

 Thomas Sturm , Erika Abraham , John A. Abbott , Bern W. Becker , Anna Maria Bigatti , et al.
ACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Article dans une revue hal-01648695v1
Image document

SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)

 Eriká H Abrahám , John Abbott , Bernd Becker , Anna M Bigatti , Martin M Brain , et al.
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
Communication dans un congrès hal-01377655v1
Page :