DyerG57
has-volume: 4
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320887
has-title: The Method of Reduced Matrices for a General Transportation Problem.
type: Thing
has-date: http://www.aktors.org/ontology/date#1957

http://dblp.rkbexplorer.com/id/people-9c269ab751af4d87c07bd69f6bbde1b9-b710adf679b806877c38320715730591
full-name: Iu. Ia. Bazilevskii
type: Person
type: Thing

SymondsC57
type: Thing
has-volume: 22
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-title: Inference by Complementary Elimination.

KisterSUWW57
has-title: Experiments in Chess.
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320868.320877
type: Thing
has-volume: 4
type: Article-Reference

Ehrenfeucht57
has-title: Two Theories with Axioms Built by Means of Pleonasms.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Wang57
has-title: The Axiomatization of Arithmetic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-c34c8b6528ab5d11c650d7481bbf6c70-82ad976c9f82a00857b961a35bd05aaa
full-name: William Craig
type: Person
type: Thing

LightstoneR57
type: Article-Reference
type: Thing
has-volume: 22
has-date: http://www.aktors.org/ontology/date#1957
has-title: On the Representation of Herbrand Functions in Algebraically Closed Fields.

http://dblp.rkbexplorer.com/id/people-2479ca8535b0ac31cd8bf94a158c9533-b625365e1c837b329553341bafb5dce0
full-name: James A. Ward
type: Person
type: Thing

Bing57
has-title: On the Axioms of Order and Succession.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Atta57
type: Article-Reference
has-title: Effect of Propagated Error on Inverse of Hilbert Matrix.
type: Thing
has-web-address: http://doi.acm.org/10.1145/320856.320864
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

Atta57
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320856.320864
type: Article-Reference
type: Thing
has-title: Effect of Propagated Error on Inverse of Hilbert Matrix.
has-date: http://www.aktors.org/ontology/date#1957

Lehmer57
has-web-address: http://doi.acm.org/10.1145/320856.320865
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
has-title: Sorting Cards with Respect to a Modulus.

GerberichS57
type: Article-Reference
has-title: Codes for the Classical Membrane Problem.
has-web-address: http://doi.acm.org/10.1145/320893.320904
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957

Linfoot57
type: Thing
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90116-X
has-title: An Informational Measure of Correlation
type: Article-Reference
has-volume: 1
has-date: 1957-September

http://dblp.rkbexplorer.com/id/people-83f959653ca4df22d4643378ca966404-16cc09c244a9da9e44a03b53b9df594c
full-name: Ward C. Sangren
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7036bbd83e44da5ecca815ed788c2c9b-b8e8cf6e18f46a406c6bac935dff2701
full-name: N. J. Fine
type: Person
type: Thing

HaltonH57
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-title: A Method for Increasing the Efficiency of Monte Carlo Integration.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320889
type: Thing

Thompson57
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320881.320888
type: Thing
type: Article-Reference
has-volume: 4
has-title: On Bateman's Method for Solving Linear Integral Equations.

Blanche57
has-title: Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Miehle57
has-web-address: http://doi.acm.org/10.1145/320868.320879
type: Article-Reference
type: Thing
has-title: Burroughs Truth Function Evaluator.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

Vallee57
has-date: 1957-September
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90105-5
type: Article-Reference
type: Thing
has-title: A Note on Algebra and Macroscopic Observation
has-volume: 1

ChungG57
type: Thing
type: Article-Reference
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-title: Test of an Inventory Control System on FERUT.
has-web-address: http://doi.acm.org/10.1145/320868.320869

http://dblp.rkbexplorer.com/id/people-cfa66e33df40d078c5daced390887cee-61d85b304de55944a777eadac9d9d6ef
full-name: H. S. Vandiver
type: Person
type: Thing

KisterSUWW57
has-title: Experiments in Chess.
type: Article-Reference
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320868.320877
type: Thing

Sherman57
type: Article-Reference
has-title: Determination of Three Percentiles of the omegan Distribution Function.
has-web-address: http://doi.acm.org/10.1145/320893.320903
has-volume: 4
type: Thing
has-date: http://www.aktors.org/ontology/date#1957

Glantz57
type: Thing
has-title: On the Recognition of Information With a Digital Computer.
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320868.320878
has-volume: 4
type: Article-Reference

BrackenT57
has-web-address: http://doi.acm.org/10.1145/320868.320870
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-volume: 4
has-title: Information Searching with the 701 Calculator.

GoldsteinLH57
has-title: On the ``Best'' and ``Least Qth'' Approximation of an Overdetermined System of Linear Equations.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320881.320890
has-volume: 4

Bazilevskii57
type: Thing
has-web-address: http://doi.acm.org/10.1145/320893.320907
has-title: The Universal Electronic Digital Machine (URAL) for Engineering Research.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-4d1d4dd99e5b273b445364ce3534005f-bf4a674dd6035b44ef863f642b1319f2
full-name: Gene H. Leichner
type: Person
type: Thing

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

Thomas57
has-title: Eulerian Syllogistic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Sherman57
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
type: Article-Reference
has-title: Determination of Three Percentiles of the omegan Distribution Function.
has-web-address: http://doi.acm.org/10.1145/320893.320903

FineH57
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
type: Thing
has-title: Uniformization of Linear Arrays.
has-volume: 22

http://dblp.rkbexplorer.com/id/people-4ea4bbee9fa8647d210afe784fcfac5b-8830a4da00a0112df3d9bede3d1981ab
full-name: Ivo Thomas
type: Person
type: Thing

KayS57
type: Article-Reference
type: Thing
has-date: 1957-September
has-title: On the Uncertainty Relation for Real Signals
has-volume: 1
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90083-9

MasonC57
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320909
has-title: Remarks on ``The Digital Approximation of Contours''.
type: Thing
has-volume: 4

Henkin57
has-title: A Generalization of the Concept of omega-Completeness.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-4a1be18916c1a57a7a2625026600647b
full-name: Hao Wang
type: Person
type: Thing

WeinbergerL57
has-title: Symbolic Designations for Electrical Connections.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320895
has-volume: 4
type: Thing

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

Shenitzer57
has-title: Chebyshev Approximation of a Continuous Function by a Class of Functions.
type: Article-Reference
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320863

http://dblp.rkbexplorer.com/id/people-83c198a9210f5b00ed5fd3c0d5b83d2f-8703e26c071c560e515c17a0e9a41ad5
full-name: H. Loberman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-1c0000c0c79b92f705c0179e87c73dc7-50dc78153547f02b15828a9bb06c2a03
full-name: George A. Miller
type: Person
type: Thing

Mercer57
has-web-address: http://doi.acm.org/10.1145/320868.320875
type: Thing
type: Article-Reference
has-title: Micro-Programming.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

http://dblp.rkbexplorer.com/id/people-7bbc87cd752f2d0fe2d77ec6454695a2-65f52271d1ca37d285296ef0531cc284
full-name: Richard Friedberg
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-1f9f94e85ced5375428d67a46662c561-1373105ae64ea243c26a409b45f6663d
full-name: Anthony G. Oettinger
type: Person
type: Thing

Rowan57
has-web-address: http://doi.acm.org/10.1145/320881.320891
type: Article-Reference
has-volume: 4
type: Thing
has-title: Psychological Tests and Selection of Computer Programmers.
has-date: http://www.aktors.org/ontology/date#1957

http://dblp.rkbexplorer.com/id/people-d15b9edee5255ebd85c88defd912f954-16cc09c244a9da9e44a03b53b9df594c
full-name: C. L. Gerberich
type: Person
type: Thing

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

Steel57
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: Pact IA.
has-web-address: http://doi.acm.org/10.1145/320856.320859
type: Article-Reference
has-volume: 4

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

http://dblp.rkbexplorer.com/id/people-041057c75ff1294f80610c25ecbc3a08-eef34009c9de8948be73bb0284eb1645
full-name: C. C. Gotlieb
type: Person
type: Thing

JaakkoH57
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-title: Vicious Circle Principle and the Paradoxes.
has-volume: 22
type: Thing

http://dblp.rkbexplorer.com/id/people-7b47e0ed51f0dbbf3190100a7b17ab74-87b679e3e65182abf53472cca0a8c831
full-name: A. H. Lightstone
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-245fa4189737b15198864cb17a18bab5-201a6148902c2170d89d5b556cdfcd66
full-name: L. Brillouin
type: Person
type: Thing

Swift57
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320868.320876
has-title: Machine Features for a More Automatic Monitoring System on Digital Computers.
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
type: Article-Reference

Leblanc57
has-title: On Logically False Evidence Statements.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Smullyan57
has-title: Languages in Which Self Reference is Possible.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0072157
has-title: A management guide to electronic computers.
has-date: http://www.aktors.org/ontology/date#1957
type: Book-Reference
type: Thing

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

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0072157
has-title: A management guide to electronic computers.
has-date: http://www.aktors.org/ontology/date#1957
type: Book-Reference
type: Thing

Conte57
has-web-address: http://doi.acm.org/10.1145/320856.320861
has-volume: 4
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-title: A Stable Implicit Finite Difference Approximation to a Fourth Order Parabolic Equation.

Israel57
type: Thing
has-title: Simulation Techniques for the Test and Evaluation of Real-Time Computer Programs.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320892
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957

X57
has-title: Conference on Matrix Computations (Abstracts).
has-web-address: http://doi.acm.org/10.1145/320893.320908
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-667a967ae060730034741c38d55353a9-09e1d2883d09f7328899f40d5346601f
full-name: William Miehle
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a02f325352ee80f5488a2eed7574cc06-3043301a6f0361215c845337199d1700
full-name: J. Kister
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-bdf4e3f69153b010a552deb8c23c1f7b-d784353f02d02304e60f7769033610b4
full-name: Harley Tillitt
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-90fd9846a32c0cf0363211b0967157e3-50dc78153547f02b15828a9bb06c2a03
full-name: Elizabeth A. Friedman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-481b9aab6526934e6bfd40acdca8e68a-d9a90281ecabd9de882c1d57f9a2e2d1
full-name: Robert C. Minnick
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a669e9a7404ed822085edba61a07322c-b8e8cf6e18f46a406c6bac935dff2701
full-name: Ronald Harrop
type: Person
type: Thing

Huffman57
type: Article-Reference
has-volume: 4
type: Thing
has-title: The Design and Use of Hazard-Free Switching Networks.
has-web-address: http://doi.acm.org/10.1145/320856.320866
has-date: http://www.aktors.org/ontology/date#1957

http://dblp.rkbexplorer.com/id/people-3bb2b4347ad88959f57786e8a8df1747-17ff1c24f98e9e7e8c6dcd831f702635
full-name: R. Curtis Johnson
type: Person
type: Thing

Hailperin57
has-title: A Theory of Restricted Quantification I.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-f5b0e497b094ec25b78c67cffc03b9d5-b05f7610fca0f114189e5ab40cd0e77a
full-name: David A. Huffman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-32741100c91bfda9e89f1a487ec05617-7f8c3f26eb0f71cda211ada8016699ea
full-name: Roger L. Boyell
type: Person
type: Thing

DyerG57
has-title: The Method of Reduced Matrices for a General Transportation Problem.
has-web-address: http://doi.acm.org/10.1145/320881.320887
has-volume: 4
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1957

Blachman57a
has-title: Limiting Frequency-Modulation Spectra
has-date: 1957-September
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-087bad7e77bd6daf1516b5e5eafafb11-42c5ce193e5367bc517b87c0507f9bab
full-name: E. J. Lemmon
type: Person
type: Thing

Ward57
has-title: The Down-Hill Method of Solving f(z)=0.
type: Thing
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320868.320873
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

http://dblp.rkbexplorer.com/id/people-ca7cf356c55dbbfc5a3b0b64c930438b-31f2db46a4cae48a9b8ca4c31c3115b9
full-name: Paolo Ercoli
type: Person
type: Thing

Ward57
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
type: Article-Reference
has-title: The Down-Hill Method of Solving f(z)=0.
has-web-address: http://doi.acm.org/10.1145/320868.320873

BauerW57
type: Thing
has-title: A System for General-Purpose Analog-Digital Computation.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320856.320860

Friedman57
has-title: Some Results in Church's Restricted Recursive Arithmetic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-11e8e6130eb6ac446cc8ca73f5f4ea0d-9589a060a0d35aee3a47ea6e6c047748
full-name: George P. West
type: Person
type: Thing

Bing57
has-title: On the Axioms of Order and Succession.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

1957-September
year-of: 1957
month-of: September
type: Calendar-Date
type: Thing

FineH57
has-volume: 22
has-title: Uniformization of Linear Arrays.
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-cf482b2c693bd979218311ae01424836-64b72bb311312f57bb00ad97d7d151be
full-name: F. Yates
type: Person
type: Thing

Ehrenfeucht57
has-title: Two Theories with Axioms Built by Means of Pleonasms.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-5c7712a853533bb7d54fab5bf01f9ab9-2d81c81eea51334cacd79bfc86d251ea
full-name: Bernard A. Galler
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-b47769e7e70c1d341109de9297965dd1-c28a5bad6279bbe50f6d6a16b4dd4192
full-name: Susie E. Atta
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-4db355d14e6e719d1a193362d9812c80-771f1615438a93cbbc2e6c97d51b8a1c
full-name: Andrzej Ehrenfeucht
type: Person
type: Thing

Hailperin57a
has-title: A Theory of Restricted Quantification II.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

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

Craig57a
has-title: Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

LobermanW57
has-title: Formal Procedures for Connecting Terminals with a Minimum Total Wire Length.
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320896
type: Thing
type: Article-Reference

Leblanc57
has-title: On Logically False Evidence Statements.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-28f4f0a6388c15808b42e775734c69db-a92c4141560b80ff0d7902bde64cf8cd
full-name: R. A. Silverman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7261afc30f69157037036c672ece1e52-8ebe383a05a20ddca74189708467869f
full-name: T. C. Rowan
type: Person
type: Thing

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

HaltonH57
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
type: Article-Reference
has-volume: 4
has-title: A Method for Increasing the Efficiency of Monte Carlo Integration.
has-web-address: http://doi.acm.org/10.1145/320881.320889

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

BurksW57
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: The Logic of Automata - Part I.
has-web-address: http://doi.acm.org/10.1145/320868.320880
has-volume: 4
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-067cdae7b75353cc59dccf660420d5d7-f1d80926ed368089aa1d3ca01d78dea9
full-name: David A. Pope
type: Person
type: Thing

Craig57a
has-title: Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-e89399ca2147eb5dca3cb44496066a9f-3043301a6f0361215c845337199d1700
full-name: W. Walden
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/journals-14dcc4f79ee737b5159ea2399b683e00
has-title: Information and Control
type: Journal
type: Thing

Oettinger57
type: Article-Reference
has-title: Account Identification for Automatic Data Processing.
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320881.320882

Vallee57
type: Thing
has-volume: 1
has-date: 1957-September
type: Article-Reference
has-title: A Note on Algebra and Macroscopic Observation
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90105-5

Mandelbrot57
type: Thing
has-volume: 1
has-date: 1957-September
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90094-3
has-title: A Note on a Law of Berry and on Insistence Stress
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-de291ea9d6ae6ac76c3ea7663612b081-9c5318101c85947fa2136fb7c35a7bd7
full-name: William D. Bell
type: Person
type: Thing

Friedberg57
has-title: A Criterion for Completeness of Degrees of Unsolvability.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-ffc67290a54d6da1d035f259f5d07e07-0912fbaa8462a1b88199b08ecfef6b28
full-name: P. Elias
type: Person
type: Thing

Harlow57
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
type: Thing
has-web-address: http://doi.acm.org/10.1145/320868.320871
has-volume: 4
has-title: Hydrodynamic Problems Involving Large Fluid Distortions.

SymondsC57
type: Article-Reference
has-volume: 22
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-title: Inference by Complementary Elimination.

Feferman57
has-title: Degrees of Unsolvability Associated with Classes of Formalized Theories.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-e15c7f91f132e2d1b12fec1b5a3a15b7-d3183cf96afdec40572a67bd88dfe08c
full-name: Arthur W. Burks
type: Person
type: Thing

Thomas57
has-title: Eulerian Syllogistic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

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

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

Hiz57
has-title: Inferential Equivalence and Natural Deduction.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Hiz57
has-title: Inferential Equivalence and Natural Deduction.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Cohen57
has-title: Can the Logic of Indirect Discourse be Formalised?
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-c2189e233937b9f352575767589f6613-48ca3e89ed25c53a97cf7de9b4ec7632
full-name: Robert Blanche
type: Person
type: Thing

Henkin57
has-title: A Generalization of the Concept of omega-Completeness.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Thompson57
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-title: On Bateman's Method for Solving Linear Integral Equations.
type: Article-Reference
type: Thing
has-web-address: http://doi.acm.org/10.1145/320881.320888

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0092192
has-title: Programmierungsanleitung Z 22 - Zuse K.-G. Neukirchen, Kreis Hünfeld: Rechengeräte, Elektro-Feinmechanische Geräte, Elektronen- und Relais-Rechenautomaten.
has-date: http://www.aktors.org/ontology/date#1957
type: Book-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0092192
has-title: Programmierungsanleitung Z 22 - Zuse K.-G. Neukirchen, Kreis Hünfeld: Rechengeräte, Elektro-Feinmechanische Geräte, Elektronen- und Relais-Rechenautomaten.
has-date: http://www.aktors.org/ontology/date#1957
type: Book-Reference
type: Thing

Putnam57
has-title: Decidability and Essential Undecidability.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Householder57
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320857
has-title: Retiring Presidential Address.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-f735ead26463e874f7c77a31262f8d65-caa30d3f9b00fcd22307607ae43392c3
full-name: E. H. Linfoot
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-cfcfebb08a4160c118a2fa2b9c761b63-87b679e3e65182abf53472cca0a8c831
full-name: Abraham Robinson
type: Person
type: Thing

Hailperin57
has-title: A Theory of Restricted Quantification I.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-f7e51162377a1199c01e0e354a7ae483-809abc294fd72f3863b54e1aba738026
full-name: Yudell L. Luke
type: Person
type: Thing

Blachman57b
has-title: On Fourier Series for Gaussian Noise
has-date: 1957-September
has-volume: 1
type: Article-Reference
type: Thing

Craig57
has-title: Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Blachman57a
has-title: Limiting Frequency-Modulation Spectra
has-date: 1957-September
has-volume: 1
type: Article-Reference
type: Thing

Putnam57
has-title: Decidability and Essential Undecidability.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Conte57
has-web-address: http://doi.acm.org/10.1145/320856.320861
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
has-title: A Stable Implicit Finite Difference Approximation to a Fourth Order Parabolic Equation.
has-volume: 4

http://dblp.rkbexplorer.com/id/people-5fd1b7518f11a9534d31c08be6fa81f3-38946c1a6f3341f74a1a7b9341a6d933
full-name: Henryk Hiz
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-78d22d516a97ee779a98800b16528b76-ea1c101a48eb7fa94d6cb6f91c3112ad
full-name: Saul Gorn
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-6ebf04aa505e30a1c46dea4123540b7e-0912fbaa8462a1b88199b08ecfef6b28
full-name: C. Cherry
type: Person
type: Thing

Shannon57
has-volume: 1
has-title: Certain Results in Coding Theory for Noisy Channels
has-date: 1957-September
type: Article-Reference
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90039-6
type: Thing

Anderson57
has-title: Independent Axiom Schemata for Von Wright's M.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Miehle57
has-title: Burroughs Truth Function Evaluator.
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320868.320879
has-volume: 4
type: Thing

Minnick57
has-title: Tshebysheff Approximations for Power Series.
type: Thing
has-web-address: http://doi.acm.org/10.1145/320893.320905
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

Brillouin57
has-date: 1957-September
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90028-1
has-title: Mathematics, Physics, and Information (An Editorial)
type: Article-Reference
has-volume: 1
type: Thing

MillerF57
type: Article-Reference
type: Thing
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90061-X
has-date: 1957-September
has-title: The Reconstruction of Mutilated English Texts
has-volume: 1

Lemmon57
has-title: New Foundations for Lewis Modal Systems.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

LehmerV57
has-title: On the Computation of the Number of Solutions of Certain Trinomial Congruences.
has-web-address: http://doi.acm.org/10.1145/320893.320906
type: Article-Reference
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
type: Thing

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

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

Glantz57
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320868.320878
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: On the Recognition of Information With a Digital Computer.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-395ba30db5b6c638a5a149e1235c0f47-8196448013a519dd054298e915ddf367
full-name: Wallace Givens
type: Person
type: Thing

PopeT57
has-title: Maximizing Functions of Rotations - Experiments Concerning Speed of Diagonalization of Symmetric Matrices Using Jacobi's Method.
has-web-address: http://doi.acm.org/10.1145/320893.320901
type: Thing
has-volume: 4
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957

ErcoliV57
has-volume: 4
has-title: Errors Due to Overflow in Arithmetic Operations Particularly as Regards FINAC Electronic Computer.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320893.320899
has-date: http://www.aktors.org/ontology/date#1957
type: Thing

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

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

LehmerV57
type: Article-Reference
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: On the Computation of the Number of Solutions of Certain Trinomial Congruences.
has-web-address: http://doi.acm.org/10.1145/320893.320906

Carr57
has-date: http://www.aktors.org/ontology/date#1957
has-title: Inaugural Presidential Address.
type: Thing
has-volume: 4
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320856.320858

Carr57
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320856.320858
type: Thing
type: Article-Reference
has-title: Inaugural Presidential Address.

http://dblp.rkbexplorer.com/id/people-07a5dd09b2d199181f0d7d8d67c808b5-d6d2d2357a129a757037edce480e577e
full-name: Gene Thomas Thompson
type: Person
type: Thing

Fitch57
has-title: A Definition of Existence in Terms of Abstraction and Disjunction.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-1bdf51aacf2b93c4278e64bedd492516-db85577b9ec4e3fe3fcf29999c55972e
full-name: J. R. Jackson
type: Person
type: Thing

Luke57
type: Article-Reference
has-volume: 4
has-title: Rational Approximations to the Exponential Function.
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320862

Bazilevskii57
has-title: The Universal Electronic Digital Machine (URAL) for Engineering Research.
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320907
has-volume: 4

Luke57
has-web-address: http://doi.acm.org/10.1145/320856.320862
type: Article-Reference
has-volume: 4
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-title: Rational Approximations to the Exponential Function.

YatesL57
has-web-address: http://doi.acm.org/10.1145/320868.320874
type: Article-Reference
type: Thing
has-title: An Automatic Programming Routine for the Elliott 401.
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957

Friedberg57
has-title: A Criterion for Completeness of Degrees of Unsolvability.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

MasonC57
type: Thing
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320893.320909
has-title: Remarks on ``The Digital Approximation of Contours''.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

Shenitzer57
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320863
type: Thing
has-title: Chebyshev Approximation of a Continuous Function by a Class of Functions.
has-volume: 4

http://dblp.rkbexplorer.com/id/people-b0ed531dcc7591d3fc8ae5843e2eae79-c4440cbfb756f64469405f29d5100c4a
full-name: Norman Levine
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-1849ea1dd2d86a5584277c1b6bb55c02-3043301a6f0361215c845337199d1700
full-name: M. Wells
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7f48a5f42c609cfca72a3d6366fefe77-05be58716d249b750bc8c331fded5b84
full-name: Raymond M. Smullyan
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-e0c691c78432234637e9b204d48226af-d3154c4886c8cd1354e0935efdd72cd5
full-name: Benoit Mandelbrot
type: Person
type: Thing

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

Mercer57
has-volume: 4
type: Article-Reference
has-title: Micro-Programming.
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320868.320875
type: Thing

Shannon57
has-date: 1957-September
type: Thing
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90039-6
has-volume: 1
type: Article-Reference
has-title: Certain Results in Coding Theory for Noisy Channels

WeinbergerL57
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320893.320895
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
has-title: Symbolic Designations for Electrical Connections.

WilliamsJR57
type: Thing
has-title: Computations in the Field of Engineering Chemistry.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320893.320894

Crandall57
type: Article-Reference
has-title: Optimum Recurrence Formulas for a Fourth Order Parabolic Partial Differential Equation.
type: Thing
has-web-address: http://doi.acm.org/10.1145/320893.320902
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

Smullyan57
has-title: Languages in Which Self Reference is Possible.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-ad701b7fb6e80c824b7180681140bec4-bc053c9b576e4798a26285189773b820
full-name: Robert J. Mercer
type: Person
type: Thing

HaltonH57a
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320893.320910
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
type: Article-Reference
has-title: Erratum: ``A Method for Increasing the Efficiency of Monte Carlo Integration''.

Macon57
type: Article-Reference
type: Thing
has-web-address: http://doi.acm.org/10.1145/320893.320900
has-volume: 4
has-title: Condensation and Look-Up Procedures for Double Entry Tables.
has-date: http://www.aktors.org/ontology/date#1957

http://dblp.rkbexplorer.com/id/books/daglib/0072172
has-title: Digital computer programming.
has-date: http://www.aktors.org/ontology/date#1957
type: Book-Reference
type: Thing

Blachman57b
has-title: On Fourier Series for Gaussian Noise
has-date: 1957-September
has-volume: 1
type: Article-Reference
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0072172
has-title: Digital computer programming.
has-date: http://www.aktors.org/ontology/date#1957
type: Book-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-e4f7bb2554bc18fc56816b3db233cfe6-69cb98d267179237ba905d6a18c30b39
full-name: Joyce Friedman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-8dd1514bda7f85b4409780c9b995eaeb-6e1b8119b27701654706d5021e4e4817
full-name: Hao Wang
type: Person
type: Thing

Lehmer57
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320865
type: Thing
type: Article-Reference
has-title: Sorting Cards with Respect to a Modulus.

http://dblp.rkbexplorer.com/id/people-545838d5ed8be232121be2004198015a-fd898fee49023930d155c6835f9f59c4
full-name: Hilary Putnam
type: Person
type: Thing

NelsonJ57
has-title: SWAC Computations for Some m×n Scheduling Problems.
has-volume: 4
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320897

http://dblp.rkbexplorer.com/id/people-ca190ec376807c645673788ef3d0da7c-52cced06c6e3f8241dd6ddce3ae5f21c
full-name: L. Jonathan Cohen
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-71677ae3638d5587c747c7e3e422c5b4-f1d80926ed368089aa1d3ca01d78dea9
full-name: C. Tompkins
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-1a4d391fb5e4621601cb808df0cd3243-a92c4141560b80ff0d7902bde64cf8cd
full-name: I. Kay
type: Person
type: Thing

GoldsteinLH57
has-volume: 4
type: Article-Reference
has-title: On the ``Best'' and ``Least Qth'' Approximation of an Overdetermined System of Linear Equations.
type: Thing
has-web-address: http://doi.acm.org/10.1145/320881.320890
has-date: http://www.aktors.org/ontology/date#1957

Mandelbrot57
type: Thing
type: Article-Reference
has-date: 1957-September
has-volume: 1
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90094-3
has-title: A Note on a Law of Berry and on Insistence Stress

BurksW57a
has-volume: 4
has-title: The Logic of Automata - Part II.
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320885

Brillouin57
type: Thing
has-volume: 1
type: Article-Reference
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90028-1
has-title: Mathematics, Physics, and Information (An Editorial)
has-date: 1957-September

Friedman57
has-title: Some Results in Church's Restricted Recursive Arithmetic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-245fa4189737b15198864cb17a18bab5-0912fbaa8462a1b88199b08ecfef6b28
full-name: L. Brillouin
type: Person
type: Thing

BauerW57
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320860
has-title: A System for General-Purpose Analog-Digital Computation.
type: Article-Reference
has-volume: 4
type: Thing

Fitch57
has-title: A Definition of Existence in Terms of Abstraction and Disjunction.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-cf3eb2309584910d7159031161926450-3867fe5bdd06d47737a344113cf2d9b1
full-name: Theodore Hailperin
type: Person
type: Thing

BrillouinCE57
has-volume: 1
has-title: A Statement of Editorial Policy
type: Thing
has-date: 1957-September
type: Article-Reference

Wang57
type: Thing
has-title: A Variant to Turing's Theory of Computing Machines.
has-volume: 4
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320856.320867

Wang57
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-title: A Variant to Turing's Theory of Computing Machines.
has-web-address: http://doi.acm.org/10.1145/320856.320867
has-volume: 4

Crandall57
has-title: Optimum Recurrence Formulas for a Fourth Order Parabolic Partial Differential Equation.
has-web-address: http://doi.acm.org/10.1145/320893.320902
has-volume: 4
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
type: Thing

http://dblp.rkbexplorer.com/id/people-7d5e3f3e1b9951b6be1d4d80642f5090-17ff1c24f98e9e7e8c6dcd831f702635
full-name: Arthur Rose
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-54d6db816512f44175793dbf427aa3f5-fcf6af00f5f869e1e59a6d848a329ba2
full-name: D. C. Handscomb
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-40f1c651bd15373500ea55b08717f3c4-bf6063d2f85dcda2f6f768048d3650c1
full-name: Stephen H. Crandall
type: Person
type: Thing

LobermanW57
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
has-title: Formal Procedures for Connecting Terminals with a Minimum Total Wire Length.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320893.320896

http://dblp.rkbexplorer.com/id/people-f96f22655777592d9f06f33839a05de9-3deb93c9e2fdf5fe05e726f5037cebcb
full-name: J. H. Halton
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-cf3eb2309584910d7159031161926450-b0da42f5a78db42a2f583632ea1060dd
full-name: Theodore Hailperin
type: Person
type: Thing

HaltonH57a
type: Thing
has-web-address: http://doi.acm.org/10.1145/320893.320910
has-title: Erratum: ``A Method for Increasing the Efficiency of Monte Carlo Integration''.
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference

Lipton57
has-title: Two Programming Techniques for One-Plus-One Address Computers.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320884

BrackenT57
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320868.320870
has-title: Information Searching with the 701 Calculator.

http://dblp.rkbexplorer.com/id/people-cd0d40aaff83d6d1f2d984ddf38f62ab-a3dea0ee64d0d06c325d054796bbb680
full-name: Claude E. Shannon
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-ff8d81fd1d74a735f74555f116a9867e-eef34009c9de8948be73bb0284eb1645
full-name: J. H. Chung
type: Person
type: Thing

BurksW57
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320868.320880
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
has-title: The Logic of Automata - Part I.

http://dblp.rkbexplorer.com/id/people-49f8b70be0c551b16bea3edd3783ccaf-e329e48b74c9f0728c9b43f6a3e42f91
full-name: D. H. Lehmer
type: Person
type: Thing

LightstoneR57
type: Thing
has-title: On the Representation of Herbrand Functions in Algebraically Closed Fields.
has-volume: 22
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957

http://dblp.rkbexplorer.com/id/people-6687016cac49547132da3c10cd7f5c1d-46684c31ed4a8aa4ef4dc389c417b5cc
full-name: R. E. Cordray
type: Person
type: Thing

