MontagueH56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Definition of 'Formal Deduction'.
has-volume: 21
type: Article-Reference
type: Thing

Householder56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Bibliography on Numerical Analysis.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320829
type: Article-Reference
type: Thing

Mock56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Logical Organization of the PACT I Compiler.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320846
type: Article-Reference
type: Thing

Henrici56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Automatic Computations with Power Series.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320819
type: Article-Reference
type: Thing

Mendelson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Some Proofs of Independence in Axiomatic Set Theory.
has-volume: 21
type: Article-Reference
type: Thing

Kemeny56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A New Approach to Semantics--Part I.
has-volume: 21
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0072168
has-date: http://www.aktors.org/ontology/date#1956
has-title: Analog computer techniques.
type: Book-Reference
type: Thing

Gandy56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Axiom of Extensionality--Part I.
has-volume: 21
type: Article-Reference
type: Thing

Klingst56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Optimale Lagerhaltung bei bekanntem Jahresgang des Bedarfes.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084890
type: Article-Reference
type: Thing

JaakkoH56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Identity, Variables, and Impredicative Definitions.
has-volume: 21
type: Article-Reference
type: Thing

GreenwaldM56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Conclusions After Using the PACT I Advanced Coding Technique.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320850
type: Article-Reference
type: Thing

DerrL56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Semi-Automatic Allocation of Data Storage for PACT I.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320849
type: Article-Reference
type: Thing

JaakkoH56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Identity, Variables, and Impredicative Definitions.
has-volume: 21
type: Article-Reference
type: Thing

Ackermann56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Begrundung Einer Strengen Implikation.
has-volume: 21
type: Article-Reference
type: Thing

HeizerA56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Transfer Function Simulation by Means of Amplifiers and Potentiometers.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320837
type: Article-Reference
type: Thing

MaconB56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Generation of Errors in the Digital Evaluation of Continued Fractions.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320838
type: Article-Reference
type: Thing

MontagueH56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Definition of 'Formal Deduction'.
has-volume: 21
type: Article-Reference
type: Thing

HempsteadS56
has-date: http://www.aktors.org/ontology/date#1956
has-title: PACT Loop Expansion.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320848
type: Article-Reference
type: Thing

Wartmann56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Anwendungsmöglichkeiten neuzeitlicher Rechenautomaten bei Aufgaben der Betriebswirtschaft und Fertigungsplanung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084879
type: Article-Reference
type: Thing

Wartmann56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Anwendungsmöglichkeiten neuzeitlicher Rechenautomaten bei Aufgaben der Betriebswirtschaft und Fertigungsplanung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084879
type: Article-Reference
type: Thing

Zemanek56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Informationstheorie.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084872
type: Article-Reference
type: Thing

Stark56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Rates of Convergence in Numerical Solution of the Diffusion Equation.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320823
type: Article-Reference
type: Thing

Robinson56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Arithmetical Representation of Recursively Enumerable Sets.
has-volume: 21
type: Article-Reference
type: Thing

Wenke56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Kommerzielle Einsatzmöglichkeiten von elektronischen Großanlagen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084882
type: Article-Reference
type: Thing

Berry56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Twentieth Meeting of the Association for Symbolic Logic.
has-volume: 21
type: Article-Reference
type: Thing

DowningH56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Some Inverse Characteristic Value Problems.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320839
type: Article-Reference
type: Thing

Lebedev56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The High-Speed Electronic Calculating Machine of the Academy of Sciences of the U.S.S.R..
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320832
type: Article-Reference
type: Thing

Baker56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The PACT I Coding System for the IBM Type 701.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320845
type: Article-Reference
type: Thing

Adam56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: "Unternehmensforschung - Operations Research" anläßlich der 27. Jahreshauptversammlung der Deutschen Statistischen Gesellschaft in Essen, 30. November 1956.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084874
type: Article-Reference
type: Thing

Friend56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Sorting on Electronic Computer Systems.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320833
type: Article-Reference
type: Thing

Adam56b
has-date: http://www.aktors.org/ontology/date#1956
has-title: Buchbesprechungen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084894
type: Article-Reference
type: Thing

Henkin56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Two Concepts From the Theory of Models.
has-volume: 21
type: Article-Reference
type: Thing

Quine56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On Formulas with Valid Cases.
has-volume: 21
type: Article-Reference
type: Thing

Billeter56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Hauptprobleme der Unternehmensforschung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084888
type: Article-Reference
type: Thing

Perkins56
has-date: http://www.aktors.org/ontology/date#1956
has-title: EASIAC, A Pseudo-Computer.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320826
type: Article-Reference
type: Thing

Gordon56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Optimizing Program for the IBM 650.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320817
type: Article-Reference
type: Thing

Fitch56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Recursive Functions in Basic Logic.
has-volume: 21
type: Article-Reference
type: Thing

Cobham56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Reduction to a Symmetric Predicate.
has-volume: 21
type: Article-Reference
type: Thing

Rice56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On Completely Recursively Enumerable Classes and Their Key Arrays.
has-volume: 21
type: Article-Reference
type: Thing

Fisher56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Higher Order Differences in the Analogue Solution of Partial Differential Equations.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320852
type: Article-Reference
type: Thing

Bergmann56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The Representations of S5.
has-volume: 21
type: Article-Reference
type: Thing

Quine56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Unification of Universes in Set Theory.
has-volume: 21
type: Article-Reference
type: Thing

BukovicsA56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Buchbesprechungen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084886
type: Article-Reference
type: Thing

ConteR56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Kutta Third-Order Procedure for Solving Differential Equations Requiring Minimum Storage.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320821
type: Article-Reference
type: Thing

Bauer56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Integrated Computation System for the ERA-1103.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320836
type: Article-Reference
type: Thing

Cohn56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Erratum: ``Some Experiments in Ideal Factorization on the MIDAC''.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320824
type: Article-Reference
type: Thing

Kemeny56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: A New Approach to Semantics--Part II.
has-volume: 21
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0072158
has-date: http://www.aktors.org/ontology/date#1956
has-title: Computers - their operation and applications.
type: Book-Reference
type: Thing

Mayr56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Internationales Biometrisches Seminar über Planungsforschung und Symposium über Wachstums- und Ertragsgesetze, Beurteilung der Wirkung von Heilmitteln bei chronischen Erkrankungen, die Gültigkeit des t-Testes. Linz a. d. Donau, 24. September bis 3. Oktober 1956.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084873
type: Article-Reference
type: Thing

Kemeny56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: A New Approach to Semantics--Part II.
has-volume: 21
type: Article-Reference
type: Thing

MaconB56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Generation of Errors in the Digital Evaluation of Continued Fractions.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320838
type: Article-Reference
type: Thing

Kemeny56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A New Approach to Semantics--Part I.
has-volume: 21
type: Article-Reference
type: Thing

Householder56b
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Convergence of Matrix Iterations.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320851
type: Article-Reference
type: Thing

Householder56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Presidential Address to the ACM.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320816
type: Article-Reference
type: Thing

Wadel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Simulation of Digital Filters on an Electronic Analog Computer.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320820
type: Article-Reference
type: Thing

Friend56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Sorting on Electronic Computer Systems.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320833
type: Article-Reference
type: Thing

Quine56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On Formulas with Valid Cases.
has-volume: 21
type: Article-Reference
type: Thing

Knodel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Mehrplatzarbeit.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084868
type: Article-Reference
type: Thing

Orey56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On omega-Consistency and Related Properties.
has-volume: 21
type: Article-Reference
type: Thing

Lebedev56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The High-Speed Electronic Calculating Machine of the Academy of Sciences of the U.S.S.R..
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320832
type: Article-Reference
type: Thing

Prior56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Modality and Quantification in S5.
has-volume: 21
type: Article-Reference
type: Thing

Fitch56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Recursive Functions in Basic Logic.
has-volume: 21
type: Article-Reference
type: Thing

Orey56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Relative Consistency of Set Theory.
has-volume: 21
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0072174
has-date: http://www.aktors.org/ontology/date#1956
has-title: Electronic analog computers - D-c analog computers (2. ed.).
type: Book-Reference
type: Thing

Henkin56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Two Concepts From the Theory of Models.
has-volume: 21
type: Article-Reference
type: Thing

Trobinger56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Risiko und Sicherheit in der Personalauswahl.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084870
type: Article-Reference
type: Thing

Jeffrey56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Arithmetical Analysis of Digital Computing Nets.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320855
type: Article-Reference
type: Thing

Thuring56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Allgemeine Programmierung von Abläufen des industriellen, administrativen und kaufmännischen Rechnungswesens.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084885
type: Article-Reference
type: Thing

Fasching56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Eine Anwendung der Methode der kleinsten Quadrate in der Marktforschung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084891
type: Article-Reference
type: Thing

Zuse56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Gedanken zur Automation und zum Problem der technischen Keimzelle.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084889
type: Article-Reference
type: Thing

Shepherdson56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Note on a System of Myhill.
has-volume: 21
type: Article-Reference
type: Thing

Perkins56
has-date: http://www.aktors.org/ontology/date#1956
has-title: EASIAC, A Pseudo-Computer.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320826
type: Article-Reference
type: Thing

Shepherdson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Interpretation of Aristotelian Syllogistic.
has-volume: 21
type: Article-Reference
type: Thing

Cobham56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Reduction to a Symmetric Predicate.
has-volume: 21
type: Article-Reference
type: Thing

Young56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Report on Experiments in Approximating the Solution of a Differential Equation.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320822
type: Article-Reference
type: Thing

Wetzel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Lineare Verteilungsmodelle in der Betriebswirtschaft - Beispiele für den praktischen Einsatz der Linearplanung in Unternehmungen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084876
type: Article-Reference
type: Thing

Myhill56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Solution of a Problem of Tarski.
has-volume: 21
type: Article-Reference
type: Thing

BrownCLM56
has-web-address: http://doi.acm.org/10.1145/320843.320853
type: Article-Reference
has-title: Prevention of Propagation of Machine Errors in Long Problems.
has-date: http://www.aktors.org/ontology/date#1956
has-volume: 3
type: Thing

Zuse56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Große oder kleine programmgesteuerte Rechengeräte?
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084883
type: Article-Reference
type: Thing

Eberl56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Lineare Programme.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084867
type: Article-Reference
type: Thing

BrownCLM56
has-web-address: http://doi.acm.org/10.1145/320843.320853
type: Article-Reference
has-title: Prevention of Propagation of Machine Errors in Long Problems.
has-date: http://www.aktors.org/ontology/date#1956
has-volume: 3
type: Thing

Schwarz56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Note on Transfinite Iteration.
has-volume: 21
type: Article-Reference
type: Thing

Hammersley56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Conditional Monte Carlo.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320827
type: Article-Reference
type: Thing

Adam56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Zur betrieblichen Regelung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084871
type: Article-Reference
type: Thing

Schwarz56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Note on Transfinite Iteration.
has-volume: 21
type: Article-Reference
type: Thing

ConteR56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Kutta Third-Order Procedure for Solving Differential Equations Requiring Minimum Storage.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320821
type: Article-Reference
type: Thing

Householder56b
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Convergence of Matrix Iterations.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320851
type: Article-Reference
type: Thing

Bauer56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Integrated Computation System for the ERA-1103.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320836
type: Article-Reference
type: Thing

Bergmann56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The Representations of S5.
has-volume: 21
type: Article-Reference
type: Thing

Wetzel56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Bemerkungen zur Rationalisierung betriebswirtschaftlicher Entscheidungen mit Hilfe elektronischer Datenverarbeitungsmaschinen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084884
type: Article-Reference
type: Thing

Mason56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The Digital Approximation of Contours.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320854
type: Article-Reference
type: Thing

Glantz56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Note on Microprogramming.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320828
type: Article-Reference
type: Thing

Soom56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Die Anwendung der Korrelationsrechnung im Arbeits- und Zeitstudienwesen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084877
type: Article-Reference
type: Thing

Lob56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Formal Systems of Constructive Mathematics.
has-volume: 21
type: Article-Reference
type: Thing

BukovicsA56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Buchbesprechungen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084886
type: Article-Reference
type: Thing

Quine56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Unification of Universes in Set Theory.
has-volume: 21
type: Article-Reference
type: Thing

MillerO56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Producing Computer Instructions for the PACT I Compiler.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320847
type: Article-Reference
type: Thing

Hammersley56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Conditional Monte Carlo.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320827
type: Article-Reference
type: Thing

Wadel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Simulation of Digital Filters on an Electronic Analog Computer.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320820
type: Article-Reference
type: Thing

Neeb56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Aufbau von Schichtwechselplänen für Betriebe mit kontinuierlicher Arbeit.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084892
type: Article-Reference
type: Thing

Shepherdson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Interpretation of Aristotelian Syllogistic.
has-volume: 21
type: Article-Reference
type: Thing

Berry56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Twentieth Meeting of the Association for Symbolic Logic.
has-volume: 21
type: Article-Reference
type: Thing

Orey56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On omega-Consistency and Related Properties.
has-volume: 21
type: Article-Reference
type: Thing

Prior56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Modality and Quantification in S5.
has-volume: 21
type: Article-Reference
type: Thing

Pfanzagl56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Statistische Qualitätskontrolle.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084878
type: Article-Reference
type: Thing

Mock56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Logical Organization of the PACT I Compiler.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320846
type: Article-Reference
type: Thing

Orey56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Relative Consistency of Set Theory.
has-volume: 21
type: Article-Reference
type: Thing

Adam56b
has-date: http://www.aktors.org/ontology/date#1956
has-title: Buchbesprechungen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084894
type: Article-Reference
type: Thing

Melahn56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Description of a Cooperative Venture in the Production of an Automatic Coding System.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320844
type: Article-Reference
type: Thing

Householder56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Presidential Address to the ACM.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320816
type: Article-Reference
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0072168
has-date: http://www.aktors.org/ontology/date#1956
has-title: Analog computer techniques.
type: Book-Reference
type: Thing

CopiW56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Nineteenth Meeting of the Association for Symbolic Logic.
has-volume: 21
type: Article-Reference
type: Thing

Brommer56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Ein Rechenverfahren für Investitionsprobleme.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084869
type: Article-Reference
type: Thing

Lemmon56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Alternative Postulate Sets for Lewis's S5.
has-volume: 21
type: Article-Reference
type: Thing

Copi56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Another Variant of Natural Deduction.
has-volume: 21
type: Article-Reference
type: Thing

Young56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Report on Experiments in Approximating the Solution of a Differential Equation.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320822
type: Article-Reference
type: Thing

DowningH56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Some Inverse Characteristic Value Problems.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320839
type: Article-Reference
type: Thing

Wetzel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Lineare Verteilungsmodelle in der Betriebswirtschaft - Beispiele für den praktischen Einsatz der Linearplanung in Unternehmungen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084876
type: Article-Reference
type: Thing

BrackenO56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A General System for Handling Alphameric Information on the IBM 701 Computer.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320835
type: Article-Reference
type: Thing

Neeb56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Aufbau von Schichtwechselplänen für Betriebe mit kontinuierlicher Arbeit.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084892
type: Article-Reference
type: Thing

IsaacS56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Sorting by Address Calculation.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320834
type: Article-Reference
type: Thing

Eberl56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Lineare Programme.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084867
type: Article-Reference
type: Thing

Sagoroff56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Zum Geleit.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084865
type: Article-Reference
type: Thing

BrackenO56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A General System for Handling Alphameric Information on the IBM 701 Computer.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320835
type: Article-Reference
type: Thing

Trobinger56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Risiko und Sicherheit in der Personalauswahl.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084870
type: Article-Reference
type: Thing

HooverWB56
type: Article-Reference
has-title: Wind Tunnel Data Reduction Using Paper-Tape Storage Media.
has-volume: 3
has-date: http://www.aktors.org/ontology/date#1956
has-web-address: http://doi.acm.org/10.1145/320825.320830
type: Thing

Jeffrey56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Arithmetical Analysis of Digital Computing Nets.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320855
type: Article-Reference
type: Thing

Thuring56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Allgemeine Programmierung von Abläufen des industriellen, administrativen und kaufmännischen Rechnungswesens.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084885
type: Article-Reference
type: Thing

Mason56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The Digital Approximation of Contours.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320854
type: Article-Reference
type: Thing

HooverWB56
type: Article-Reference
has-title: Wind Tunnel Data Reduction Using Paper-Tape Storage Media.
has-volume: 3
has-date: http://www.aktors.org/ontology/date#1956
has-web-address: http://doi.acm.org/10.1145/320825.320830
type: Thing

Myhill56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Solution of a Problem of Tarski.
has-volume: 21
type: Article-Reference
type: Thing

Henrici56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Automatic Computations with Power Series.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320819
type: Article-Reference
type: Thing

Pichler56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Wirtschaftliche Produktionsgestaltung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084866
type: Article-Reference
type: Thing

Mendelson56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: The Independence of a Weak Axiom of Choice.
has-volume: 21
type: Article-Reference
type: Thing

Wetzel56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Bemerkungen zur Rationalisierung betriebswirtschaftlicher Entscheidungen mit Hilfe elektronischer Datenverarbeitungsmaschinen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084884
type: Article-Reference
type: Thing

MillerO56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Producing Computer Instructions for the PACT I Compiler.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320847
type: Article-Reference
type: Thing

GreenwaldM56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Conclusions After Using the PACT I Advanced Coding Technique.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320850
type: Article-Reference
type: Thing

Robinson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Note on a Problem of L. Henkin.
has-volume: 21
type: Article-Reference
type: Thing

Henrici56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Subroutine for Computations with Rational Numbers.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320818
type: Article-Reference
type: Thing

Shepherdson56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Note on a System of Myhill.
has-volume: 21
type: Article-Reference
type: Thing

Holdt56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Iterative Procedure for the Calculation of the Eigenvalues and Eigenvectors of a Real Symmetric Matrix.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320842
type: Article-Reference
type: Thing

HempsteadS56
has-date: http://www.aktors.org/ontology/date#1956
has-title: PACT Loop Expansion.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320848
type: Article-Reference
type: Thing

Billeter56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Hauptprobleme der Unternehmensforschung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084888
type: Article-Reference
type: Thing

Robinson56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Arithmetical Representation of Recursively Enumerable Sets.
has-volume: 21
type: Article-Reference
type: Thing

Cohn56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Erratum: ``Some Experiments in Ideal Factorization on the MIDAC''.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320824
type: Article-Reference
type: Thing

