Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	stať ve sborníku (D)
Home Department:	Katedra informatiky a počítačů (31400)
Title:	Implementation of the non-clausal resolution theorem prover in education of theoretical computer science
Citace	Habiballa, H. Implementation of the non-clausal resolution theorem prover in education of theoretical computer science. In: Information and Communication technology in education 2002: Proceedings 20020910 Rožnov p.R.. Ostrava: PřF OU, 2002. PřF OU, 2002. s. 203-210. ISBN 80-7042-828-7.

Subtitle
Publication year:	2002
Obor:	Pedagogika a školství
Number of pages:
Page from:	203
Page to:	210
Form of publication:
ISBN code:	80-7042-828-7
ISSN code:
Proceedings title:	Proceedings
Proceedings:
Publisher name:	PřF OU
Place of publishing:	Ostrava
Country of Publication:	Sborník vydaný v ČR
Název konference:	Information and Communication technology in education 2002
Místo konání konference:	Rožnov p.R.
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celostátní akce
WoS code:
EID:

Key words in English:	none
Annotation in original language:	The article analyzes how to integrate application concept in education of theoretical computer science. It presents didactic tool, which helps students to understand mechanisms of logical inference and inference strategies through programming techniques.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17310/02:00000031

Complementary Content

${loading}