Granularity analysis for tutoring mathematical proofs /

Autor:: Schiller, Marvin.
Hasło dodatkowe:: Akademische Verlagsgesellschaft.
Hasło dodatkowe:: IOS Press.
Odpowiedzialność:: Marvin R. G. Schiller.
Miejsce:: Heidelberg : | [Amsterdam] :
Wydany przez :: AKA ; | IOS Press,
w roku:: cop. 2011.
Opis fizyczny:: XX, 247, [1] s. : il., tab. ; 21 cm.
Seria:: (DISKI Dissertationen zur Künstlichen Intelligenz ISSN 0941-5769 334)
(DISKI Dissertationen zur Künstlichen Intelligenz, 0941-5769 ; vol. 334)
Uwagi:: Diss.: Univ. des Saarlandes, Saarbrücken, 2010.

Bibliogr. s. 177-196.
ISBN:: 978-1-60750-719-2 (IOS Press)
UKD:: 517:004.8:004.85](043)=111

Dopowiedzenie klasyfikacji (UKD):: Analiza matematyczna. Matematyczna teoria kontroli.
(Prace dyplomowe. Rozprawy doktorskie. Dysertacje).
=Język angielski.
Hasła przedmiotowe:
Rodzaj dokumentu:: Książka

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
T T.15649 krótkoterminowe	T.15649	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.15649	krótkoterminowe		18/03/2014	Zamów