Numeric Kernel for Reasoning About Plans Involving Numeric Fluents

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-03524-6_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Numeric Error in Abstract

JAMA Neurology
Neurology
2019English

Symbolic Methodology for Numeric Data Mining

Intelligent Data Analysis
Computer VisionPattern RecognitionArtificial IntelligenceTheoretical Computer Science
2008English

Automatic Numeric Abstractions for Heap-Manipulating Programs

2010English

Widening Operators for Weakly-Relational Numeric Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Detecting Errors in Numeric Attributes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

New Approach to Study Numeric Triangles

KnE Engineering
2018English

Numeric Precision in FORTRAN Computing

Computers in Physics
1992English

Generation and Verification of Algorithms for Symbolic-Numeric Processing

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1998English

Numeric Relations of the Vertebrate System

American Naturalist
EvolutionEcologySystematicsBehavior
1871English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy