Hinchey, Michael G.
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / [electronic resource] : edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3228 0302-9743 ; . - Lecture Notes in Computer Science, 3228 .
9783540309604
10.1007/b105317 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer simulation.
Information systems.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Logics and Meanings of Programs.
Simulation and Modeling.
Special Purpose and Application-Based Systems.
Computer Appl. in Administrative Data Processing.
Q334-342 TJ210.2-211.495
006.3
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / [electronic resource] : edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3228 0302-9743 ; . - Lecture Notes in Computer Science, 3228 .
9783540309604
10.1007/b105317 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer simulation.
Information systems.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Logics and Meanings of Programs.
Simulation and Modeling.
Special Purpose and Application-Based Systems.
Computer Appl. in Administrative Data Processing.
Q334-342 TJ210.2-211.495
006.3