Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer algebra system 2 Treffer
- authoring environment 1 Treffer
- axiomatic system 1 Treffer
- content collection 1 Treffer
- content dictionary 1 Treffer
-
16 weitere Werte:
- inference rule 1 Treffer
- mathematic learn 1 Treffer
- mathematical content 1 Treffer
- mathematical knowledge management 1 Treffer
- mathematical object 1 Treffer
- model node 1 Treffer
- output format 1 Treffer
- performance zone 1 Treffer
- proof assistant 1 Treffer
- proof obligation 1 Treffer
- resolution method 1 Treffer
- sequent calculus 1 Treffer
- source text 1 Treffer
- text editor 1 Treffer
- theorem prover 1 Treffer
- visual feedback 1 Treffer
Publikation
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 2 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 1 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
- omdoc - an open markup format for mathematical documents [version 1.2] : foreword by allan bundy 1 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 1 Treffer
6 Treffer
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2006Online E-BookZugriff: