TY - BOOK ID - 1192297 TI - Automated reasoning: introduction and applications AU - Wos, Larry AU - Overbeek, Ross AU - Lusk, Ewing PY - 1984 SN - 0130544469 0130544531 PB - Englewood Cliffs, N.J. Prentice-Hall DB - UniCat KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Automatic theorem proving KW - Artificial intelligence KW - Electronic digital computers KW - Théorèmes KW - Intelligence artificielle KW - Programmation des ordinateurs KW - Programming KW - Démonstration automatique KW - Computer programming KW - 681.3*I23 KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Programming (Electronic computers) KW - Coding theory KW - Automated theorem proving KW - Theorem proving, Automated KW - Theorem proving, Automatic KW - Proof theory KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Automatic theorem proving. KW - Artificial intelligence. KW - Computer programming. KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Théorèmes KW - Démonstration automatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:1192297 AB - ER -