[图书][B] CAI in CS

M Kopponen - 1997 - Citeseer
This thesis is the result of research carried out in the Department of Computer Science at the
University of Joensuu during the years 1994-1996, and in the Laboratory for Computer …

[PDF][PDF] ELECTRONIC COURSES: TOWARDS UNIFIED CURRICULA IN LANGUAGE AND SPEECH TECHNOLOGY EDUCATION

D Tufis - academia.edu
This paper is a plea for concerted effort towards preparing unified curricula in Language and
Speech Technology (L&ST) education. To be maximally effective, the text courses should be …

Automatic theorem proving within the portable AI Lab

F Baj, M Rosner - Logic Programming in Action: Second International …, 1992 - Springer
Abstract The Portable AI Lab is a joint research project concerned with the design and
implementation of an integrated environment to support teaching of Artificial Intelligence at …