System Description: The Proof Transformation System CERES

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-14203-1_36
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

RACER System Description

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

The RANTANPLAN Planner: System Description

Knowledge Engineering Review
Artificial IntelligenceSoftware
2016English

COSMIC System Description

Terrestrial, Atmospheric and Oceanic Sciences
EarthAtmospheric SciencePlanetary SciencesOceanography
2000English

A Tool for Health System Description. Diagnosing the Polish System

Zdrowie Publiczne i Zarządzanie
2019English

Automatic Identification System (AIS) Collection and Reach-Back System: System Description

2014English

A Unified Proof System for QBF Preprocessing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Biomathematical System of the Nucleic Acids Description

Computer Research and Modeling
Computational TheorySimulationComputer Science ApplicationsModelingMathematics
2020English

Stryvihor River System Structure Transformation

PROBLEMS OF GEOMORPHOLOGY AND PALEOGEOGRAPHY OF THE UKRANIAN CARPATHIANS AND ADJACENT AREAS
2018English

Novette Pulse Power System Description

Nuclear Technology - Fusion
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy