Result 1 to 20 of 23 total
Repositories of learning objects as learning environments for teachers (English)
ICALT, 0- (2004).
1
Shaping teaching preparation content according to emerging pedagogical paradigms (English)
ICCE, 1044-1048 (2002).
2
Building reusable and adaptable web-based courses. (English)
Zhong, Ning (ed.) et al., Web intelligence: research and development. 1st Asia-Pacific conference, WI 2001, Maebashi City, Japan, October 23-26, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2198, 562-567 (2001).
3
An approach to the development of re-usable and adaptive web based courses (English)
WebNet, 1043-1048 (2001).
4
Building reusable and adaptable web-based courses (English)
Web Intelligence, 562-567 (2001).
5
Teleconferencing tools in enterprises-constraints and opportunities. (English)
Br. J. Educ. Technol. 31, No. 2, 127-134 (2000).
6
ICT driven individual learning: new opportunities and perspectives (English)
Educational Technology & Society 3, No. 1 (2000).
7
Informational logic in knowledge representation and automated deduction. (English)
AI Commun. 12, No. 4, 185-208 (1999).
8
Informational logic in knowledge representation and automated deduction. (English)
AI Commun. 12, No. 4, 185-208 (1999).
9
Companies \& teleconferencing tools: an impact study (English)
WebNet, 1693 (1999).
10
ICT as a tool for learning to learn (English)
Communications and Networking in Education, 175-184 (1999).
11
New trends for continuous training in small and medium enterprises. (English)
J. Comput. Inf. Technol. 6, No. 1, 53-62 (1998).
12
Technology transfer in schools: From research to innovation. (English)
Br. J. Educ. Technol. 29, No. 2, 163-172 (1998).
13
Informational logic as a tool for automated reasoning. (English)
J. Autom. Reasoning 20, No.1-2, 167-190 (1998).
14
A computer-based model for continuous training in smes (English)
Teleteaching, 313-322 (1998).
15
Combining hypermedia and network technology to support active vocational guidance. (English)
J. Comput. Inf. Technol. 5, No. 1, 51-61 (1997).
16
Equational specifications: Design, implementation, and reasoning. (English)
Miola, Alfonso (ed.) et al., Advances in the design of symbolic computation systems. Wien: Springer. Texts and Monographs in Symbolic Computation. 126-144 (1997).
17
Research in automated deduction as a basis for a probabilistic proof-theory. (English)
Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26‒30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 491-527 (1996).
18
Informational logic for automated reasoning (English)
JELIA, 354-372 (1996).
19
A uniform approach to deduction and automatic implementation (English)
DISCO, 132-144 (1992).
20
Result 1 to 20 of 23 total
Start
Contact
Print
General Help
