Amanote Research
Register
Sign In
Combining the Syntactic and Semantic Representations of Mizar Proofs
doi 10.15439/2018f248
Full Text
Open PDF
Abstract
Available in
full text
Date
September 26, 2018
Authors
Karol Pąk
Publisher
IEEE
Related search
The Syntactic and the Semantic Web
RelTextRank: An Open Source Framework for Building Relational Syntactic-Semantic Text Pair Representations
Interplay Between Syntax and Semantics During Sentence Comprehension: ERP Effects of Combining Syntactic and Semantic Violations
Journal of Cognitive Neuroscience
Cognitive Neuroscience
Combining Syntactic and Semantic Vector Space Models in the Health Domain by Using a Clustering Ensemble
Semantic Classes and Syntactic Ambiguity
Combinatorial Proofs of Zeckendorf Representations of Fibonacci and Lucas Products
Involve, a Journal of Mathematics
Narrative Comprehension: Semantic and Syntactic Summary Production
MizAR 40 for Mizar 40
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Transforming Syntactic Graphs Into Semantic Graphs
