Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Software
Preface: Theory and Applications of Abstraction, Substitution and Naming
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
The Complexity of Egalitarian Mechanisms for Linear Programming Games
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Approximating Bounded-Degree Spanning Trees and Connected Factors With Leaves
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
A Fast Algorithm to Remove Proper and Homogeneous Pairs of Cliques (While Preserving Some Graph Invariants)
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Effects of 12-Week Circuit Weight Training and Aerobic Exercise on Body Composition, Physical Fitness, and Pulse Wave Velocity in Obese Collegiate Women
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
The Bayesian Ontology Language $$\Mathcal {BEL}$$ BEL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Modeling Correlated Information Change: From Conditional Beliefs to Quantum Conditionals
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Scenario Tree Generation and Multi-Asset Financial Optimization Problems
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Soft Computing for Security Services in Smart and Ubiquitous Environments
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
‹
228
229
230
231
232
233
234
›
