Discharging Proof Obligations From Atelier B Using Multiple Automated Provers

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-30885-7_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Deriving Individual Obligations From Collective Obligations

2003English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Two Provers in Isolation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Harnessing First Order Termination Provers Using Higher Order Dependency Pairs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Online Automated Structure Solution From Multiple Data Sets

Acta Crystallographica Section A: Foundations and Advances
Materials ScienceCondensed Matter PhysicsTheoretical ChemistryBiochemistryStructural BiologyInorganic ChemistryPhysical
2017English

Model Selection for Automated Reconstruction From Multiple Views

2002English

The Aalto Atelier

Architectural Research Quarterly
Visual ArtsPerforming ArtsArchitecture
2010English

The Mashup Atelier

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automated Body Condition Scoring of Dairy Cows Using 3-Dimensional Feature Extraction From Multiple Body Regions

Journal of Dairy Science
Animal ScienceZoologyGeneticsFood Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy