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.
Arithmetic operations in digital computers.
Eighteenth Meeting of the Association for Symbolic Logic.
The Amsterdam Meeting of the Association for Symbolic Logic.
Introduction to electronic and analogue computers.
Maintenance and Acceptance Tests Used on the MIDAC
A Proof Procedure for Quantification Theory.
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
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
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
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
Some Programming Techniques for the ERMETH
Simplified Foundations for Mathematical Logic.
Correction: "Testing of Operational Amplifiers"