IsaWhelk: Whelk Interpreted in Isabelle

doi 10.7551/mitpress/4316.003.0074
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press

Related search

Attack Trees in Isabelle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Magnet Power Source for Isabelle.

1971English

Isabelle Vacuum System.

1971English

Weak Interactions at Isabelle.

1972English

Cerenkov Counters at ISABELLE. [71 References]

1977English

ISABELLE E-P Option

IEEE Transactions on Nuclear Science
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
1973English

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

How Norms in Technology Ought to Be Interpreted

Techné: Research in Philosophy and Technology
2006English

Superconducting Magnet Models for Isabelle

IEEE Transactions on Nuclear Science
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
1973English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy