Documents par ordre de pertinence

000154 (2002)	Jürgen Zimmer [Allemagne] ; Michael Kohlhase [États-Unis]	System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
000179 (1999)	Andreas Franke [Allemagne] ; Michael Kohlhase [Allemagne]	System Description: MathWeb , an Agent-Based Communication Layer for Distributed Automated Theorem Proving
000057 (2010)	L. K. Emmons [États-Unis] ; S. Walters [États-Unis] ; P. G. Hess [États-Unis] ; J.-F. Lamarque [États-Unis] ; G. G. Pfister [États-Unis] ; D. Fillmore [États-Unis] ; Claire Granier [États-Unis] ; A. Guenther [États-Unis] ; D. Kinnison [États-Unis] ; T. Laepple [États-Unis] ; J. Orlando [États-Unis] ; X. Tie [États-Unis] ; G. Tyndall [États-Unis] ; C. Wiedinmyer [États-Unis] ; S. L. Baughcum ; S. Kloster [Allemagne]	Description and evaluation of the Model for Ozone and Related chemical Tracers, version 4 (MOZART-4)
000096 (2008)	Caspar Franzen [Allemagne]	Leopold Mozart and the first description of erythema nodosum.
000099 (2008)	Oleg Lobachev [Allemagne] ; Rita Loogen [Allemagne]	Towards an Implementation of a Computer Algebra System in a Functional Language

This area was generated with Dilib version V0.6.20.
Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023

	Serveur d'exploration sur Mozart
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.