Choose an application

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

Choose an application

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

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

Computer science --- Logic, Symbolic and mathematical --- Informatique --- Logique symbolique et mathématique --- Mathematics --- Congresses --- Mathématiques --- Congrès --- 681.3*H2 --- -Logic, Symbolic and mathematical --- -681.3*D3 --- 681.3*I2 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Database management: security; integrity; protection--See also {?681.5*E5} --- -Congresses --- Programming languages --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*D3 Programming languages --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Logique symbolique et mathématique --- Mathématiques --- Congrès --- 681.3*D3 --- Mathematics&delete& --- Logic [Symbolic and mathematical ] --- Computer science - Mathematics - Congresses. --- Logic, Symbolic and mathematical - Congresses. --- Artificial intelligence. --- Software engineering. --- Logic design. --- Computer science. --- Artificial Intelligence. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- 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

Choose an application

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