Rezultati

1

Slika na naslovnici

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Izdano 2007

eKnjiga

2

Slika na naslovnici

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /

Izdano 2007

eKnjiga

3

Slika na naslovnici

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings /

Izdano 2007

eKnjiga

4

Slika na naslovnici

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /

Izdano 2007

eKnjiga

5

Slika na naslovnici

Automated Deduction - CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /

Izdano 2007

eKnjiga

6

Slika na naslovnici

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Izdano 2007

eKnjiga

7

Slika na naslovnici

Coordination, Organizations, Institutions, and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda,...

od Noriega, Pablo.
Izdano 2007

eKnjiga

8

Slika na naslovnici

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

Izdano 2007

eKnjiga

9

Slika na naslovnici

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

Izdano 2007

eKnjiga

10

Slika na naslovnici

Global Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /

Izdano 2005

eKnjiga

11

Slika na naslovnici

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Izdano 2005

eKnjiga

12

Slika na naslovnici

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /

Izdano 2005

eKnjiga

13

Slika na naslovnici

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 /

Izdano 2005

eKnjiga

14

Slika na naslovnici

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /

Izdano 2005

eKnjiga

15

Slika na naslovnici

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning /

Izdano 2005

eKnjiga

16

Slika na naslovnici

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers /

Izdano 2005

eKnjiga

17

Slika na naslovnici

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /

Izdano 2005

eKnjiga

18

Slika na naslovnici

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /

Izdano 2005

eKnjiga

19

Slika na naslovnici

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Izdano 2005

eKnjiga

20

Slika na naslovnici

Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /

Izdano 2005

eKnjiga