Sortiert nach
Journal of automated reasoning, 2023-12, Vol.67 (4), p.33, Article 33
2023
Link zum Volltext
International journal of approximate reasoning, 2022-12, Vol.151, p.182-204
2022
Link zum Volltext
Journal of automated reasoning, 2016-10, Vol.57 (3), p.187-217
2016
Link zum Volltext
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, p.328-341
Link zum Volltext
Journal of automated reasoning, 2015-01, Vol.54 (1), p.1-29
2015
Link zum Volltext
Electronic Proceedings in Theoretical Computer Science, 2017-09, Vol.256 (Proc. GandALF 2017), p.46-60
2017
Link zum Volltext
BIT Numerical Mathematics, 2013-12, Vol.53 (4), p.897-924
2013
Link zum Volltext
Innovations in systems and software engineering, 2010-09, Vol.6 (3), p.173-179
2010
Link zum Volltext
Modeling Decisions for Artificial Intelligence, Vol.5861, p.81-91
Link zum Volltext
BIT Numerical Mathematics, 2013-12, Vol.53 (4), p.897-924
2013
Link zum Volltext
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013, p.193-200
2013
- Link zum Volltext
ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, 2010, p.317-320
2010
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- Floating-Point Arithmetic
- Algorithms
- Approximation
- Computer Arithmetic
- Computer Science, Software Engineering
- Coq Proof Assistant
- Floating Point Arithmetic
- Logic In Computer Science
- Mathematical Analysis
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Mathematical Models
- Symbolic And Algebraic Manipulation
- Belief Functions
- Computation
Kollektion
Zeitschrift / Serie