|
A change-oriented architecture for mathematical authoring assistance /
|
|
Wagner, Marc.
|
|
Marc Wagner. |
|
Czytelnia ul. Cukrowa 8 (SIL obcojęzyczny)
|
|
Heidelberg : | [Amsterdam] :
|
|
AKA ; | IOS Press,
|
|
cop. 2011.
|
|
XVIII, 289, [2] s. :
il. ;
21 cm.
|
|
(DISKI Dissertationen zur Künstlichen Intelligenz ISSN 0941-5769 333)
(DISKI Dissertationen zur Künstlichen Intelligenz, 0941-5769 ; 333)
|
|
Diss.: Univ. des Saarlandes, Saarbrücken, 2010.
Bibliogr. s. 257-283. Indeks.
|
|
978-3-89838-333-2 (AKA)
|
|
51:004.43:519.85:004.4'232:004.82](043)=111 |
|
|