Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 4 Treffer
- symbolic computation 4 Treffer
- interactive theorem proving 3 Treffer
- mathml 3 Treffer
- ssreflect 3 Treffer
-
45 weitere Werte:
- termination 3 Treffer
- automated reasoning 2 Treffer
- computer algebra 2 Treffer
- formal mathematics 2 Treffer
- formal methods 2 Treffer
- geometry 2 Treffer
- logic 2 Treffer
- term rewriting 2 Treffer
- abstraction 1 Treffer
- acquired immune system 1 Treffer
- active particles 1 Treffer
- adaptive 1 Treffer
- agent 1 Treffer
- alpha-beta pruning 1 Treffer
- artificial intelligence 1 Treffer
- artificial neural networks 1 Treffer
- awareness 1 Treffer
- blended-learning 1 Treffer
- branch cuts 1 Treffer
- breast imaging 1 Treffer
- categorical logic 1 Treffer
- cloud computing 1 Treffer
- clustering 1 Treffer
- collaborative 1 Treffer
- collaborative writing 1 Treffer
- collective intelligence 1 Treffer
- combinatorial game 1 Treffer
- computational mathematics 1 Treffer
- computational modeling 1 Treffer
- computer algebra systems 1 Treffer
- computer-aided diagnosis 1 Treffer
- connectionism 1 Treffer
- controlled natural language 1 Treffer
- coq proof assistant 1 Treffer
- cylindrical algebraic decomposition 1 Treffer
- deep learning 1 Treffer
- dependency pairs 1 Treffer
- disambiguation 1 Treffer
- distance collaboration 1 Treffer
- dml-cz 1 Treffer
- document understanding 1 Treffer
- doi 1 Treffer
- dspace 1 Treffer
- dynamic geometry 1 Treffer
- egovernment 1 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 - 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 39 Treffer
- intelligent computer mathematics - 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, proceedings 37 Treffer
- intelligent computer mathematics - 16th symposium, calculemus 2009 - 8th international conference, mkm 2009 - held as part of cicm 2009, proceedings 37 Treffer
- intelligent computer mathematics - mkm, calculemus, dml, and systems and projects 2013 - held as part of cicm 2013, proceedings 34 Treffer
-
6 weitere Werte:
- intelligent computer mathematics - 18th symposium, calculemus 2011 and 10th international conference, mkm 2011, proceedings 29 Treffer
- towards mechanized mathematical assistants - 14th symposium, calculemus 2007 - 6th international conference, mkm 2007, proceedings 28 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
299 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: