Zimmermann - PDFSEARCH.IO - Document Search Engine

Zimmermann
Results: 681

#	Item
591	GNU MPFR: back to the future Paul Zimmermann inria (inventors for the digital world) 23 September 2011 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2011-09-24 12:10:00 MPFR Computer arithmetic Paul Zimmermann GNU Multiple Precision Arithmetic Library Mathematical software Rounding Sage Arbitrary-precision arithmetic GNU Compiler Collection Software Computing Numerical software
592	IEEE 754 Revision Paul Zimmermann Dagstuhl Seminar 06021, 8-13 January, 2006 History Add to Reading List Source URL: www.loria.fr Language: English - Date: 2006-01-13 01:36:31 Numbers Computer science IEEE 754-2008 Decimal128 floating-point format Half-precision floating-point format Quadruple-precision floating-point format Dagstuhl Decimal64 floating-point format Decimal32 floating-point format Computer arithmetic Data types Computing
593	NUMMER[removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52
594	Integrated Distributed Description Logics (extended abstract) Antoine Zimmermann INRIA Rhˆone-Alpes Abstract. We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Ontology Knowledge representation Knowledge engineering Web Ontology Language Description logic Knowledge representation and reasoning Mereology DOGMA Information Semantic Web Information science
595	NUMMER[removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52
596	NUMMER[removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52
597	NUMMER[removed][removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52
598	NUMMER[removed][removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52
599	NUMMER[removed][removed][removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52
600	NUMMER[removed][removed][removed] Add to Reading List Source URL: www.zimmermann-holz.de Language: German - Date: 2013-12-19 12:44:52