Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 33 Treffer
- mathematical knowledge 31 Treffer
- computer algebra system 30 Treffer
- computer science 24 Treffer
- business 18 Treffer
-
45 weitere Werte:
- business.industry 18 Treffer
- computer algebra 13 Treffer
- computer 10 Treffer
- mathematical knowledge management 10 Treffer
- mathematical object 10 Treffer
- mathematical text 10 Treffer
- automate reasoning 9 Treffer
- formal proof 9 Treffer
- mizar mathematical library 9 Treffer
- theorem prover 9 Treffer
- computer.software_genre 8 Treffer
- decision procedure 8 Treffer
- knowledge engineering 8 Treffer
- natural deduction 8 Treffer
- proof obligation 8 Treffer
- proof tree 8 Treffer
- artificial intelligence 7 Treffer
- concrete syntax 7 Treffer
- digital library 7 Treffer
- proof script 7 Treffer
- type theory 7 Treffer
- authoring tool 6 Treffer
- disjunctive normal form 6 Treffer
- function symbol 6 Treffer
- interactive proof 6 Treffer
- interactive theorem prover 6 Treffer
- mathematical practice 6 Treffer
- mathematical proof 6 Treffer
- proof step 6 Treffer
- theorem prove 6 Treffer
- inference rule 5 Treffer
- information retrieval 5 Treffer
- mathematical content 5 Treffer
- mathematical document 5 Treffer
- mathematical expression 5 Treffer
- mathml 5 Treffer
- optical character recognition 5 Treffer
- parse tree 5 Treffer
- proof term 5 Treffer
- resource description framework 5 Treffer
- symbolic computation 5 Treffer
- world wide web 5 Treffer
- abstract syntax 4 Treffer
- automate theorem prove 4 Treffer
- automate theorem prover 4 Treffer
Publikation
- intelligent computer mathematics : 9th international conference, aisc 2008, 15th symposium, calculemus 2008, 7th international conference, mkm 2008, birmingham, uk, july 28 - august 1, 2008. proceedings 47 Treffer
- intelligent computer mathematics : 16th symposium, calculemus 2009, 8th international conference, mkm 2009, held as part of cicm 2009, grand bend, canada, july 6-12, 2009. proceedings 40 Treffer
- intelligent computer mathematics : 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, paris, france, july 5-10, 2010. proceedings 38 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 38 Treffer
- intelligent computer mathematics : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 33 Treffer
-
25 weitere Werte:
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 31 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 30 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 27 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 26 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 22 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 17 Treffer
- minimally invasive techniques for neurosurgery : current status and future perspectives 2 Treffer
- 11. kongress der deutschsprachigen gesellschaft fur intraokularlinsen-implantation und refraktive chirurgie : 13. bis 15. marz 1997, frankfurt am main 1 Treffer
- 3 biotech 1 Treffer
- advances in grid and pervasive computing : 7th international conference, gpc 2012, hong kong, china, may 11-13, 2012. proceedings 1 Treffer
- case-based reasoning research and development : 21st international conference, iccbr 2013, saratoga springs, ny, usa, july 8-11, 2013. proceedings 1 Treffer
- environmental science and pollution research 1 Treffer
- evolutionary intelligence 1 Treffer
- evolving systems: an interdisciplinary journal for advanced science and technology 1 Treffer
- graphs, networks and algorithms 1 Treffer
- journal fur ornithologie 1 Treffer
- journal of ambient intelligence and humanized computing 1 Treffer
- mathematical software - icms 2014 : 4th international congress, seoul, south korea, august 5-9, 2014. proceedings 1 Treffer
- medical image computing and computer-assisted intervention - miccai'99 : second international conference, cambridge, uk, september 19-22, 1999. proceedings 1 Treffer
- microsystem technologies: micro- and nanosystemsinformation storage and processing systems 1 Treffer
- omdoc - an open markup format for mathematical documents [version 1.2] : foreword by allan bundy 1 Treffer
- radiation and environmental biophysics 1 Treffer
- terrestrial heat flow in europe 1 Treffer
- the european physical journal plus 1 Treffer
- the european physical journal special topics 1 Treffer
Sprache
422 Treffer
-
In: Microsystem Technologies: Micro- and NanosystemsInformation Storage and Processing Systems, Jg. 29 (2023-11-01), Heft 11, S. 1557-1575Online academicJournalZugriff:
-
2012Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff: