Treffer 1 - 10 von 10 für Suche 'LORIGO, Lori', Suchdauer: 0,75s Treffer weiter einschränken
  1. 1
    The influence of task and gender on search and evaluation behavior using Google

    The influence of task and gender on search and evaluation behavior using Google von Lorigo, Lori, Pan, Bing, Hembrooke, Helene, Joachims, Thorsten, Granka, Laura, Gay, Geri


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Eye tracking and online search: Lessons learned and challenges ahead

    Eye tracking and online search: Lessons learned and challenges ahead von Lorigo, Lori, Haridasan, Maya, Brynjarsdóttir, Hrönn, Xia, Ling, Joachims, Thorsten, Gay, Geri, Granka, Laura, Pellacini, Fabio, Pan, Bing


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    In Google We Trust: Users' Decisions on Rank, Position, and Relevance

    In Google We Trust: Users' Decisions on Rank, Position, and Relevance von Pan, Bing, Hembrooke, Helene, Joachims, Thorsten, Lorigo, Lori, Gay, Geri, Granka, Laura


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Using Formal Reference to Enhance Authority and Integrity in Online Mathematical Texts

    Using Formal Reference to Enhance Authority and Integrity in Online Mathematical Texts von Lorigo, Lori, Allen, Stuart, Constable, Robert


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Frequency and structure of long distance scholarly collaborations in a physics community

    Frequency and structure of long distance scholarly collaborations in a physics community von Lorigo, Lori, Pellacini, Fabio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics

    A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics von Lorigo, Lori, Kleinberg, Jon, Eaton, Richard, Constable, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    MetaPRL – A Modular Logical Environment

    MetaPRL – A Modular Logical Environment von Hickey, Jason, Nogin, Aleksey, Constable, Robert L., Aydemir, Brian E., Barzilay, Eli, Bryukhov, Yegor, Eaton, Richard, Granicz, Adam, Kopylov, Alexei, Kreitz, Christoph, Krupski, Vladimir N., Lorigo, Lori, Schmitt, Stephan, Witty, Carl, Yu, Xin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants

    JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants von Schmitt, Stephan, Lorigo, Lori, Kreitz, Christoph, Nogin, Aleksey


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    MetaPRL: A modular logical environment

    MetaPRL: A modular logical environment von HICKEY, Jason, NOGIN, Aleksey, KRUPSKI, Vladimir N, LORIGO, Lori, SCHMITT, Stephan, WITTY, Carl, XIN YU, CONSTABLE, Robert L, AYDEMIR, Brian E, BARZILAY, Eli, BRYUKHOV, Yegor, EATON, Richard, GRANICZ, Adam, KOPYLOV, Alexei, KREITZ, Christoph


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    The Nuprl Open Logical Environment

    The Nuprl Open Logical Environment von Allen, Stuart F., Constable, Robert L., Eaton, Rich, Kreitz, Christoph, Lorigo, Lori


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: