Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Logic, Symbolic and mathematical --- Electronic digital computers --- Linguistics --- Congresses --- Programming --- -Computer programming --- -Logic, Symbolic and mathematical --- -681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*I27 Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Computer programming --- Programming languages (Electronic computers) --- 681.3*I23 --- 681.3*I27 --- Artificial intelligence. Robotics. Simulation. Graphics --- Logic, symbolic and mathematical --- Langages de programmation --- Programmation (Informatique) --- Logique symbolique et mathématique --- Linguistique --- Congrès --- Logic, Symbolic and mathematical - Congresses --- Electronic digital computers - Programming - Congresses --- Linguistics - Congresses --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses --- Programming language --- Electronic computers --- Electronic digital computers-programming-congress