>> Google Books
タイトル、所在を表示します

Intelligent tutoring systems : 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000 : proceedings

フォーマット:
図書
責任表示:
Gilles Gauthier, Glaude Frasson, Kurt VanLehn (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2000
形態:
xix, 675 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1839 <BA00009279>
書誌ID:
BA4711357X
ISBN:
9783540676553 [3540676554]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings

International Conference on Rewriting Techniques and Applications, Kirchner, Claude

Springer-Verlag
7 図書 Intelligent agents II : agent theories, architectures, and languages : IJCAI '95 Workshop (ATAL) : Montréal, Canada, August 19-20, 1995 : proceedings

Workshop on Agent Theories, Architectures, and Languages, International Joint Conference on Artificial Intelligence, &hellip;

Springer-Verlag
2 図書 Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society Press
8 図書 Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

CAV (Conference), Bochmann, Gregor Von., 1941-, Probst, David Karl

Springer-Verlag
3 図書 Combinatorial pattern matching : 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 : proceedings

Symposium on Combinatorial Pattern Matching, Giancarlo, Raffaele, Sankoff, David

Springer
9 図書 Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), &hellip;

Springer-Verlag
4 図書 Integer programming and combinatorial optimization : 5th International IPCO Conference, Vancouver, British Columbia, Canada, June 3-5, 1996 : proceedings

Conference on Integer Programming and Combinatorial Optimization, Cunningham, William H., McCormick, S. Thomas, &hellip;

Springer
10 図書 Computers in education : proceedings of the IFIP TC3 1st European Conference on Computers in Education--ECCE 88, Lausanne, Switzerland, 24-29 July, 1988

European Conference on Computers in Education, IFIP Technical Committee 3, Education, Lovis, F. B. (Frank B.), Tagg, E. &hellip;

North-Holland
5 図書 Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, 17-19 June, 1998

SIGPLAN Conference on Programming Language Design and Implementation, ACM Special Interest Group in Programming &hellip;

ACM Press
11 図書 Informatics and mathematics in secondary schools, impacts and relationships : proceedings of the IFIP TC-3 Working Conference on Informatics and Mathematics in …

IFIP TC-3 Working Conference on Mathematics and Informatics in secondary Schools, Impacts and Relationships, Johnson, D. &hellip;

North-Holland Pub. Co.,, sole distributors for the U.S.A. and Canada Elsevier-North-Holland
6 図書 Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings

International Conference on Theory and Applications of Satisfiability Testing, Bacchus, Fahiem, Walsh, Toby

Springer
12 図書 Fun[c]tional programming languages in education : First International Symposium, FPLE '95, Nijmegen, The Netherlands, December 4-6, 1995 : proceedings

International Symposium on Functional Programming Languages in Education, Hartel, Pieter H., Plasmeijer, Rinus

Springer