Languages
Jeuring, Johan.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
by:
(1998 :); Jeuring, Johan.; SpringerLink (Online service)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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.