Guidi - PDFSEARCH.IO - Document Search Engine

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
4	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 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
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
8	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 Butte Fire Butte Montana Guidi Announcer
9	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 Building information modeling Computer-aided design Data modeling Architecture Construction Project management 3D scanner Photogrammetry Evaluation
10	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 Luigi Cossa Francesco Ferrara Instituto Brasileiro de Economia

UPDATE