Filter Related Topics within your search.
Electronic digital computers 6 Informatique 4 Ordinateurs 4 Programming 3 Automatic theorem proving 2 Circuits 2 Computable functions 2 more ...
21
Mathematical software/

Cover is for reference only
Corporate Authors: Elsevier Science & Technology; Mathematical Software Symposium Purdue University
Group Author: Rice, John Rischard
Published: Academic Press,
Publication Dates: 1971.
eBook
Save to List
Saved in:
24
LYapAS a programming language for logic and algorithms

Cover is for reference only
Main Authors: Gavrilov M. A
Group Author: Zakrevskii A. D; Nadler Morton
Published: Academic Pr.,
Publication Dates: 1969.
Call Number: T847/CG283
Book
Save to List
Saved in:
25
GPS a case study in generality and problem solving

Cover is for reference only
Main Authors: Ernst George W ([by] George W. Ernst [and] Allen Newell.)
Group Author: Newell Allen (joint author.)
Published: Academic Press,
Publication Dates: 1969.
Call Number: TP39/E71/
Book
Save to List
Saved in:
27
Algebraic theory of automata /

Cover is for reference only
Main Authors: Ginzburg, Abraham
Corporate Authors: Elsevier Science & Technology
Group Author: Ashenhurst, Robert L
Published: Academic Press,
Publication Dates: 1968.
eBook
Save to List
Saved in:
28
Cellular automata

Cover is for reference only
Main Authors: Codd E. F
Published: Academic Press,
Publication Dates: 1968.
Call Number: T84/CC669
Book
Save to List
Saved in:
30
A general theory of optimal algorithms

Cover is for reference only
Main Authors: Traub J. F. (Joseph Frederick), 1932-
Group Author: Woźniakowski H. (joint author.)
Published: Academic Press,
Publication Dates: 1980.
Call Number: O224/T777/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —