Rezultati

1

Slika na naslovnici

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

Izdano 2007

eKnjiga

2

Slika na naslovnici

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

Izdano 2007

eKnjiga

3

Slika na naslovnici

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /

Izdano 2005

eKnjiga

4

Slika na naslovnici

Cognitive Engineering A Distributed Approach to Machine Intelligence /

od Konar, Amit., Jain, Lakhmi.
Izdano 2005

eKnjiga

5

Slika na naslovnici

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Izdano 2006

eKnjiga

6

Slika na naslovnici

Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop...

od MacCaull, Wendy.
Izdano 2006

eKnjiga

7

Slika na naslovnici

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Izdano 2006

eKnjiga

8

Slika na naslovnici

Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /

Izdano 2006

eKnjiga

9

Slika na naslovnici

Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene A...

od Schmidt, Renate A.
Izdano 2006

eKnjiga

10

Slika na naslovnici

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy /

Izdano 2006

eKnjiga

11

Slika na naslovnici

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /

Izdano 2006

eKnjiga

12

Slika na naslovnici

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /

Izdano 2006

eKnjiga