Choose an application

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

Mathematical linguistics --- Computer science --- Grammar --- 681.3*F42 --- 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} --- 681.3*F42 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} --- Computer science. --- Mathematical Logic and Formal Languages. --- Computer Science, general. --- Informatics --- Science --- Analyse mathématique --- Mathematical analysis --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.

Choose an application

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

Abstract data types (Computer science) --- Data structures (Computer science) --- Abstract data types (Computer science). --- Data structures (Computer science).

Choose an application

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

Pascal (Computer program language)

Choose an application

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

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in September 1996. The book contains 13 revised full papers presented as chapters of a coherent, monograph-like book. The papers focus equally on the theory and the practice of document processing. Among the topics covered are theory of media, cross media publishing and multi-modal documents, SGML content models, grammar-compatible stylesheets, multimedia documents, temporal constraints in multimedia, hypertext representation, contextual knowledge, structured documents for IR, Web-publishing, virtual documents, etc.

Text processing (Computer science) --- Interactive multimedia --- Information storage and retrieval systems --- Congresses --- Computer science. --- Business mathematics. --- Computers. --- Multimedia information systems. --- Text processing (Computer science). --- Application software. --- Computer Science. --- Theory of Computation. --- Computer Applications. --- Business Mathematics. --- Document Preparation and Text Processing. --- Multimedia Information Systems. --- Information Systems Applications (incl. Internet). --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Processing, Text (Computer science) --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Arithmetic, Commercial --- Business --- Business arithmetic --- Business math --- Commercial arithmetic --- Finance --- Informatics --- Mathematics --- Multimedia systems --- Documentation --- Electronic publishing --- Information theory. --- Natural language processing (Computer science). --- Multimedia systems. --- Natural Language Processing (NLP). --- Science --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Communication theory --- Communication --- Cybernetics --- Computer software --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Text processing (Computer science) - Congresses. --- Interactive multimedia - Congresses. --- Information storage and retrieval systems - Congresses

Choose an application

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

Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Machine theory --- Computer software. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Foundations