Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- informatica --- informatiesystemen --- database management --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- AI (artificiële intelligentie)