| |
|
| |
|
| |
|
| |
In Machine Intelligence, Vol. 4 (1969), pp. 463-502.
|
| |
J. Artif. Intell. Res. (JAIR), Vol. 26 (2006), pp. 191-246.
|
| |
|
| |
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 4963/2008 (3 April 2008), pp. 337-340.
|
| |
In Software Engineering and Applications 2008 (16-18 November 2008)
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
Supplement, Algol 60 Bulletin, Vol. 10 (1960)
|
| |
In Proc. Fifth International Planning Competition (June 2006)
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 22, No. 2. (1987), pp. 85-94.
|
| |
Computer, Vol. 25, No. 10. (1992), pp. 40-51.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
iX - Magazin für professionelle Informationstechnik, No. 10. (October 2008)
posted to bi ix by cyph3r
on 2009-06-21 16:14:47
as 
|
| |
|
| |
ÖGAI Journal, Vol. 27, No. 3. (October 2008)
|
| |
|
| |
|
| |
|
| |
|
| |
In AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006), pp. 638-645.
|
| |
In AGENTS '01: Proceedings of the fifth international conference on Autonomous agents (2001), pp. 155-156.
|
| |
RoboCup 2000: Robot Soccer World Cup IV (2001), pp. 391-396.
|
| |
In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990)
|
| |
RoboCup 2004: Robot Soccer World Cup VIII (2005), pp. 286-296.
|
| |
|
| |
No. CMU-CS-89-210. (1989)
|
| |
|
| |
|
| |
Journal of Experimental and Theoretical Artificial Intelligence, Vol. 7(1) (1995)
|
| |
In Proceedings of the 40th Hawaii International Conference on System Sciences - 2007, Software Technology (January 2007)
|
| |
In KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (1992), pp. 103-114.
|
| |
In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002), pp. 229-239.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 97-107.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 37-48.
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
|
| |
Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on In Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on (2007), pp. 545-549.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 3, No. 2. (April 1994), pp. 101-130.
|
| |
Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
|
| |
In In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA). IEEE Computer (2003)
|
CiteULike
cyph3r's CiteULike
Search
