Amanote Research

Amanote Research

    RegisterSign In

RACER System Description

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45744-5_59
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2001

Authors
Volker HaarslevRalf Möller
Publisher

Springer Berlin Heidelberg


Related search

Racer: The Contractor’s View

1984English

COSMIC System Description

Terrestrial, Atmospheric and Oceanic Sciences
EarthAtmospheric SciencePlanetary SciencesOceanography
2000English

System Description: The Proof Transformation System CERES

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

The RANTANPLAN Planner: System Description

Knowledge Engineering Review
Artificial IntelligenceSoftware
2016English

Novette Pulse Power System Description

Nuclear Technology - Fusion
1983English

Subsurface Facility System Description Document

2001English

Electrical Power System Description Document

2004English

Canister Transfer System Description Document

2000English

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

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy