On the Computation of Exponential and Hyperbolic Functions Using Continued Fractions
Undecidable Sentences Generated by Semantic Paradoxes.
On the Consistency of an Axiom of Enumerability.
Recommended best practice is to identify the resource by means of a string conforming to a formal identification system.
An unambiguous reference to the resource within a given context.
Identifier
A second property with the same name as this property has been declared in the dcterms: namespace (http://purl.org/dc/terms/). See the Introduction to the document "DCMI Metadata Terms" (http://dublincore.org/documents/dcmi-terms/) for an explanation.
Arithmetic operations in digital computers.
Recommended best practice is to use a controlled vocabulary such as the DCMI Type Vocabulary [DCMITYPE]. To describe the file format, physical medium, or dimensions of the resource, use the Format element.
The nature or genre of the resource.
Type
Typically, the subject will be represented using keywords, key phrases, or classification codes. Recommended best practice is to use a controlled vocabulary.
The topic of the resource.
Subject
Recommended best practice is to use a controlled vocabulary such as RFC 4646 [RFC4646].
Language
A language of the resource.
Examples of dimensions include size and duration. Recommended best practice is to use a controlled vocabulary such as the list of Internet Media Types [MIME].
The file format, physical medium, or dimensions of the resource.
Format
Eighteenth Meeting of the Association for Symbolic Logic.
The Amsterdam Meeting of the Association for Symbolic Logic.
Dublin Core Metadata Element Set, Version 1.1
Introduction to electronic and analogue computers.
Description may include but is not limited to: an abstract, a table of contents, a graphical representation, or a free-text account of the resource.
An account of the resource.
Description
Examples of a Publisher include a person, an organization, or a service. Typically, the name of a Publisher should be used to indicate the entity.
An entity responsible for making the resource available.
Publisher
Maintenance and Acceptance Tests Used on the MIDAC
The described resource may be derived from the related resource in whole or in part. Recommended best practice is to identify the related resource by means of a string conforming to a formal identification system.
A related resource from which the described resource is derived.
Source
A Proof Procedure for Quantification Theory.
Examples of a Creator include a person, an organization, or a service. Typically, the name of a Creator should be used to indicate the entity.
An entity primarily responsible for making the resource.
Creator
Memory Matrix Using Ferroelectric Condensers as Bistable Elements
A Simple Desk-Calculator Method for Checking Binary Results of Digital-Computer Arithmetic Operations
Analog Interpolator for Automatic Control
Some Experiments in Ideal Factorization on the MIDAC
A General Card-Program for the Evaluation of the Inverse Laplace Transform
Formal Development of Ordinal Number Theory.
Transcode, A System of Automatic Coding for FERUT
Recommended best practice is to identify the related resource by means of a string conforming to a formal identification system.
A related resource.
Relation
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Date may be used to express temporal information at any level of granularity. Recommended best practice is to use an encoding scheme, such as the W3CDTF profile of ISO 8601 [W3CDTF].
A point or period of time associated with an event in the lifecycle of the resource.
Date
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1955.rdf
Reduction of Runs in Multiparameter Computations
A Note on Two-Place Predicates and Fitting Sequences of Measure Functions.
ORDVAC Solutions of the Dirichlet Problem
Implicit vs. Explicit Recurrence Formulas for the Linear Diffusion Equation
Examples of a Contributor include a person, an organization, or a service. Typically, the name of a Contributor should be used to indicate the entity.
An entity responsible for making contributions to the resource.
Contributor
Spatial topic and spatial applicability may be a named place or a location specified by its geographic coordinates. Temporal topic may be a named period, date, or date range. A jurisdiction may be a named administrative entity or a geographic place to which the resource applies. Recommended best practice is to use a controlled vocabulary such as the Thesaurus of Geographic Names [TGN]. Where appropriate, named places or time periods can be used in preference to numeric identifiers such as sets of coordinates or date ranges.
The spatial or temporal topic of the resource, the spatial applicability of the resource, or the jurisdiction under which the resource is relevant.
Coverage
Coherence and the Axioms of Confirmation.
Correlation Computation on Analog Devices
On the Vibration of a Square Clamped Plate
Propagation of Truncation Errors in the Numerical Solution of Ordinary Differential Equations by Repeated Closures
Digital Computers for Real-Time Simulation
Typically, rights information includes a statement about various property rights associated with the resource, including intellectual property rights.
Information about rights held in and over the resource.
Rights
A name given to the resource.
Title
Some Programming Techniques for the ERMETH
Simplified Foundations for Mathematical Logic.
Correction: "Testing of Operational Amplifiers"