books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 12; Issue 4
Main
Journal of the ACM
Volume 12; Issue 4
Journal of the ACM
Volume 12; Issue 4
1
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Wos, Lawrence
,
Robinson, George A.
,
Carson, Daniel F.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 369 KB
Your tags:
english, 1965
2
Iterative Procedures for Nonlinear Integral Equations
Anderson, Donald G.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 803 KB
Your tags:
english, 1965
3
On Formalisms for Turing Machines
Fischer, Patrick C.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 640 KB
Your tags:
english, 1965
4
Is Automatic Classification a Reasonable Application of Statistical Analysis of Text?
Doyle, Lauren B.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 1.06 MB
Your tags:
english, 1965
5
Automatic Subject Recognition in Scientific Papers: An Empirical Study
O'Connor, John
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 1.57 MB
Your tags:
english, 1965
6
An Investigation of Some Computational Aspects of Integer Programming
Srinivasan, A. V.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 647 KB
Your tags:
english, 1965
7
On Mappings for Modular Arithmetic, II
Berkovits, S.
,
Schlessinger, M.
,
Zierler, N.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 66 KB
Your tags:
english, 1965
8
Analysis of Real Time Multiprogramming
Chang, Wei
,
Wong, Donald J.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 411 KB
Your tags:
english, 1965
9
Updating the Product Form of the Inverse for the Revised Simplex Method
Dantzig, G. B.
,
Harvey, R. P.
,
McKnight, R. D.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 32 KB
Your tags:
english, 1965
10
Morphological Classification in the National Bureau of Standards Mechanical Translation System
Meyers, Leroy F.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 1.45 MB
Your tags:
english, 1965
11
On Mappings for Modular Arithmetic, I
Rao, T. R. N.
,
Zierler, N.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 157 KB
Your tags:
english, 1965
12
On the Automorphism Group of an Automaton
Fleck, A. C.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 224 KB
Your tags:
english, 1965
13
Segmentation and the Design of Multiprogrammed Computer Systems
Dennis, Jack B.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 770 KB
Your tags:
english, 1965
14
Groups of Automorphisms and Sets of Equivalence Classes of Input for Automata
Barnes, Bruce
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 296 KB
Your tags:
english, 1965
15
Backtrack Programming
Golomb, Solomon W.
,
Baumert, Leonard D.
Journal:
Journal of the ACM
Year:
1965
Language:
english
File:
PDF, 554 KB
Your tags:
english, 1965
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×