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

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Izdano 2007

eKnjiga

3

Slika na naslovnici

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

Izdano 2007

eKnjiga

4

Slika na naslovnici

Natural Language Processing and Information Systems : 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29...

Izdano 2007

eKnjiga

5

Slika na naslovnici

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

Izdano 2007

eKnjiga

6

Slika na naslovnici

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /

Izdano 2007

eKnjiga

7

Slika na naslovnici

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

Izdano 2007

eKnjiga

8

Slika na naslovnici

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

Izdano 2007

eKnjiga

9

Slika na naslovnici

Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, R...

od Azevedo, Francisco.
Izdano 2007

eKnjiga

10

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

11

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

12

Slika na naslovnici

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

Izdano 2007

eKnjiga

13

Slika na naslovnici

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

Izdano 2007

eKnjiga

14

Slika na naslovnici

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /

Izdano 2007

eKnjiga

15

Slika na naslovnici

Evolvable Systems From Biology to Hardware : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings /

Izdano 2007

eKnjiga

16

Slika na naslovnici

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

Izdano 2007

eKnjiga

17

Slika na naslovnici

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings /

Izdano 2007

eKnjiga

18

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

19

Slika na naslovnici

Computer Aided Systems Theory - EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selec...

Izdano 2007

eKnjiga

20

Slika na naslovnici

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

Izdano 2005

eKnjiga