Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Springer Nature eBooks 398 Treffer
- Gale In Context: Canada 33 Treffer
- Gale eBooks 33 Treffer
- Gale In Context: High School 33 Treffer
- eBook Index 12 Treffer
-
22 weitere Werte:
- Zad Newspapers 2 Treffer
- Aerospace Research Central 2 Treffer
- Credo Reference 2 Treffer
- Latin American Open Archives Portal 2 Treffer
- Making of the Modern World 2 Treffer
- SZ LibraryNet 2 Treffer
- Zad Conference Proceedings 2 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 1 Treffer
- Swedish National Bibliography 1 Treffer
- SciELO 1 Treffer
- RAMBI 1 Treffer
- ProjectMUSE 1 Treffer
- LUNA Commons 1 Treffer
- Knovel 1 Treffer
- IndianJournals.com 1 Treffer
- IBISWorld 1 Treffer
- HBO Kennisbank 1 Treffer
- CogPrints 1 Treffer
- British Standards Online 1 Treffer
- BiblioBoard 1 Treffer
- NARCIS 1 Treffer
- Idunn.no 1 Treffer
Art der Quelle
Schlagwort
- proof assistant 34 Treffer
- mathematical knowledge 31 Treffer
- computer algebra system 30 Treffer
- computer algebra 13 Treffer
- artificial intelligence 10 Treffer
-
45 weitere Werte:
- 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
- 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
- computer science-mathematics 6 Treffer
- disjunctive normal form 6 Treffer
- function symbol 6 Treffer
- information storage and retrieval systems 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
- machine theory 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
- application software 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
Verlag
- springer berlin heidelberg 359 Treffer
- springer international publishing 20 Treffer
- springer 12 Treffer
- gale, cengage learning 7 Treffer
- springer netherlands 6 Treffer
-
13 weitere Werte:
- deutscher universitatsverlag 2 Treffer
- sage publications, inc 2 Treffer
- springer fachmedien wiesbaden 2 Treffer
- springer japan 2 Treffer
- springer singapore 2 Treffer
- john wiley & sons 1 Treffer
- mcgraw-hill 1 Treffer
- springer india 1 Treffer
- springer london 1 Treffer
- springer nature switzerland 1 Treffer
- vieweg+teubner verlag 1 Treffer
- vs verlag fur sozialwissenschaften 1 Treffer
- wolters kluwer health, lippincott williams & wilkins 1 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
-
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
- acronyms, initialisms & abbreviations dictionary 6 Treffer
- peterson's graduate programs in business, education, information studies, law & social work 2015 6 Treffer
- peterson'sa® graduate programs in business, education, information studies, law & social work 2016 6 Treffer
- peterson'sa® graduate programs in business, education, information studies, law & social work 2018 6 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
- acronyms, initialisms, & abbreviations dictionary 1 Treffer
- acronyms, initialisms, and abbreviations dictionary 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
- comprehensive water quality and purification: sustainability of water quality 1 Treffer
- computational intelligence, cyber security and computational models : proceedings of icc3, 2013 1 Treffer
- computer-assisted neurosurgery 1 Treffer
- digitalization and analytics for smart plant performance - theory and applications 1 Treffer
- encyclopedia of global warming & climate change 1 Treffer
- encyclopedia of global warming and climate change 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
- peterson's graduate programs in the humanities, arts & social sciences 2015 1 Treffer
- peterson'sa® graduate programs in the humanities, arts & social sciences 2016 1 Treffer
- peterson'sa® graduate programs in the humanities, arts & social sciences 2018 1 Treffer
- predecessor & defunct 2022 1 Treffer
- stedman's medical abbreviations, acronyms & symbols 1 Treffer
- time saver standards for architectural design: technical data for professional practice 1 Treffer
Sprache
446 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: