Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mkm 166 Treffer
- mathematics 106 Treffer
- automatic theorem proving 75 Treffer
- information storage and retrieval systems 75 Treffer
- algebra 31 Treffer
-
45 weitere Werte:
- calculemus 31 Treffer
- knowledge management 25 Treffer
- mathematical models 14 Treffer
- research data 14 Treffer
- cicm 13 Treffer
- computer mathematics 13 Treffer
- intelligent computer mathematics 13 Treffer
- computer science 12 Treffer
- business 11 Treffer
- business.industry 11 Treffer
- omdoc/mmt 11 Treffer
- software engineering 5 Treffer
- data science 4 Treffer
- field (computer science) 4 Treffer
- computer 3 Treffer
- management science 3 Treffer
- mathematicsofcomputing_general 3 Treffer
- mathml 3 Treffer
- software 3 Treffer
- architecture 2 Treffer
- computational theory and mathematics 2 Treffer
- computer.software_genre 2 Treffer
- controlled natural language 2 Treffer
- formalized mathematics 2 Treffer
- knowledge engineering 2 Treffer
- markup language 2 Treffer
- metadata 2 Treffer
- ontology (information science) 2 Treffer
- operations research 2 Treffer
- parser 2 Treffer
- programming language 2 Treffer
- query expansion 2 Treffer
- theoretical computer science 2 Treffer
- workflow 2 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 05 social sciences 1 Treffer
- 0502 economics and business 1 Treffer
- 050211 marketing 1 Treffer
- 0503 education 1 Treffer
- 050301 education 1 Treffer
Verlag
- berlin; springer 51 Treffer
- springer 32 Treffer
- berlin; [london]; springer 27 Treffer
- berlin; [great britain]; springer 26 Treffer
- berlin; springer; c 22 Treffer
-
11 weitere Werte:
- berlin; new york; springer 17 Treffer
- berlin : weierstrass-institut fur angewandte analysis und stochastik 13 Treffer
- kluwer 11 Treffer
- springer berlin heidelberg 10 Treffer
- heidelberg; springer 8 Treffer
- springer international publishing 4 Treffer
- association for computing machinery (acm) 1 Treffer
- country:deu 1 Treffer
- place:berlin 1 Treffer
- springer science and business media llc 1 Treffer
- weierstrass institute 1 Treffer
Publikation
- lecture notes in computer science 156 Treffer
- lecture notes in computer sciecne 26 Treffer
- annals of mathematics and artificial intelligence 11 Treffer
- preprint / weierstrass-institut fur angewandte analysis und stochastik , volume 2385, issn 2198-5855 11 Treffer
- acm sigsam bulletin 1 Treffer
-
6 weitere Werte:
- intelligent computer mathematics - 11th int. conf., aisc 2012, 19th symp., calculemus 2012, 5th int. workshop, dml 2012, 11th int. conf., mkm 2012, systems and projects, part of cicm 2012, proceedings 1 Treffer
- intelligent computer mathematics : 11th international conference, aisc 2012, 19th symposium, calculemus 2012, 5th international workshop, dml 2012, 11th international conference, mkm 2012, systems and projects, held as part of cicm 2012, bremen, germany, july 8-13, 2012. proceedings 1 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
- mathematical software - icms 2014 : 4th international congress, seoul, south korea, august 5-9, 2014. proceedings 1 Treffer
- mathematics in computer science 1 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 1 Treffer
Sprache
227 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 160-174KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 145-159KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 44-57KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 130-144KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 104-115KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 58-72KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 17-31KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 121-136Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 105-120Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 47-64Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 211-228Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 193-210Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 3-26Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 165-192Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 65-90Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 137-164Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 91-104Online KonferenzZugriff:
-
In: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Jg. 38 (2003), Heft NOS 1-3, S. 27-46Online KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7362, S. 186-201KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7362, S. 159-168KonferenzZugriff: