Guidi

Results: 64



#Item
1

A Survey on Retrieval of Mathematical Knowledge⋆ arXiv:1505.06646v3 [cs.IR] 28 JunFerruccio Guidi, Claudio Sacerdoti Coen

Add to Reading List

Source URL: www.cs.unibo.it

- Date: 2016-07-28 06:12:56
    2

    ELPI: fast, Embeddable, λProlog Interpreter Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi To cite this version: Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi. ELPI: fast,

    Add to Reading List

    Source URL: www.cs.unibo.it

    - Date: 2016-07-28 06:05:41
      3

      A Survey on Retrieval of Mathematical Knowledge Ferruccio Guidi and Claudio Sacerdoti Coen Abstract. We present a survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 77 papers a

      Add to Reading List

      Source URL: www.cs.unibo.it

      - Date: 2016-07-28 05:42:42
        4Computing / Mathematics / Mathematical logic / Type theory / Functional languages / Business intelligence / Knowledge representation / Records management / Coq / Domain of a function / Matching / CIC

        A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7

        Add to Reading List

        Source URL: matita.cs.unibo.it

        Language: English - Date: 2007-05-25 11:04:18
        5

        LLP-2011-IT-ERASMUS-FEXI ATTORI, TRADUTTORI, RETI: LA CIRCOLAZIONE DELL’ECONOMIA POLITICA IN EUROPA ATTRAVERSO LE TRADUZIONI (XIX - XX SECOLO)1 MARCO E.L. GUIDI UNIVERSITY OF PISA

        Add to Reading List

        Source URL: eet.pixel-online.org

        Language: Italian - Date: 2013-04-17 03:46:08
          6

          17 GIUGNO 2016 Starlight Xpress KIT CCD & MINIWHEEL - TRIUS SX BIANCONERE CON LE NUOVE MINI RUOTE PORTA FILTRI E GUIDI FUORI ASSE E AUTOGUIDA LODESTAR

          Add to Reading List

          Source URL: www.unitronitalia.com

          Language: Italian - Date: 2016-06-17 06:18:51
            7

            Unione dei Comuni Empolese Valdelsa Cerreto Guidi Capraia e Limite

            Add to Reading List

            Source URL: toscananelcuore.it

            Language: Italian - Date: 2016-04-14 05:36:48
              8Butte Fire / Butte /  Montana / Guidi / Announcer

              JIM GUIDI AND THE CREW AT KVGC RADIO KVGC also known as “Home Town Radio” played a vital part in putting out the latest most accurate information during the Butte Fire to the citizens of Amador and Calaveras Counties

              Add to Reading List

              Source URL: butte.calaverasgov.us

              Language: English - Date: 2016-03-10 14:56:31
              9Building information modeling / Computer-aided design / Data modeling / Architecture / Construction / Project management / 3D scanner / Photogrammetry / Evaluation

              Milan, 25 JanuaryJPI CHT2 KICKOFF MEETING MINUTE The JPI CHT2 kick-off meeting, was held in Milan the 25th of January 2016, officially started the project. The participants to the meeting were: Gabriele Guidi, Sar

              Add to Reading List

              Source URL: cht2-project.eu

              Language: English - Date: 2016-03-29 14:58:07
              10Luigi Cossa / Francesco Ferrara / Instituto Brasileiro de Economia

              THE BRAZILIAN TRANSLATION OF LUIGI COSSA’S PRIMI ELEMENTI DI ECONOMIA POLITICAMARCO E. L. GUIDI AND MONICA LUPETTI DEPARTMENT OF ECONOMICS AND MANAGEMENT, UNIVERSITY OF PISA AND CLUL – UNIVERSIDADE DE LISBOA

              Add to Reading List

              Source URL: eet.pixel-online.org

              Language: English - Date: 2013-04-17 03:45:59
              UPDATE