語系
Jeuring, Johan.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
by:
(1998 :); Jeuring, Johan.; SpringerLink (Online service)
(書目-電子資源)
Games and learning alliance5th International Conference, GALA 2016, Utrecht, the Netherlands, December 5-7, 2016 : proceedings /
by:
(1998 :); Bottino, Rosa.; Jeuring, Johan.; SpringerLink (Online service); Veltkamp, Remco C.
(書目-電子資源)
Intelligent Computer Mathematics11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
by:
(1998 :); Jeuring, Johan.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Educational games
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Personal Computing.
Computer programming
Information Storage and Retrieval.
Computer science
Computer Science.
Math Applications in Computer Science.
Computer Appl. in Social and Behavioral Sciences.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
Human-computer interaction
Computers and Education.