Search results for: Jean-Marc Andreoli
Lecture Notes in Computer Science > Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems > Negotiation > 161-179
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 9 > 320-336
Lecture Notes in Computer Science > Engineering and Deployment of Cooperative Information Systems > Transactions > 429-443
Lecture Notes in Computer Science > Electronic Commerce and Web Technologies > Distributed Organisations > 122-132
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Invited Demonstration > 1-5
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 182-198
Lecture Notes in Computer Science > Distributed Applications and Interoperable Systems > Session II: Deployment > 86-97