Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer algebra system 5 Treffer
- proof obligation 5 Treffer
- formal proof 4 Treffer
- proof tree 3 Treffer
- type theory 3 Treffer
-
45 weitere Werte:
- automate reasoning 2 Treffer
- automate theorem prove 2 Treffer
- automate theorem prover 2 Treffer
- computer algebra 2 Treffer
- interactive theorem prover 2 Treffer
- java program 2 Treffer
- mathematical text 2 Treffer
- mizar mathematical library 2 Treffer
- proof term 2 Treffer
- standard library 2 Treffer
- syntax tree 2 Treffer
- version control system 2 Treffer
- abstract data type 1 Treffer
- abstract syntax 1 Treffer
- abstract syntax tree 1 Treffer
- agile software development 1 Treffer
- anonymous user 1 Treffer
- authoring tool 1 Treffer
- automate deduction 1 Treffer
- automate theorem prove system 1 Treffer
- automatic theorem prover 1 Treffer
- binary operation 1 Treffer
- central repository 1 Treffer
- chess player 1 Treffer
- chordal graph 1 Treffer
- class object 1 Treffer
- classical logic 1 Treffer
- combinatorial search 1 Treffer
- complete lattice 1 Treffer
- computable function 1 Treffer
- concrete computation 1 Treffer
- concrete syntax 1 Treffer
- conjugate function 1 Treffer
- constructive mathematic 1 Treffer
- content level 1 Treffer
- correctness proof 1 Treffer
- declarative language 1 Treffer
- deduction system 1 Treffer
- dependent type 1 Treffer
- document object model 1 Treffer
- embed software 1 Treffer
- equal time 1 Treffer
- extension principle 1 Treffer
- float point arithmetic 1 Treffer
- formal text 1 Treffer
Verlag
Publikation
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 6 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 5 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 4 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 4 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 3 Treffer
-
7 weitere Werte:
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 3 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 2 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 2 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 2 Treffer
- 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 1 Treffer
- intelligent computer mathematics : international conference, cicm 2014, coimbra, portugal, july 7-11, 2014. proceedings 1 Treffer
- omdoc - an open markup format for mathematical documents [version 1.2] : foreword by allan bundy 1 Treffer
Sprache
34 Treffer
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2007Online E-BookZugriff: