TY - BOOK ID - 8329123 TI - Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings AU - Vardi, Moshe. AU - Voronkov, Andrei. AU - LPAR (Conference) PY - 2003 SN - 3540201017 3540398139 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Logic programming KW - Automatic theorem proving KW - Computer Science KW - Mechanical Engineering - General KW - Engineering & Applied Sciences KW - Mechanical Engineering KW - Computer science. KW - Software engineering. KW - Computer programming. KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Artificial Intelligence (incl. Robotics). KW - Programming Techniques. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science 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 - Electronic data processing KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Computer software engineering KW - Engineering KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Programming UR - https://www.unicat.be/uniCat?func=search&query=sysid:8329123 AB - ER -