Sortiert nach
Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on intelligent computer mathematics, 2010, p.336-344
2010
Link zum Volltext
Intelligent Computer Mathematics, 2010, p.355-369
2010
Link zum Volltext
Intelligent Computer Mathematics, 2010, p.370-384
2010
Link zum Volltext
Proceedings of the 29th ACM international conference on design of communication, 2011, p.181-188
2011
Link zum Volltext
Proceedings of the 29th ACM international conference on design of communication, 2011, p.167-174
2011
Link zum Volltext
Proceedings of the 27th ACM international conference on design of communication, 2009, p.89-96
2009
Link zum Volltext
Proceedings of the 27th ACM international conference on design of communication, 2009, p.135-142
2009
Link zum Volltext
Proceedings of the 6th International Conference on semantic systems, 2010, p.1-9
2010
Link zum Volltext
SIGSAM bulletin, 2000-06, Vol.34 (2), p.43-48
2000
Link zum Volltext
SIGSAM bulletin, 2000-06, Vol.34 (2), p.43-48
2000
Link zum Volltext
Formal aspects of computing, 1999-09, Vol.11 (3), p.326-342
1999
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Mathematics
- Computer Science, Artificial Intelligence
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Computing Methodologies -- Artificial Intelligence -- Knowledge Representation And Reasoning
- Formalization
- Human-Centered Computing -- Human Computer Interaction -- Interaction Paradigms
- Knowledge Management
- Mathematics, Applied
- Physical Sciences
- User Assistance
- Annotation
- Applied Sciences
- Ceur Workshop Proceeding
- Change Management
- Computer Science; Control Theory; Systems
- Computer Systems And Distributed Systems. User Interface
Kollektion
Zeitschrift / Serie