Learning languages: implications for student modelling in ICALL

Learning languages: implications for student modelling in ICALL

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bull, Susan (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1994
Schriftenreihe:	University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 704
Schlagworte:	Computer software Education and training Linguistics Erziehung Linguistik Education
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Student modelling for second language acquisition
von: Bull, Susan
Veröffentlicht: (1994)

Student modelling beyond domain knowledge
von: Bull, Susan, et al.
Veröffentlicht: (1994)

Collaboration and reflection in the construction of a student model for intelligent computer assisted language learning
von: Bull, Susan, et al.
Veröffentlicht: (1993)

Analysing misconceptions in the domain of second language learning
von: Sentance, Sue
Veröffentlicht: (1992)

A case-based reasoning approach to supporting novice programmers
von: Bowles, A., et al.
Veröffentlicht: (1994)

Promoting creative confrontations
von: Brna, Paul
Veröffentlicht: (1990)

Sentence generation from conceptual graphs
von: Nicolov, Nicolas, et al.
Veröffentlicht: (1995)

Constraint based event recognition for information extraction
von: Crowe, Jeremy
Veröffentlicht: (1995)

Language in context supporting authenticity with computers
von: Sealey, Alison
Veröffentlicht: (1991)

Right hemisphere language processing studies with normal subjects
von: Lambert, Anthony J.
Veröffentlicht: (1981)

Syntactic structure and its effects on performance in a second language
von: Meara, Paul M.
Veröffentlicht: (1980)

Modelling finite delay operators
von: Hennessy, Matthew C.
Veröffentlicht: (1983)

Fail-controlled computer architectures for distributed systems
Veröffentlicht: (1991)

Algebraic theories for name-passing calculi
von: Parrow, Joachim, et al.
Veröffentlicht: (1993)

Action structures for the pi-calculus
von: Milner, Robin 1934-2010
Veröffentlicht: (1993)

Towards a domain theory for termination proofs
von: Kahrs, SStefan
Veröffentlicht: (1995)

High undecidability of weak bisimilarity for Petri nets
von: Jančar, Petr
Veröffentlicht: (1994)

Linear algebra support modules for approximation and other software
von: Cox, Maurice G.
Veröffentlicht: (1989)

Improved approximation algorithms for MAX k-CUT and MAX BISECTION
von: Frieze, Alan 1945-, et al.
Veröffentlicht: (1994)

An effective tableau system for the linear time mu calculus
von: Bradfield, Julian 1964-, et al.
Veröffentlicht: (1995)

Rippling on relational structures
von: Lombart, Vincent, et al.
Veröffentlicht: (1994)

Automatic translation of VDM specifications into standard ML programs
von: O'Neill, G.
Veröffentlicht: (1992)

Abstraction mechanisms for hardware verification
von: Melham, Thomas F.
Veröffentlicht: (1987)

Software monitoring of UNIX systems
von: Montasar-Kohsari, Afzal, et al.
Veröffentlicht: (1986)

Abstract Prolog machine a specification
von: MacCabe, F. G.
Veröffentlicht: (1983)

Software monitoring of Unix systems
von: Montasar-Kohsari, Afzal, et al.
Veröffentlicht: (1986)

Some experiences of testing protocol implementations
von: Pavel, J. R., et al.
Veröffentlicht: (1984)

Interfacing Matlab and software written in other languages
von: Butler, B. P.
Veröffentlicht: (1992)

Design of a Bit-sliced network for a shared-memory multiprocessor system
von: Rogers, D. J., et al.
Veröffentlicht: (1992)

On the bisimulation proof method
von: Sangiorgi, Davide
Veröffentlicht: (1994)

Trapping mutual exclusion in the box calculus
von: Esspaarza, Javier, et al.
Veröffentlicht: (1994)

Generating and counting Hamilton cycles in random regular graphs
Veröffentlicht: (1994)

Deciding equivalences in simple process algebras
von: Hirshfeld, Yoram
Veröffentlicht: (1994)

Deciding whether a planar graph has a cubic subgraph is NP-complete
von: Stewart, Iain A.
Veröffentlicht: (1991)

A mechanized theory of the pi-calculus in HOL
von: Melham, Thomas F.
Veröffentlicht: (1992)

Logic program synthesis via proof planning
von: Kraan, Ina, et al.
Veröffentlicht: (1992)

Completeness conditions for mixed strategy context free parsing
von: Ritchie, Graeme D.
Veröffentlicht: (1995)

A language of specified programs
von: Tarlecki, Andrzej
Veröffentlicht: (1983)

Automating reasoning support for design
Veröffentlicht: (1996)

Using targeted negotiation to support students' learning
von: Bull, Susan, et al.
Veröffentlicht: (1995)