Copi56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Another Variant of Natural Deduction.
has-volume: 21
type: Article-Reference
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0072158
has-date: http://www.aktors.org/ontology/date#1956
has-title: Computers - their operation and applications.
type: Book-Reference
type: Thing

Mayr56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Internationales Biometrisches Seminar über Planungsforschung und Symposium über Wachstums- und Ertragsgesetze, Beurteilung der Wirkung von Heilmitteln bei chronischen Erkrankungen, die Gültigkeit des t-Testes. Linz a. d. Donau, 24. September bis 3. Oktober 1956.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084873
type: Article-Reference
type: Thing

IsaacS56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Sorting by Address Calculation.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320834
type: Article-Reference
type: Thing

Lotkin56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Note on the Midpoint Method of Integration.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320840
type: Article-Reference
type: Thing

Bing56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On Simplifying Truth-Functional Formulas.
has-volume: 21
type: Article-Reference
type: Thing

Kregeloh56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Analogrechner und ihre Anwendung auf ein volkswirtschaftliches Modell.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084881
type: Article-Reference
type: Thing

Baker56
has-date: http://www.aktors.org/ontology/date#1956
has-title: The PACT I Coding System for the IBM Type 701.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320845
type: Article-Reference
type: Thing

Adam56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: "Unternehmensforschung - Operations Research" anläßlich der 27. Jahreshauptversammlung der Deutschen Statistischen Gesellschaft in Essen, 30. November 1956.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084874
type: Article-Reference
type: Thing

Kregeloh56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Analogrechner und ihre Anwendung auf ein volkswirtschaftliches Modell.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084881
type: Article-Reference
type: Thing

Brommer56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Ein Rechenverfahren für Investitionsprobleme.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084869
type: Article-Reference
type: Thing

Lemmon56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Alternative Postulate Sets for Lewis's S5.
has-volume: 21
type: Article-Reference
type: Thing

Fasching56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Eine Anwendung der Methode der kleinsten Quadrate in der Marktforschung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084891
type: Article-Reference
type: Thing

Anderson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Independent Axiom Schemata for S5.
has-volume: 21
type: Article-Reference
type: Thing

Rice56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On Completely Recursively Enumerable Classes and Their Key Arrays.
has-volume: 21
type: Article-Reference
type: Thing

Glantz56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Note on Microprogramming.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320828
type: Article-Reference
type: Thing

Keitel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Extension of Milne's Three-Point Method.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320841
type: Article-Reference
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0072174
has-date: http://www.aktors.org/ontology/date#1956
has-title: Electronic analog computers - D-c analog computers (2. ed.).
type: Book-Reference
type: Thing

Klingst56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Optimale Lagerhaltung bei bekanntem Jahresgang des Bedarfes.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084890
type: Article-Reference
type: Thing

Pichler56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Wirtschaftliche Produktionsgestaltung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084866
type: Article-Reference
type: Thing

Mendelson56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: The Independence of a Weak Axiom of Choice.
has-volume: 21
type: Article-Reference
type: Thing

Zemanek56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Informationstheorie.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084872
type: Article-Reference
type: Thing

HeizerA56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Transfer Function Simulation by Means of Amplifiers and Potentiometers.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320837
type: Article-Reference
type: Thing

Holdt56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Iterative Procedure for the Calculation of the Eigenvalues and Eigenvectors of a Real Symmetric Matrix.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320842
type: Article-Reference
type: Thing

Zuse56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Große oder kleine programmgesteuerte Rechengeräte?
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084883
type: Article-Reference
type: Thing

Gandy56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On the Axiom of Extensionality--Part I.
has-volume: 21
type: Article-Reference
type: Thing

Melahn56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Description of a Cooperative Venture in the Production of an Automatic Coding System.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320844
type: Article-Reference
type: Thing

Henrici56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Subroutine for Computations with Rational Numbers.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320818
type: Article-Reference
type: Thing

DerrL56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Semi-Automatic Allocation of Data Storage for PACT I.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320849
type: Article-Reference
type: Thing

Lob56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Formal Systems of Constructive Mathematics.
has-volume: 21
type: Article-Reference
type: Thing

Robinson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Note on a Problem of L. Henkin.
has-volume: 21
type: Article-Reference
type: Thing

Householder56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Bibliography on Numerical Analysis.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320825.320829
type: Article-Reference
type: Thing

Bing56
has-date: http://www.aktors.org/ontology/date#1956
has-title: On Simplifying Truth-Functional Formulas.
has-volume: 21
type: Article-Reference
type: Thing

CopiW56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Nineteenth Meeting of the Association for Symbolic Logic.
has-volume: 21
type: Article-Reference
type: Thing

Lotkin56
has-date: http://www.aktors.org/ontology/date#1956
has-title: A Note on the Midpoint Method of Integration.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320840
type: Article-Reference
type: Thing

Adam56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Zur betrieblichen Regelung.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084871
type: Article-Reference
type: Thing

Stark56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Rates of Convergence in Numerical Solution of the Diffusion Equation.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320823
type: Article-Reference
type: Thing

Knodel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Mehrplatzarbeit.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084868
type: Article-Reference
type: Thing

Pfanzagl56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Statistische Qualitätskontrolle.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084878
type: Article-Reference
type: Thing

Wenke56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Kommerzielle Einsatzmöglichkeiten von elektronischen Großanlagen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084882
type: Article-Reference
type: Thing

Soom56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Die Anwendung der Korrelationsrechnung im Arbeits- und Zeitstudienwesen.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084877
type: Article-Reference
type: Thing

Zuse56a
has-date: http://www.aktors.org/ontology/date#1956
has-title: Gedanken zur Automation und zum Problem der technischen Keimzelle.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084889
type: Article-Reference
type: Thing

Keitel56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Extension of Milne's Three-Point Method.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320831.320841
type: Article-Reference
type: Thing

Gordon56
has-date: http://www.aktors.org/ontology/date#1956
has-title: An Optimizing Program for the IBM 650.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320815.320817
type: Article-Reference
type: Thing

Mendelson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Some Proofs of Independence in Axiomatic Set Theory.
has-volume: 21
type: Article-Reference
type: Thing

Fisher56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Higher Order Differences in the Analogue Solution of Partial Differential Equations.
has-volume: 3
has-web-address: http://doi.acm.org/10.1145/320843.320852
type: Article-Reference
type: Thing

Sagoroff56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Zum Geleit.
has-volume: 1
has-web-address: http://dx.doi.org/10.1007/BF02084865
type: Article-Reference
type: Thing

Ackermann56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Begrundung Einer Strengen Implikation.
has-volume: 21
type: Article-Reference
type: Thing

Anderson56
has-date: http://www.aktors.org/ontology/date#1956
has-title: Independent Axiom Schemata for S5.
has-volume: 21
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-a0eb667247cf6be42babf7bbe24941a4-2f0dc12cf3e2d3daa6daacca2f38046b
full-name: Robin O. Gandy
type: Person

http://dblp.rkbexplorer.com/id/people-1add4d379143024f0e2fea4265a55921-f3854ee5953e437d6758f8394e37ef7a
full-name: Bruno Thüring
type: Person

http://dblp.rkbexplorer.com/id/people-cc9359892b9c4c01f47e0a22d7b85331-a312aa71506462f27f2d0386ef0726ad
full-name: Kurt Bing
type: Person

http://dblp.rkbexplorer.com/id/people-bac63f0489e23261dea321898af7a5df-1c80c0ba41dd10232ebdc64b13fed1b5
full-name: Wilhelm Ackermann
type: Person

http://dblp.rkbexplorer.com/id/people-5a67d55f6397db2e3579dd3564b80faf-da77d16b9b0e622733d9c2ac1dbf1ccb
full-name: Hans Tröbinger
type: Person

http://dblp.rkbexplorer.com/id/people-f4f733d84fc1bc0036c708e9425be689-3faf60c1bd571627612145488747a709
full-name: Adolf Adam
type: Person

http://dblp.rkbexplorer.com/id/people-df8abff9ea3f495ede784371a5cd0177-f235a7bbb9368ca20469e7c575fd9e66
full-name: Peter Henrici
type: Person

http://dblp.rkbexplorer.com/id/people-f17f8bec431ced74bf61cde0623835d2-e3093635d83dcdfc812da0e9e9201a7b
full-name: Leon Henkin
type: Person

http://dblp.rkbexplorer.com/id/people-588f877a998cef4fcffe0d6d89612ad1-c8bc29d082b5a3900ca0ab7169282281
full-name: Alston S. Householder
type: Person

http://dblp.rkbexplorer.com/id/people-4da6034d56a0250b4732842c62e117bb-65807bcf80e950b614ddb8715feabba2
full-name: Otto Pichler
type: Person

http://www.aktors.org/ontology/date#1956
year-of: 1956
type: Calendar-Date

http://dblp.rkbexplorer.com/id/people-6930869e75b69f33af20aa3c1ec4d629-413100a91ec53ad56a62136ebc1e4a67
full-name: Klaus Wenke
type: Person

http://dblp.rkbexplorer.com/id/people-e60c3ef9e358d5d24488ff63caae4746-2a3924fd4cfaae7d97cf2505a39f4357
full-name: Walter Knödel
type: Person

http://dblp.rkbexplorer.com/id/people-12b0378225de54464e2ad86ecbe05d44-cee47403b6cdd9fe82f8ab825ffa8848
full-name: Granino A. Korn
type: Person

http://dblp.rkbexplorer.com/id/people-df8abff9ea3f495ede784371a5cd0177-c0a1a0f1296f3b31af9dac00c5356cd1
full-name: Peter Henrici
type: Person

http://dblp.rkbexplorer.com/id/people-77e99d335ba0066b9aa28906cf4602b0-ad4b8adfec91c6c33db0e587b893f08b
full-name: Ernst P. Billeter
type: Person

DBLP : dblp-publications.rdf
creator: Christopher Franklin
creator: ReSIST Project
description: This ontology contains information detailing publications from dblp
title: DBLP : dblp-publications-1956.rdf
type: Ontology
imports: extension
imports: portal

http://dblp.rkbexplorer.com/id/people-1b80d3e89624ea742f6e0ae4c617e179-4ea3392bb91b0bb3c51bb451174f6cec
full-name: Irving M. Copi
type: Person

http://dblp.rkbexplorer.com/id/people-8dbc7285e0b00d11faf72f86ff66c37b-b9bfdaf00e6d65b9950dda2442d9dab2
full-name: J. I. Derr
type: Person

http://dblp.rkbexplorer.com/id/people-486b41337b246c404332bc9346452f95-af58e0070a18adad30e28d4b3be53301
full-name: G. D. W. Berry
type: Person

http://dblp.rkbexplorer.com/id/people-3a525c9e0239e961bce05af132a1e0c3-3d193eca10febbcaacd3a1b43e021bc8
full-name: Gideon Schwarz
type: Person

http://dblp.rkbexplorer.com/id/people-9354a6ff8a0bc37a8041faee55de3d91-849f67117a10dd62e8c192a95062b61d
full-name: Elliott Mendelson
type: Person

http://dblp.rkbexplorer.com/id/people-67fc0d3ad93096ac9cbf24915ae3cc18-f0a290c5b88ac24aaa5da450a706d35a
full-name: Louis B. Wadel
type: Person

http://dblp.rkbexplorer.com/id/people-90dc9ac3b7256df97cd8ddce406ed653-f7de386a3f64b4ab896be46638c641b1
full-name: Clarence L. Johnson
type: Person

http://dblp.rkbexplorer.com/id/people-1117bf4451898fa71ef672bdacd6c8c6-6dacde7864a9cd30954dbcbe8d8008b5
full-name: A. N. Prior
type: Person

http://dblp.rkbexplorer.com/id/people-2673f43dad60558450002cf84cf0fad0-224e51b3a1110afc6917fa80f65e8576
full-name: Johann Pfanzagl
type: Person

http://dblp.rkbexplorer.com/id/people-091f4c23195a8059b78ac8e9a432055d-2e72e8fc7c97f2a69f8d03359971b5d7
full-name: Jaakko Hintikka
type: Person

http://dblp.rkbexplorer.com/id/people-8af7c3d40f0a80afe1ebc6534e919485-c5334da440bd4cec5b485d7ce50b3ac4
full-name: William R. Hoover
type: Person

http://dblp.rkbexplorer.com/id/people-9d26d1b0466f8794d7266a25b37ecd13-3aa90d309f34b57234cd2a2fdb8c6371
full-name: Walther Eberl
type: Person

http://dblp.rkbexplorer.com/id/people-17900a7dcf557f3292fd434572932b89-670bdd8b92e8b34dd074c48c7a9f01ef
full-name: Roy F. Reeves
type: Person

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-5798875b528d91161b269ec3938eb987
full-name: W. V. Quine
type: Person

http://dblp.rkbexplorer.com/id/people-b3c1d491adacf75c46f8865ed39fc029-524f9f1e6deb4d2a0715b0a6ebf6594f
full-name: Boyd Larrowe
type: Person

http://dblp.rkbexplorer.com/id/people-b9359b93ff057083c2b364f88d03e27f-7ea9cbf7731851b16778721454819b63
full-name: Erwin Brommer
type: Person

http://dblp.rkbexplorer.com/id/journals-a7f87a4266b0410412e4b590262da87b
has-title: J. ACM
type: Journal

http://dblp.rkbexplorer.com/id/people-1e09a6bcd6685200056081f05b3417fd-5158b10ba25f17e2fc79bc4805d6804f
full-name: Robert Perkins
type: Person

http://dblp.rkbexplorer.com/id/people-d68e1dc015a7298907f52e4b5b1cb3fe-889b4cb4abe07b80810e167ee5586684
full-name: R. C. Singleton
type: Person

http://dblp.rkbexplorer.com/id/people-5ee3c20090c0fbb16ad0de691aeac7d0-cee47403b6cdd9fe82f8ab825ffa8848
full-name: Theresa M. Korn
type: Person

http://dblp.rkbexplorer.com/id/people-9354a6ff8a0bc37a8041faee55de3d91-73fab64db3dc552b29d6dbb05c827151
full-name: Elliott Mendelson
type: Person

http://dblp.rkbexplorer.com/id/people-c4915c22d7f9d9a99382c49a6bf5d77c-8ac9659b566a4293df7fe916174e973a
full-name: Richard C. Jeffrey
type: Person

http://dblp.rkbexplorer.com/id/people-c945229d2839cfe42f2bdada4c34a2e8-889b4cb4abe07b80810e167ee5586684
full-name: E. J. Isaac
type: Person

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-d63aea492fc8c8941001e5096c4742f5
full-name: Frederic Brenton Fitch
type: Person

http://dblp.rkbexplorer.com/id/people-637937601a67fef747d1983e29bc2d45-524f9f1e6deb4d2a0715b0a6ebf6594f
full-name: John W. Carr III
type: Person

http://dblp.rkbexplorer.com/id/people-dc4064058ecb3c06f2e78fbbffc318ba-09efdf80fd6de5d7e8b04ed3eafff34a
full-name: Wolfgang Wetzel
type: Person

http://dblp.rkbexplorer.com/id/people-609aab2d8542fa4372aa9a3db9ab2720-a5a6f2682cdcd356a23d3ba80bbf2cc9
full-name: Gerhard Fasching
type: Person

http://dblp.rkbexplorer.com/id/people-bde45faf7213ad1bfb449056ee66b3de-0a292fdf84b986d2252b1a5cecac7ac7
full-name: Mark Lotkin
type: Person

http://dblp.rkbexplorer.com/id/people-717a572f4222b8f62303eec33bca4c04-3e8e53133705488b1ce04a4203bfe3d7
full-name: Robert C. Miller Jr.
type: Person

http://dblp.rkbexplorer.com/id/people-eedc1b488ffd876c81fc9b7e794a92f8-ea5378fd9873c8f72d458dfc0efe1161
full-name: Steven Orey
type: Person

http://dblp.rkbexplorer.com/id/people-5c0aa065db43d09e503a0bca19c7c99c-670bdd8b92e8b34dd074c48c7a9f01ef
full-name: Samuel D. Conte
type: Person

http://dblp.rkbexplorer.com/id/people-bfa3eea132ed8ae2ae77b1c92dcd333c-c93f8098ce43bfcaeb3b190ccc2f47f3
full-name: Erich Soom
type: Person

http://dblp.rkbexplorer.com/id/people-30b8c3601bf33557a3a7106b23e12776-0bbffff22eb7afa54a261606ab690b62
full-name: John G. Kemeny
type: Person

http://dblp.rkbexplorer.com/id/people-04f4316d452385435e33fb270f53d533-67b9ed195baedcbb2f017b0dc56d5e88
full-name: Bruce G. Oldfield
type: Person

http://dblp.rkbexplorer.com/id/people-23359c9b9b072e2bdede9cd6ade474a0-4b286c0621c4e540a21ef37ccdaaaa7c
full-name: Gus Hempstead
type: Person

http://dblp.rkbexplorer.com/id/people-4fa1d75f7e97de31a3543bb63a2c358e-ec42620568314d0b3bf21cccfb7e7ccb
full-name: Herbert T. Glantz
type: Person

http://dblp.rkbexplorer.com/id/people-ee45799ad63e8ac6eb1fbd700962d76e-3b74aeb9847e67fd120ae2595ed40f3b
full-name: Heinz Zemanek
type: Person

http://dblp.rkbexplorer.com/id/people-83b4d9c97f79626aea2fdbf17879bf7a-379d872aecd9c5ab93d7cd94da5c9d10
full-name: Anna Klingst
type: Person

http://dblp.rkbexplorer.com/id/people-5a4c29a6b2b0925b2b70bbbb571011d5-c5334da440bd4cec5b485d7ce50b3ac4
full-name: Joseph R. Bruman
type: Person

http://dblp.rkbexplorer.com/id/people-cfcfebb08a4160c118a2fa2b9c761b63-61dfdcb421332e8e5e6a821b8ddc5d9e
full-name: Abraham Robinson
type: Person

http://dblp.rkbexplorer.com/id/people-ca77526a2ea0a66dc3429d537362536a-dd4b7910ab0aa65c35fc58c2c7f8b201
full-name: A. C. Downing Jr.
type: Person

http://dblp.rkbexplorer.com/id/people-0ca2fc3d85762d97329d4defc6d91a94-d15b613370c13fc725b08a2bae156d77
full-name: Alan Ross Anderson
type: Person

http://dblp.rkbexplorer.com/id/people-abe67a67ed0b3d58a0211e3dfc03ce1b-628b42d8b0acfd93bea262a2010f1975
full-name: S. J. Abraham
type: Person

http://dblp.rkbexplorer.com/id/people-087bad7e77bd6daf1516b5e5eafafb11-06a6d66b1f42c9d33e175fc02132df76
full-name: E. J. Lemmon
type: Person

http://dblp.rkbexplorer.com/id/people-ffc4a22136d3f1d1918dd59fe7885d70-66240a42941eb08c9e5474793ae6d463
full-name: Slawtscho Sagoroff
type: Person

http://dblp.rkbexplorer.com/id/people-5c2be4f02b197e736e967f3bfb69a4af-aa6b328fe4e897f1e221347d968ede05
full-name: Michael E. Fisher
type: Person

http://dblp.rkbexplorer.com/id/people-04f4316d452385435e33fb270f53d533-3e8e53133705488b1ce04a4203bfe3d7
full-name: Bruce G. Oldfield
type: Person

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-09097aa0d077ced4dc2343bc7023031d
full-name: W. V. Quine
type: Person

http://dblp.rkbexplorer.com/id/people-f4f733d84fc1bc0036c708e9425be689-fc11b70f33c335374c0b7cf57aa73221
full-name: Adolf Adam
type: Person

http://dblp.rkbexplorer.com/id/people-69b15c5dabf0b9dd52c09dc7d096380d-777748ff1cf72e5c52b29498659b015f
full-name: H. Gordon Rice
type: Person

http://dblp.rkbexplorer.com/id/people-580d595257cc60b13d442a2b564cc5af-e841229119c195df3de8e688e26c9fa9
full-name: R. L. Wilder
type: Person

http://dblp.rkbexplorer.com/id/people-fa3383321de053fbbb9122ed7c23746c-73181373e70527aa99dad31a01a3f0a4
full-name: Wesley S. Melahn
type: Person

http://dblp.rkbexplorer.com/id/people-5c41a20c26dc6a34a9f7b739ad943a12-c5334da440bd4cec5b485d7ce50b3ac4
full-name: John J. Wedel
type: Person

http://dblp.rkbexplorer.com/id/people-88bf1ef66df8940a6cde474d4c84ef1b-18503ec72468319bb2d763d1116c4592
full-name: Fritz Neeb
type: Person

http://dblp.rkbexplorer.com/id/people-399e15c3c9f9d35feb2193730d0ad531-bc5c6ad903731dd1036109881fdb0ae9
full-name: Hubert H. Mayr
type: Person

http://dblp.rkbexplorer.com/id/people-0626d5b1cbb7286b0e6083dbe0c71727-88e270ca94b4719c3a87443575515597
full-name: Irwin D. Greenwald
type: Person

http://dblp.rkbexplorer.com/id/people-ea1112a4a248bd66920480cf7a6ea800-2a13e244eaa0a2a65e341a285f871cd5
full-name: John C. Shepherdson
type: Person

http://dblp.rkbexplorer.com/id/people-91e4f1443a4accfb36bc1338cbd97ee7-2e72e8fc7c97f2a69f8d03359971b5d7
full-name: K. Jaakko
type: Person

http://dblp.rkbexplorer.com/id/people-ae0562b0aa0bec4d05fb2ea27c3d3012-1a848a2e88bc19471ec1b47eae1404e8
full-name: Raphael M. Robinson
type: Person

http://dblp.rkbexplorer.com/id/people-829e3339c4b3963757c39facc78133f9-70ad694d525e070b6adc4ef1c4203d6c
full-name: Konrad Zuse
type: Person

http://dblp.rkbexplorer.com/id/people-fffcdb9418727ec0d28616712759936c-78f54865cce057732eb5be4360b6e392
full-name: Owen R. Mock
type: Person

http://dblp.rkbexplorer.com/id/people-26b81f78edaf236bcab7b9220be03ec0-88e270ca94b4719c3a87443575515597
full-name: H. G. Martin
type: Person

http://dblp.rkbexplorer.com/id/people-d6b2c87474d20b71558c69e2846948d4-25917263ecc7adfa7e75652dcddb7da2
full-name: J. M. Hammersley
type: Person

http://dblp.rkbexplorer.com/id/people-284e5b90073ffe6a1dbd08eacaf603ad-8cbd311760af8873c8aac45ad0f51428
full-name: Walter F. Bauer
type: Person

http://dblp.rkbexplorer.com/id/people-2864c27e7220d9819adc8a5f9786c331-0cea9ed7c730245f373867dd4b7d5fb7
full-name: Charles L. Baker
type: Person

http://dblp.rkbexplorer.com/id/people-4e17179af6b9e719e4ca0bc82aca2f5e-1f9dbc41c867e70e3946d1b7256a62c0
full-name: Richard H. Stark
type: Person

http://dblp.rkbexplorer.com/id/journals-2535f6ae86e7f352e0ccd19e1b5701c7
has-title: Math. Meth. of OR
type: Journal

http://dblp.rkbexplorer.com/id/people-900eb7ef447300d6370eef13d5f1b8c7-41c649c1b16f5890ab49ead078a62fec
full-name: H. Kregeloh
type: Person

http://dblp.rkbexplorer.com/id/people-1c7a4e43c91697934a398c0afc6200da-a88a4049df1e73476a499ff222c4e58b
full-name: Edmund C. Berkeley
type: Person

http://dblp.rkbexplorer.com/id/people-36785a605ec521383c59d92788339681-0d227706dd1fcd8f3c8cc13161e3fad3
full-name: Sergei Alekseevich Lebedev
type: Person

http://dblp.rkbexplorer.com/id/people-4da7bd251151f49c85a4f8ee41accc79-7b588c3fc1c303ef938b9227ce9ae64c
full-name: Robert Young
type: Person

http://dblp.rkbexplorer.com/id/people-3907a86ec60c6eda6580646f11249623-a2d6e7974806925a5e5bbc0f29faf165
full-name: Edward H. Friend
type: Person

http://dblp.rkbexplorer.com/id/people-f8588cfcc9dd199087448205833a9da5-72a4730a1cbdb4110ac66666a31d1e9f
full-name: Harvey Cohn
type: Person

http://dblp.rkbexplorer.com/id/people-3cf3871c070dd706b1cd8f3fd9695acf-db6ce167aa7c9d1848abbb79975ff53b
full-name: Glenn H. Keitel
type: Person

