Combination of constraint systems II: rational amalgamation
Theoretical Computer Science
On geometric and topological reasoning in robotics
Annals of Mathematics and Artificial Intelligence
Design, Implementation, and Application of a Tool for Optimal Aircraft Positioning
Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight
Modeling Interaction by Sheaves and Geometric Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Generic denial of service prevention through a logical fibering algorithm
ISP'06 Proceedings of the 5th WSEAS International Conference on Information Security and Privacy
On the Construction of Transformation Steps in the Category of Multiagent Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Global modal logics for multiagent systems: a logical fibering approach
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Hi-index | 0.00 |