Search results for: Marco Temperini
Lecture Notes in Computer Science > Visioning and Engineering the Knowledge Society. A Web Science Perspective > Knowledge, Learning, Education, Learning Technologies and E-Learning for the Knowledge Society > 40-49
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 107-121
Lecture Notes in Computer Science > Automated Reasoning > Saturation Based Theorem Proving, Applications, and Data Structures > 152-167
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 61-70
Lecture Notes in Computer Science > Emerging Technologies and Information Systems for the Knowledge Society > Track II: Knowledge, Learning, Education, Learning Technologies and E-learning for the Knowledge Society > 296-303
Lecture Notes in Computer Science > Visioning and Engineering the Knowledge Society. A Web Science Perspective > Knowledge, Learning, Education, Learning Technologies and E-Learning for the Knowledge Society > 13-21
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 319-330
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 240-251
Communications in Computer and Information Science > Digital Information and Communication Technology and Its Applications > Interactive Environments and Emergent Technologies for eLearning > 494-503
Communications in Computer and Information Science > Organizational, Business, and Technological Aspects of the Knowledge Society > 254-265
Communications in Computer and Information Science > Knowledge Management, Information Systems, E-Learning, and Sustainability Research > 267-276