On Single vs. Triple Address Computing Machines
The IBM Magnetic Drum Calculator Type 650
On Predicates in Algebraically Closed Fields.
The Generation of Pseudo-Random Numbers on a Decimal Calculator
Ideographic Computation in the Propositional Calculus.
Problems in Acceptance Testing of Digital Computers
A Method of Solving Boundary Value Problems of Mathematical Physics on Punch Card Machines
A Generalization of the Concept of |omega-Consistency.
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M.
On the Demonstration of High-Speed Digital Computers
A Partial Model for Quine's "New Foundations".
A Multiple Purpose Orthonormalizing Code and its Uses
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1954.rdf
Automatic Strain-Gage and Thermocouple Recording on Punched Cards
The Sheffer Functions of 3-Valued Logic.
A New Symbolism for the Propositional Calculus.
A Definition of Negation in Extended Basic Logic.
Remarks on Identity and Description in First-Order Axiom Systems.
Analog methods in computation and simulation.
The IBM Type 702, An Electronic Data Processing Machine for Business
Leibniz's Interpretation of His Logical Calculi.
Public Utility Customer Accounting on the Type 650 Magnetic Drum Data Processing Machine
Calculation of Generalized Hypergeometric Series
Life Insurance Premium Billing and Combined Operations by Electronic Equipment
A Method of Determining Plate Bending by Use of a Punched-Card Machine
Equipment Reliability as Applied to Analogue Computers
An Undecidable Problem in the Algebra of Truth-Tables.
An Electronic Differential Analyzer as a Difference Analyzer
A System of Axiomatic Set Theory--Part VII.
Logical Paradoxes for Many-Valued Systems.
Numerical Treatment of a Fourth Order Parabolic Partial Differential Equation