81
Intelligent Agents: Specification, Modeling, and Applications [E-Book] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings /

Full text 
Favorites
Saved in:
82
Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /

Full text 
Favorites
Saved in:
83
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /

Full text 
Favorites
Saved in:
84
Compiler Construction [E-Book] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
85
Compiler Construction [E-Book] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings /

Full text 
Favorites
Saved in:
86
Computer Aided Verification [E-Book] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /

Full text 
Favorites
Saved in:
87
Theorem Proving in Higher Order Logics [E-Book] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /

Full text 
Favorites
Saved in:
88
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /

Full text 
Favorites
Saved in:
89
Compositionality: The Significant Difference [E-Book] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /

Full text 
Favorites
Saved in:
90
Practical Aspects of Declarative Languages [E-Book] : First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /

Full text 
Favorites
Saved in:
91
Intelligent Agents V. Agents Theories, Architectures, and Languages [E-Book] : 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings /

Full text 
Favorites
Saved in:
92
Compiler Construction [E-Book] : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /

Full text 
Favorites
Saved in:
93
Formal Models of Agents [E-Book] : ESPRIT Project ModelAge Final Workshop Selected Papers /

Full text 
Favorites
Saved in:
94
Perspectives of System Informatics [E-Book] : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings /

Full text 
Favorites
Saved in:
95
Intelligent Agents VI. Agent Theories, Architectures, and Languages [E-Book] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /

Full text 
Favorites
Saved in:
96
Algebraic Methodology and Software Technology [E-Book] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
97
Practical Aspects of Declarative Languages [E-Book] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
98
Theorem Proving in Higher Order Logics [E-Book] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

Full text 
Favorites
Saved in:
99
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

Full text 
Favorites
Saved in:
100
Programming Multi-Agent Systems (vol. # 3862) [E-Book] / Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Full text 
Favorites
Saved in:

Narrow Search Results