Autor der Publikation

Practical Higher-Order Pattern Unification with On-the-Fly Raising.

, und . ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 371-386. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Hack for the homeless: A humanitarian technology hackathon., , , , und . GHTC, Seite 577-584. IEEE, (2014)PaperCP: Exploring the Integration of Physical and Digital Affordances for Active Learning., , , , , und . INTERACT (2), Volume 4663 von Lecture Notes in Computer Science, Seite 15-28. Springer, (2007)Collaborative technologies in international distance education., , , , , und . CSCWD, Seite 522-527. IEEE, (2009)A wizard of oz tool for android., , und . Mobile HCI (Companion), Seite 65-70. ACM, (2012)StreetConnect: SMS announcements for homeless people., , und . GHTC, Seite 495-500. IEEE, (2013)A "Grand Tour" of Computer Science: Re-Designing CS1 for Breadth and Retention (Abstract Only)., und . SIGCSE, Seite 496-497. ACM, (2016)Cross-cultural issues in a tutored video instruction course., , und . SIGCSE, Seite 53-57. ACM, (2008)Context-aware technology for improving interaction in video-based agricultural extension., , , , , , und . IndiaHCI, Seite 10-19. ACM, (2011)Promoting Interaction in Distance Education., und . eLearn Mag., 2009 (8): 3 (2009)Mobile Training in the Real World for Community Disaster Responders., , und . MobiCASE, Volume 110 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 367-378. Springer, (2012)