Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Software
On Definitions of Constants and Types in HOL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Class of Joint Production and Transportation Planning Problems Under Different Delivery Policies
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
A Genetic Algorithm-Based System for Wireless Mesh Networks: Analysis of System Data Considering Different Routing Protocols and Architectures
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
A Novel Anomaly Detection Algorithm for Sensor Data Under Uncertainty
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Many-Valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of His 60th Birthday
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Lower Bounds for the Chvátal–Gomory Rank in the 0/1 Cube
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
MizAR 40 for Mizar 40
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Fuzzy Rule Weight Modification With Particle Swarm Optimisation
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
‹
229
230
231
232
233
234
235
›
