Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer Science --- Engineering & Applied Sciences --- Data mining --- Database searching --- Database management: security; integrity; protection--See also {?681.5*E5}--Congressen --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing)--Congressen --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31}--Congressen --- 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}--Congressen --- Computer science. --- Mathematical logic. --- Mathematical statistics. --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Text processing (Computer science). --- Computer Science. --- Database Management. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Probability and Statistics in Computer Science. --- Document Preparation and Text Processing. --- Information Storage and Retrieval. --- 681.3*F41 <063> --- 681.3*F42 <063> --- 681.3*G3 <063> --- 681.3*H2 <063> --- 681.3*H3 <063> --- 681.3*I2 <063> --- 681.3*I7 <063> --- 681.3*J2 <063> --- 681.3*J2 <063> Physical sciences and engineering (Computer applications)--Congressen --- Physical sciences and engineering (Computer applications)--Congressen --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Artificial intelligence. AI--Congressen --- Information storage and retrieval--Congressen --- Text processing (Computing methodologies)--See also {681.3*H4}--Congressen --- Processing, Text (Computer science) --- Database management --- Electronic data processing --- Information storage and retrieval systems --- Word processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Statistical methods --- Natural language processing (Computer science). --- Information storage and retrieva. --- Artificial Intelligence. --- Natural Language Processing (NLP). --- Information storage and retrieval systems. --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval