Výsledky vyhľadávania - "acm: i.: computing methodologies/i.1: symbolic AND algebraic manipulation/i.1.0: general*"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Predmety: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Predmety: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Theorem Proving in Higher Order Logics ; https://hal.inria.fr/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Predmety: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
Relation: inria-00368403; https://hal.inria.fr/inria-00368403; https://hal.inria.fr/inria-00368403v2/document; https://hal.inria.fr/inria-00368403v2/file/main.pdf
Nájsť tento článok vo Web of Science