http://dblp.rkbexplorer.com/id/people-5e39d19deb09acb180289f0c7b8c50b6-b9bfdaf00e6d65b9950dda2442d9dab2
full-name: R. C. Luke
type: Person

http://dblp.rkbexplorer.com/id/people-829e3339c4b3963757c39facc78133f9-f8af6fa160980954609a08d80c8d3356
full-name: Konrad Zuse
type: Person

http://dblp.rkbexplorer.com/id/people-6596aa15945f62f65dec58d6f24a0f67-7d295e3215706134c814f68692486703
full-name: John R. Myhill
type: Person

http://dblp.rkbexplorer.com/id/people-f1b460d6cb59c977d41f4380a06257d8-67b9ed195baedcbb2f017b0dc56d5e88
full-name: Robert H. Bracken
type: Person

http://dblp.rkbexplorer.com/id/people-f4f733d84fc1bc0036c708e9425be689-f4181f53d4e81fc885464cd89ea25f2d
full-name: Adolf Adam
type: Person

http://dblp.rkbexplorer.com/id/people-cce2a6d1d9f3eb6057b17943d4555fcf-1c29c09282bf854e177f1274801319a2
full-name: Richard Elton von Holdt
type: Person

http://dblp.rkbexplorer.com/id/people-869a12834af5a59502a27569d1c30466-8088fa18ab38ce2dba1481f42c5b0d6f
full-name: Alan Cobham
type: Person

http://dblp.rkbexplorer.com/id/people-588f877a998cef4fcffe0d6d89612ad1-dd4b7910ab0aa65c35fc58c2c7f8b201
full-name: Alston S. Householder
type: Person

http://dblp.rkbexplorer.com/id/people-4552e35707edd555beeb9af2851adf41-e50ce77a232eaa2798b017453777b7da
full-name: Nathaniel Macon
type: Person

http://dblp.rkbexplorer.com/id/people-1b80d3e89624ea742f6e0ae4c617e179-e841229119c195df3de8e688e26c9fa9
full-name: Irving M. Copi
type: Person

http://dblp.rkbexplorer.com/id/people-ea1112a4a248bd66920480cf7a6ea800-f4cff459b5b901088d18d68f207f1b30
full-name: John C. Shepherdson
type: Person

http://dblp.rkbexplorer.com/id/people-f17f8bec431ced74bf61cde0623835d2-3584d73ffbcb77a1e497914585b75551
full-name: Leon Henkin
type: Person

http://dblp.rkbexplorer.com/id/people-a68e6aa31fbc802191b8cf76d4bf2e5a-83b0718de4651c42eeec3ebdf433dadd
full-name: Robert M. Mason
type: Person

http://dblp.rkbexplorer.com/id/people-b01d6ac6c22a676e4fec77757f068227-a88a4049df1e73476a499ff222c4e58b
full-name: Lawrence Wainwright
type: Person

http://dblp.rkbexplorer.com/id/people-82babfc0fa0a377d0a45b60d918dc8cf-f4181f53d4e81fc885464cd89ea25f2d
full-name: Erich Bukovics
type: Person

http://dblp.rkbexplorer.com/id/people-dc4064058ecb3c06f2e78fbbffc318ba-9a588cdbb0b0d13a8b70a6146fbd8ce8
full-name: Wolfgang Wetzel
type: Person

http://dblp.rkbexplorer.com/id/people-eedc1b488ffd876c81fc9b7e794a92f8-6768cb074b65c9d0e47a09bc621ca8e0
full-name: Steven Orey
type: Person

http://dblp.rkbexplorer.com/id/journals-cd761b4aebc5ac2ad8d181327497e7b1
has-title: J. Symb. Log.
type: Journal

http://dblp.rkbexplorer.com/id/people-4df53e7ef8c9211e501be91930b401bf-7e6bd3e891573ebfe3d4436a4805a919
full-name: Margaret Baskervill
type: Person

http://dblp.rkbexplorer.com/id/people-23053cecde0906348ae644c10e4a78bd-524f9f1e6deb4d2a0715b0a6ebf6594f
full-name: J. R. McReynolds
type: Person

http://dblp.rkbexplorer.com/id/people-57071e8cac84c07e9201d3cc06ecd5ec-3584d73ffbcb77a1e497914585b75551
full-name: Richard Montague
type: Person

http://dblp.rkbexplorer.com/id/people-08747f94d202e41d944c2991e9ca9ca4-bb29d66bc7136ab9eda065ffdb3c421a
full-name: Gustav Bergmann
type: Person

http://dblp.rkbexplorer.com/id/people-588f877a998cef4fcffe0d6d89612ad1-b0ea574d1cc9f75a71433c25eb62d157
full-name: Alston S. Householder
type: Person

http://dblp.rkbexplorer.com/id/people-9dab4294eed8f072c7b74fddf45d8beb-47669bbdd0c7fa1c3ebf9c9644eae8b3
full-name: Rolf Wartmann
type: Person

http://dblp.rkbexplorer.com/id/people-30b8c3601bf33557a3a7106b23e12776-d3c8cdb0492cb58c079cd64573a57b7c
full-name: John G. Kemeny
type: Person

http://dblp.rkbexplorer.com/id/people-7eaff65ebd5cfdb514d80074a82c8256-524f9f1e6deb4d2a0715b0a6ebf6594f
full-name: J. H. Brown
type: Person

http://dblp.rkbexplorer.com/id/people-6ff887dad21b17b61fb5f5ceb441f419-a44e3a41ef7c8ebdee5f34d34ea98d8c
full-name: Barry Gordon
type: Person

http://dblp.rkbexplorer.com/id/people-7f8f3fdccbecc4ca7607653333cfbb13-4b286c0621c4e540a21ef37ccdaaaa7c
full-name: Jules I. Schwartz
type: Person

http://dblp.rkbexplorer.com/id/people-36655742fde3df89a81fd7d22e64be39-8904626e4ad5b536dbbf8ebe6036e2ab
full-name: M. H. Lob
type: Person

http://dblp.rkbexplorer.com/id/people-751b4f0cac56066504bc27816110d5d3-628b42d8b0acfd93bea262a2010f1975
full-name: L. E. Heizer
type: Person