Buchberger - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics		Add to Reading List Source URL: www.mizar.org Download Document from Source Website File Size: 2,76 MB Share Document on Facebook

	PDF Document DocID: 1qZO3 - View Document
	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 DocID: 1qNzo - View Document
	6th International Workshop on Multiple Criteria Decision Making’15, March 22–24, 2015, Ustroń, Poland International Workshop on Multiple Criteria Decision Making (IWoMCDM) is a scientific event organized every two y DocID: 1qJKX - View Document
	02 BOAC5 Nano publications Sofronijevic Pavlovic [Compatibility Mode] DocID: 1mWAB - View Document
	Challenging the Internet of the Future with Urban Computing Emanuele Della Valle1,2 , Irene Celino1 , Kono Kim3 , Zhisheng Huang4 , Volker Tresp5 , Werner Hauptmann5 , and Yi Huang5 1 DocID: 1mVIn - View Document