Amanote Research

Amanote Research

    RegisterSign In

ISABELLE E-P Option

IEEE Transactions on Nuclear Science - United States
doi 10.1109/tns.1973.4327239
Full Text
Open PDF
Abstract

Available in full text

Categories
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
Date

June 1, 1973

Authors
R. ChasmanG. A. Voss
Publisher

Institute of Electrical and Electronics Engineers (IEEE)


Related search

CONSIDERATION OF THE RF SYSTEM FOR THE 15 GeV ELECTRON RING OPTION FOR ISABELLE.

1972English

Magnet Power Source for Isabelle.

1971English

Isabelle Vacuum System.

1971English

Attack Trees in Isabelle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Weak Interactions at Isabelle.

1972English

Cerenkov Counters at ISABELLE. [71 References]

1977English

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

Superconducting Magnet Models for Isabelle

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

IsaWhelk: Whelk Interpreted in Isabelle

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy