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