Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mkm 195 Treffer
- mathematics 166 Treffer
- mathematical knowledge management 155 Treffer
- algebra 73 Treffer
- calculemus 71 Treffer
-
45 weitere Werte:
- cicm 54 Treffer
- automatic theorem proving 49 Treffer
- information storage and retrieval systems 49 Treffer
- computer science 45 Treffer
- exact sciences and technology 44 Treffer
- informatique 44 Treffer
- mathematiques 44 Treffer
- sciences exactes et technologie 44 Treffer
- applied sciences 42 Treffer
- computer science; control theory; systems 42 Treffer
- informatique; automatique theorique; systemes 42 Treffer
- sciences appliquees 42 Treffer
- ingenierie connaissances 33 Treffer
- knowledge engineering 33 Treffer
- matematicas 33 Treffer
- artificial intelligence 31 Treffer
- intelligence artificielle 29 Treffer
- apprentissage et systemes adaptatifs 27 Treffer
- learning and adaptive systems 27 Treffer
- knowledge management 21 Treffer
- intelligent computer mathematics 14 Treffer
- computer mathematics 13 Treffer
- logiciel 13 Treffer
- mathematical formula 13 Treffer
- memory organisation. data processing 13 Treffer
- organisation des memoires. traitement des donnees 13 Treffer
- software 13 Treffer
- formula matematica 12 Treffer
- formule mathematique 12 Treffer
- theorem proving 11 Treffer
- demonstration theoreme 10 Treffer
- demostracion teorema 10 Treffer
- information systems. data bases 10 Treffer
- systemes d'information. bases de donnees 10 Treffer
- biblioteca electronica 7 Treffer
- bibliotheque electronique 7 Treffer
- electronic library 7 Treffer
- proof theory 7 Treffer
- teoria demonstracion 7 Treffer
- theorie preuve 7 Treffer
- program verification 6 Treffer
- semantica 6 Treffer
- semantics 6 Treffer
- semantique 6 Treffer
- automatic proving 5 Treffer
Verlag
Publikation
- intelligent computer mathematics - 9th international conference, aisc 2008 - 15th symposium, calculemus 2008 - 7th international conference, mkm 2008, proceedings 49 Treffer
- intelligent computer mathematics - 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, proceedings 38 Treffer
- intelligent computer mathematics - 16th symposium, calculemus 2009 - 8th international conference, mkm 2009 - held as part of cicm 2009, proceedings 38 Treffer
- 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 37 Treffer
- intelligent computer mathematics - mkm, calculemus, dml, and systems and projects 2013 - held as part of cicm 2013, proceedings 34 Treffer
-
8 weitere Werte:
- towards mechanized mathematical assistants - 14th symposium, calculemus 2007 - 6th international conference, mkm 2007, proceedings 28 Treffer
- intelligent computer mathematics - 18th symposium, calculemus 2011 and 10th international conference, mkm 2011, proceedings 27 Treffer
- mkm 2004 : mathematical knowledge management (bialowieza, 19-21 september 2004) 27 Treffer
- mkm 2003 : mathematical knowledge management (bertinoro, 16-18 february 2003) 17 Treffer
- mathematical knowledge management - 5th international conference, mkm 2006, proceedings 16 Treffer
- advances in information and computer security - 15th international workshop on security, iwsec 2020, proceedings 1 Treffer
- intelligent computer mathematics - international conference, cicm 2014, proceedings 1 Treffer
- medical image computing and computer assisted intervention - miccai 2020 - 23rd international conference, proceedings 1 Treffer
Sprache
613 Treffer
-
In: Lecture notes in computer science, Jg. 12231 (2020), S. 97-116KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7362, S. 96-110KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7362, S. 65-80KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6167, S. 370-384KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6167, S. 355-369KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 1-16KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5625, S. 357-372KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft NO 4573, S. 313-326KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft NO 4108, S. 179-193KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 17-29KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8543, S. 344-356KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 339-343serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff: