Computer Facilities for Isabelle Data Handling

doi 10.2172/5337211
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Office of Scientific and Technical Information (OSTI)

Related search

Computer Handling of Radioactive-Isotope Counting Data for Competitive Binding and Enzyme Kinetic Studies

Biochemical Journal
1972English

Criteria for Designing Computer Facilities for Linguistic Analysis

Linguistics
LinguisticsLanguage
1985English

Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Computer Method for the Determination of Materials Handling Relations

2017English

Flexible Data Handling for Routine Quantitative Analyses Employing a Gas Chromatograph-Mass Spectrometer Under Computer Control

Journal of Automatic Chemistry
1981English

Magnet Power Source for Isabelle.

1971English

Methods for Handling Missing Secondary Respondent Data

Journal of Marriage and Family
AnthropologyArtsSocial WorkSocial SciencesHumanities
2013English

Development and Application of Computer Software Techniques to Human Factors Task Data Handling Problems.

1968English

Data Handling Strategies for High Throughput Pyrosequencers

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy