Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Discrete mathematics --- Electronic digital computers --- Computer science --- Programmation des ordinateurs --- Informatique --- Programming --- Mathematics --- Mathématiques --- Computer programming --- Data processing --- -Computer programming --- 681.3*F11 --- 681.3*F41 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Math --- Science --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Computer programming. --- Data processing. --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Mathematics - Data processing --- Mathématiques
Choose an application
Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Banques de données--Gestion --- Computer-based information systems --- Data base management --- Data storage and retrieval systems --- Database management --- Databasebeheer --- Databases--Beheer --- Gegevensbanken--Beheer --- Gegevensbestanden--Beheer --- Generalized data management systems --- Informatieopslag en -naslagsystemen --- Information [Systèmes de mémorisation et de dépistage ] --- Information processing systems --- Information retrieval systems --- Information storage and retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Systems [Data base management ] --- Systems [Generalized data base management ] --- Bases de données --- Systèmes d'information --- Gestion --- Database management. --- Information storage and retrieval systems. --- Bases de données --- Systèmes d'information
Choose an application
510.6 --- 681.3*F3 --- 681.3*F4 --- wiskunde --- logica --- algoritmen --- Mathematical logic --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 510.6 Mathematical logic
Choose an application
Choose an application
Choose an application
Algorithms --- Logic, Symbolic and mathematical --- Algorithmes --- Logique symbolique et mathématique
Choose an application
Choose an application
Choose an application
Choose an application
The theme of this conference - Information Implications into the Eighties - has brought forth papers on a wide variety of topics, but all point to the inescapable conclusion of an explosion of information management problems and opportunities. Movement is occurring in many directions - toward large networks and simultaneously toward personal systems. The Eighties will bring challenges to long-held ideas such as how the modern office does its paperwork (or whether it should use paper at all). These and other problems will provide exciting opportunities for real progress.ACM-SIGIR scheduled this conference in conjunction with the meeting September 28 and 29, 1979, of the Texas Chapter of the American Society for Information Science entitled, "Microcomputers and Information Processing." The Panel Discussion, "Information Implications into the Eighties," was sponsored by both organizations and served as the closing session of the ACM-SIGIR conference and the opening session of the Texas ASIS conference.
Listing 1 - 10 of 19 | << page >> |
Sort by
|