TY - BOOK ID - 17306170 TI - Frontiers of combining systems : Third international workshop, FroCos 2000, Nancy, France, March 2000. Proceedings AU - Kirchner, H. AU - RINGEISSEN, Christophe PY - 2000 VL - 1794 SN - 3540672818 9783540672814 3540464212 PB - New York, NY ; Berlin : Springer-Verlag, DB - UniCat KW - Logic, Symbolic and mathematical KW - Computer science KW - Congresses KW - Mathematics. KW - Mathematical logic. KW - Artificial intelligence. KW - Mathematical Logic and Foundations. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Logic, Symbolic and mathematical. KW - Computer science. KW - Artificial Intelligence. 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 - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers 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 - Logic, Symbolic and mathematical - Congresses KW - Computer science - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:17306170 AB - ER -