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