Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 34 Treffer
- mathematical knowledge 31 Treffer
- computer algebra system 30 Treffer
- computer algebra 13 Treffer
- mathematical object 10 Treffer
-
45 weitere Werte:
- mathematical text 10 Treffer
- automate reasoning 9 Treffer
- formal proof 9 Treffer
- mizar mathematical library 9 Treffer
- theorem prover 9 Treffer
- decision procedure 8 Treffer
- proof tree 8 Treffer
- concrete syntax 7 Treffer
- digital library 7 Treffer
- natural deduction 7 Treffer
- proof obligation 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
- proof step 6 Treffer
- theorem prove 6 Treffer
- inference rule 5 Treffer
- logical framework 5 Treffer
- mathematical content 5 Treffer
- mathematical document 5 Treffer
- mathematical expression 5 Treffer
- mathematical proof 5 Treffer
- optical character recognition 5 Treffer
- parse tree 5 Treffer
- proof term 5 Treffer
- resource description framework 5 Treffer
- symbolic computation 5 Treffer
- abstract syntax 4 Treffer
- automate theorem prove 4 Treffer
- automate theorem prover 4 Treffer
- coq 4 Treffer
- information retrieval 4 Treffer
- knowledge repository 4 Treffer
- mathematical knowledge management 4 Treffer
- mathematical practice 4 Treffer
- mathematical software 4 Treffer
- mathml 4 Treffer
- ssreflect 4 Treffer
- syntax tree 4 Treffer
- transformation rule 4 Treffer
- type system 4 Treffer
Verlag
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
-
45 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
- intelligent computer mathematics : international conference, cicm 2014, coimbra, portugal, july 7-11, 2014. proceedings 2 Treffer
- intelligent computer mathematics : international conference, cicm 2015, washington, dc, usa, july 13-17, 2015, proceedings. 2 Treffer
- medical image computing and computer assisted intervention - miccai 2020 : 23rd international conference, lima, peru, october 4-8, 2020, proceedings, part vi 2 Treffer
- minimally invasive techniques for neurosurgery : current status and future perspectives 2 Treffer
- netzwerkeffekte im medien- und kommunikationsmanagement : vom nutzen sozialer netze 2 Treffer
- "die unsichtbaren dritten" : ein neues modell zur evaluation und steuerung von public relations im strategischen kommunikationsmanagement 1 Treffer
- 11. kongress der deutschsprachigen gesellschaft fur intraokularlinsen-implantation und refraktive chirurgie : 13. bis 15. marz 1997, frankfurt am main 1 Treffer
- 3rd international conference on nanotechnologies and biomedical engineering : icnbme-2015, september 23-26, 2015, chisinau, republic of moldova 1 Treffer
- advanced computing : 12th international conference, iacc 2022, hyderabad, india, december 16-17, 2022, revised selected papers, part ii 1 Treffer
- advances in grid and pervasive computing : 7th international conference, gpc 2012, hong kong, china, may 11-13, 2012. proceedings 1 Treffer
- advances in information and computer security : 15th international workshop on security, iwsec 2020, fukui, japan, september 2-4, 2020, proceedings 1 Treffer
- algorithmic aspects in information and management : 11th international conference, aaim 2016, bergamo, italy, july 18-20, 2016, proceedings 1 Treffer
- automated reasoning : 8th international joint conference, ijcar 2016, coimbra, portugal, june 27 - july 2, 2016, 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
- case-based reasoning research and development : 22nd international conference, iccbr 2014, cork, ireland, september 29, 2014 - october 1, 2014. proceedings 1 Treffer
- cognitive informatics and soft computing : proceeding of cisc 2017 1 Treffer
- computational intelligence, cyber security and computational models : proceedings of icc3, 2013 1 Treffer
- computer-assisted neurosurgery 1 Treffer
- geschaftsprozesse mit mobile computing : konkrete projekterfahrung, technische umsetzung, kalkulierbarer erfolg des mobile business 1 Treffer
- global design to gain a competitive edge : an holistic and collaborative design approach based on computational tools 1 Treffer
- graphs, networks and algorithms 1 Treffer
- handbook of materials modeling : applications: current and emerging materials 1 Treffer
- handbuch ngo-kommunikation 1 Treffer
- infrared and submillimeter astronomy : proceedings of a symposium held in philadelphia, penn., u.s.a., june 8-10, 1976 1 Treffer
- innovative superhard materials and sustainable coatings for advanced manufacturing : proceedings of the nato advanced research workshop on innovative superhard materials and sustainable coatings kiev, ukraine 12-15 may 2004 1 Treffer
- intelligent computer mathematics : 10th international conference, cicm 2017, edinburgh, uk, july 17-21, 2017, proceedings 1 Treffer
- intelligent computer mathematics : 11th international conference, cicm 2018, hagenberg, austria, august 13-17, 2018, proceedings 1 Treffer
- intelligent computer mathematics : 12th international conference, cicm 2019, prague, czech republic, july 8-12, 2019, proceedings 1 Treffer
- jahrbuch fur psychodrama, psychosoziale praxis & gesellschaftspolitik 1993 1 Treffer
- logic, language, information, and computation : 27th international workshop, wollic 2021, virtual event, october 5-8, 2021, proceedings 1 Treffer
- mathematical software - icms 2014 : 4th international congress, seoul, south korea, august 5-9, 2014. proceedings 1 Treffer
- mechanics and control of solids and structures 1 Treffer
- medical image computing and computer-assisted intervention - miccai'99 : second international conference, cambridge, uk, september 19-22, 1999. proceedings 1 Treffer
- micc 90 : moscow international composites conference, 1990 1 Treffer
- myopia updates ii : proceedings of the 7th international conference on myopia, 1998 1 Treffer
- nanoscale insights into ion-beam cancer therapy 1 Treffer
- new developments in array technology and applications : proceedings of the 167th symposium of the international astronomical union, held in the hague, the netherlands, august 23-27, 1994 1 Treffer
- omdoc - an open markup format for mathematical documents [version 1.2] : foreword by allan bundy 1 Treffer
- supercomputing : 5th russian supercomputing days, ruscdays 2019, moscow, russia, september 23-24, 2019, revised selected papers 1 Treffer
Sprache
398 Treffer
-
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: