TY - BOOK ID - 7259622 TI - Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings AU - Bjørner, Dines. AU - Broy, Manfred. AU - Zamulin, Alexandre V. AU - International Andrei Ershov Memorial Conference PY - 2000 VL - 1755 SN - 3540671021 9783540671022 3540465626 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer systems KW - Computer Science KW - Engineering & Applied Sciences KW - ADP systems (Computer systems) KW - Computing systems KW - Systems, Computer KW - Computer science. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Artificial intelligence. KW - Computer Science. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Programming Techniques. KW - Software Engineering. KW - Artificial Intelligence (incl. Robotics). 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 - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Programming KW - Electronic systems KW - Cyberinfrastructure 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 - Switching theory KW - Computer systems - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:7259622 AB - ER -