Logic-Free Reasoning in Isabelle/Isar : International Conference on Mathematical Knowledge Management; 7th international conference, MKM 2008
In: LECTURE NOTES IN COMPUTER SCIENCE (5144):355-369; (2008) 5144, S. 355-369
Konferenz
Zugriff:
Titel: |
Logic-Free Reasoning in Isabelle/Isar : International Conference on Mathematical Knowledge Management; 7th international conference, MKM 2008
|
---|---|
Autor/in / Beteiligte Person: | Berghofer, S. ; Wenzel, M. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (5144):355-369; (2008) 5144, S. 355-369 |
Veröffentlichung: | 2008 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|