41
Inductive Synthesis of Functional Programs [E-Book] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /

Full text 
Favorites
Saved in:
42
Intelligent Agents and Multi-Agent Systems [E-Book] / 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
43
Practical Aspects of Declarative Languages [E-Book] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings /

Full text 
Favorites
Saved in:
44
Compiler Construction [E-Book] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

Full text 
Favorites
Saved in:
45
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:
46
Declarative Agent Languages and Technologies II [E-Book] / Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
47
Computer Aided Verification (vol. # 3576) [E-Book] / 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Full text 
Favorites
Saved in:
48
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:
49
Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Hurd, Joe.
2005

Full text 
Favorites
Saved in:
50
Advances in Agent Communication [E-Book] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 /

Full text 
Favorites
Saved in:
51
Agent-Oriented Software Engineering V [E-Book] / 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
52
Agent-Oriented Software Engineering [E-Book] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /

Full text 
Favorites
Saved in:
53
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:
54
Intelligent Agents VIII [E-Book] : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers /

Full text 
Favorites
Saved in:
55
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:
56
Isabelle/HOL [E-Book] : A Proof Assistant for Higher-Order Logic /

Full text 
Favorites
Saved in:
57
Agent-Oriented Software Engineering IV [E-Book] : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers /

Full text 
Favorites
Saved in:
58
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:
59
Global Computing [E-Book] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
60
Self-Adaptive Software [E-Book] : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results