PopeT57
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320893.320901
has-title: Maximizing Functions of Rotations - Experiments Concerning Speed of Diagonalization of Symmetric Matrices Using Jacobi's Method.
type: Article-Reference

Minnick57
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320905
type: Article-Reference
has-volume: 4
type: Thing
has-title: Tshebysheff Approximations for Power Series.

http://dblp.rkbexplorer.com/id/people-76578645e81d341d78a42851c60e1fc1-8b506237f736dae9053c9a4b0b70082b
full-name: Thomas B. Steel Jr.
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-380cfd383ba2ab1496890cd0c91b954d-c4440cbfb756f64469405f29d5100c4a
full-name: Allen A. Goldstein
type: Person
type: Thing

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

Lemmon57
has-title: New Foundations for Lewis Modal Systems.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

WilliamsJR57
has-volume: 4
has-title: Computations in the Field of Engineering Chemistry.
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320894
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-37b06f0972476c175a22c9d57348b676-b306c33da1f443b731816cdd38506e26
full-name: Nelson M. Blachman
type: Person
type: Thing

Wang57
has-title: The Axiomatization of Arithmetic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-8f0fe24c79214360253e9a46bd51e4d3-db85577b9ec4e3fe3fcf29999c55972e
full-name: R. T. Nelson
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-eb999cc77b848130d32ed30f0366b903-2d81c81eea51334cacd79bfc86d251ea
full-name: Paul S. Dwyer
type: Person
type: Thing

ErcoliV57
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320893.320899
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: Errors Due to Overflow in Arithmetic Operations Particularly as Regards FINAC Electronic Computer.
type: Article-Reference

Boyell57
type: Thing
type: Article-Reference
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320893.320898
has-title: Programmed Multiplication on the IBM 407.
has-date: http://www.aktors.org/ontology/date#1957

http://dblp.rkbexplorer.com/id/people-f326824304abb547dd0204cdcdda2811-8703e26c071c560e515c17a0e9a41ad5
full-name: Arnold Weinberger
type: Person
type: Thing

Israel57
has-web-address: http://doi.acm.org/10.1145/320881.320892
has-title: Simulation Techniques for the Test and Evaluation of Real-Time Computer Programs.
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
type: Thing
has-volume: 4

http://dblp.rkbexplorer.com/id/people-3f0b3cf1a61b90d91468c3d5b88339b7-a28bca78c43e0ba5be8e87a43114de46
full-name: L. Gal
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-cabaead5df639ede19f2d520599b9c93-61d85b304de55944a777eadac9d9d6ef
full-name: Emma Lehmer
type: Person
type: Thing

Givens57
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
has-title: The Characteristic Value-Vector Problem.
has-web-address: http://doi.acm.org/10.1145/320881.320886
type: Thing
has-volume: 4

JaakkoH57
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-title: Vicious Circle Principle and the Paradoxes.
has-volume: 22
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-2a2babc2bc9b7a56b63ebe56fd16d5f2-1a6c00b4947d09a8f1311bc52849f9a4
full-name: Hugues Leblanc
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-e4a5e8a06b6a86b001b5b27c40ed91ca-f508689d20969a5ec22bca6770907957
full-name: Robert Vallée
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-c34c8b6528ab5d11c650d7481bbf6c70-952d9868bb5f5e981ce485959c5b8cdf
full-name: William Craig
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-98810c39e4d07f1941b18bdf163fa032-3043301a6f0361215c845337199d1700
full-name: P. Stein
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-b39cafb12505bbf23c21748bf1731b02-3043301a6f0361215c845337199d1700
full-name: S. Ulam
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-37b06f0972476c175a22c9d57348b676-98d952889bad9c04dab472a4f504c3e7
full-name: Nelson M. Blachman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-afb8bdfdf6199590315d07e2938a16a8-eb7c22a229a469509b464de4eef9d501
full-name: Abe Shenitzer
type: Person
type: Thing

Craig57
has-title: Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

MillerF57
has-volume: 1
type: Thing
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90061-X
has-date: 1957-September
type: Article-Reference
has-title: The Reconstruction of Mutilated English Texts

Leichner57
type: Article-Reference
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320868.320872
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: Designing Computer Circuits with a Computer.

http://dblp.rkbexplorer.com/id/people-2c58a0e30958dc52a0e9dfc43e7b870e-8a46fdf3fe375a526100735ff21c06b8
full-name: Solomon Feferman
type: Person
type: Thing

GerberichS57
has-web-address: http://doi.acm.org/10.1145/320893.320904
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
has-title: Codes for the Classical Membrane Problem.

X57
has-title: Conference on Matrix Computations (Abstracts).
has-web-address: http://doi.acm.org/10.1145/320893.320908
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-626d95318ea2c7bace72ad0286e7de8e-17ff1c24f98e9e7e8c6dcd831f702635
full-name: Theodore J. Williams
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-6e178c0df1e398f8edf2298678d36ed3-64b72bb311312f57bb00ad97d7d151be
full-name: S. Lipton
type: Person
type: Thing

Macon57
has-title: Condensation and Look-Up Procedures for Double Entry Tables.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320893.320900

Anderson57
has-title: Independent Axiom Schemata for Von Wright's M.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

KayS57
has-volume: 1
type: Thing
type: Article-Reference
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90083-9
has-title: On the Uncertainty Relation for Real Signals
has-date: 1957-September

Lipton57
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
has-title: Two Programming Techniques for One-Plus-One Address Computers.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320884
type: Thing

http://dblp.rkbexplorer.com/id/people-38429c9d596de3168d8cd6128a89cd0a-31f2db46a4cae48a9b8ca4c31c3115b9
full-name: Roberto Vacca
type: Person
type: Thing

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

Rowan57
has-title: Psychological Tests and Selection of Computer Programmers.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320881.320891
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
type: Thing

ChungG57
has-date: http://www.aktors.org/ontology/date#1957
has-title: Test of an Inventory Control System on FERUT.
type: Article-Reference
type: Thing
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320868.320869

http://dblp.rkbexplorer.com/id/people-594e7662c20f20bce2b104b32fd97b51-850706e546ba766b9b2dfd22791d3ba0
full-name: Daniel D. McCracken
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-24edd85225d935c6f574069a79ab5d60-6cc34ca9504be0f3c63c5e9afad41cbb
full-name: Francis H. Harlow
type: Person
type: Thing

Steel57
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-title: Pact IA.
has-volume: 4
has-web-address: http://doi.acm.org/10.1145/320856.320859

NelsonJ57
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320893.320897
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-title: SWAC Computations for Some m×n Scheduling Problems.

http://dblp.rkbexplorer.com/id/people-7561537aaed820761b8931fdad28f2a6-c4440cbfb756f64469405f29d5100c4a
full-name: James B. Hereshoff
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-3dd2b705d42e522f985b52fa56e501fc-eb1eca591a68fdad1b2547beb0e94a01
full-name: Bernard K. Symonds
type: Person
type: Thing

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

Linfoot57
has-volume: 1
has-title: An Informational Measure of Correlation
type: Article-Reference
type: Thing
has-date: 1957-September
has-web-address: http://dx.doi.org/10.1016/S0019-9958(57)90116-X

http://dblp.rkbexplorer.com/id/people-bb74fc5ac513b4bc7259fdc18dbe8999-17f7f475c9fc7e4659788cddb469b9e7
full-name: Charles J. Swift
type: Person
type: Thing

BurksW57a
has-web-address: http://doi.acm.org/10.1145/320881.320885
has-volume: 4
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1957
has-title: The Logic of Automata - Part II.

Oettinger57
has-web-address: http://doi.acm.org/10.1145/320881.320882
has-title: Account Identification for Automatic Data Processing.
has-date: http://www.aktors.org/ontology/date#1957
type: Thing
has-volume: 4
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-2d822dbee719ae5cd5f34e0413de10ec-9d6f88ad7a60f01550d7c882243494db
full-name: Bernard Sherman
type: Person
type: Thing

Blanche57
has-title: Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Swift57
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
has-title: Machine Features for a More Automatic Monitoring System on Digital Computers.
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320868.320876
type: Thing

YatesL57
has-volume: 4
has-title: An Automatic Programming Routine for the Elliott 401.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320868.320874

Gal57
has-title: Twenty-First Annual Meeting of the Association for Symbolic Logic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Gal57
has-title: Twenty-First Annual Meeting of the Association for Symbolic Logic.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-7c26e97d1680fe6c2d4a73c58b92457c-eb1eca591a68fdad1b2547beb0e94a01
full-name: Roderick M. Chisholm
type: Person
type: Thing

Harlow57
type: Article-Reference
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320868.320871
has-title: Hydrodynamic Problems Involving Large Fluid Distortions.

Huffman57
type: Thing
has-web-address: http://doi.acm.org/10.1145/320856.320866
has-title: The Design and Use of Hazard-Free Switching Networks.
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
has-volume: 4

Boyell57
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-web-address: http://doi.acm.org/10.1145/320893.320898
has-title: Programmed Multiplication on the IBM 407.
type: Article-Reference
has-volume: 4

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

Leichner57
has-web-address: http://doi.acm.org/10.1145/320868.320872
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
has-title: Designing Computer Circuits with a Computer.

Feferman57
has-title: Degrees of Unsolvability Associated with Classes of Formalized Theories.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-40744ec0755848bee059b13835eff2d2-d7229f00197502e59aa99aeb7cdc0254
full-name: David R. Israel
type: Person
type: Thing

Gorn57
has-web-address: http://doi.acm.org/10.1145/320881.320883
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4
type: Thing
has-title: Standardized Programming Methods and Universal Coding.
type: Article-Reference

Gorn57
has-web-address: http://doi.acm.org/10.1145/320881.320883
type: Thing
type: Article-Reference
has-title: Standardized Programming Methods and Universal Coding.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

BrillouinCE57
type: Thing
has-volume: 1
type: Article-Reference
has-title: A Statement of Editorial Policy
has-date: 1957-September

Givens57
type: Thing
type: Article-Reference
has-title: The Characteristic Value-Vector Problem.
has-web-address: http://doi.acm.org/10.1145/320881.320886
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 4

Householder57
has-date: http://www.aktors.org/ontology/date#1957
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320856.320857
has-title: Retiring Presidential Address.
has-volume: 4
type: Thing

Hailperin57a
has-title: A Theory of Restricted Quantification II.
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing

Cohen57
has-title: Can the Logic of Indirect Discourse be Formalised?
has-date: http://www.aktors.org/ontology/date#1957
has-volume: 22
type: Article-Reference
type: Thing