Optimum Recurrence Formulas for a Fourth Order Parabolic Partial Differential Equation.
Machine Features for a More Automatic Monitoring System on Digital Computers.
Programmierungsanleitung Z 22 - Zuse K.-G. Neukirchen, Kreis Hünfeld: Rechengeräte, Elektro-Feinmechanische Geräte, Elektronen- und Relais-Rechenautomaten.
Erratum: ``A Method for Increasing the Efficiency of Monte Carlo Integration''.
Information Searching with the 701 Calculator.
A Theory of Restricted Quantification II.
Certain Results in Coding Theory for Noisy Channels
The Characteristic Value-Vector Problem.
On the Uncertainty Relation for Real Signals
Test of an Inventory Control System on FERUT.
Mathematics, Physics, and Information (An Editorial)
An Automatic Programming Routine for the Elliott 401.
Remarks on ``The Digital Approximation of Contours''.
Twenty-First Annual Meeting of the Association for Symbolic Logic.
Determination of Three Percentiles of the omegan Distribution Function.
Independent Axiom Schemata for Von Wright's M.
Designing Computer Circuits with a Computer.
On the Recognition of Information With a Digital Computer.
Standardized Programming Methods and Universal Coding.
The Method of Reduced Matrices for a General Transportation Problem.
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
A Criterion for Completeness of Degrees of Unsolvability.
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
A System for General-Purpose Analog-Digital Computation.
Computations in the Field of Engineering Chemistry.
A Variant to Turing's Theory of Computing Machines.
Tshebysheff Approximations for Power Series.
A Method for Increasing the Efficiency of Monte Carlo Integration.
The Universal Electronic Digital Machine (URAL) for Engineering Research.
Codes for the Classical Membrane Problem.
Hydrodynamic Problems Involving Large Fluid Distortions.
The Design and Use of Hazard-Free Switching Networks.
On the Computation of the Number of Solutions of Certain Trinomial Congruences.
Conference on Matrix Computations (Abstracts).
Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires.
Two Theories with Axioms Built by Means of Pleonasms.
Vicious Circle Principle and the Paradoxes.
Rational Approximations to the Exponential Function.
Languages in Which Self Reference is Possible.
A Theory of Restricted Quantification I.
Sorting Cards with Respect to a Modulus.
A Generalization of the Concept of omega-Completeness.
A Definition of Existence in Terms of Abstraction and Disjunction.
Two Programming Techniques for One-Plus-One Address Computers.
Maximizing Functions of Rotations - Experiments Concerning Speed of Diagonalization of Symmetric Matrices Using Jacobi's Method.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1957.rdf
Programmed Multiplication on the IBM 407.
Psychological Tests and Selection of Computer Programmers.
On the Representation of Herbrand Functions in Algebraically Closed Fields.
Symbolic Designations for Electrical Connections.
Errors Due to Overflow in Arithmetic Operations Particularly as Regards FINAC Electronic Computer.
On Bateman's Method for Solving Linear Integral Equations.
The Reconstruction of Mutilated English Texts
Condensation and Look-Up Procedures for Double Entry Tables.
A Note on a Law of Berry and on Insistence Stress
Formal Procedures for Connecting Terminals with a Minimum Total Wire Length.
On the ``Best'' and ``Least Qth'' Approximation of an Overdetermined System of Linear Equations.
Chebyshev Approximation of a Continuous Function by a Class of Functions.
Account Identification for Automatic Data Processing.
A Stable Implicit Finite Difference Approximation to a Fourth Order Parabolic Equation.
Inferential Equivalence and Natural Deduction.
A Note on Algebra and Macroscopic Observation
A management guide to electronic computers.
Can the Logic of Indirect Discourse be Formalised?
Some Results in Church's Restricted Recursive Arithmetic.
Simulation Techniques for the Test and Evaluation of Real-Time Computer Programs.
New Foundations for Lewis Modal Systems.
Effect of Propagated Error on Inverse of Hilbert Matrix.
Degrees of Unsolvability Associated with Classes of Formalized Theories.
SWAC Computations for Some m×n Scheduling Problems.
Decidability and Essential Undecidability.