1
0
0
(1 - 17 von 17
)
Pitrat, JacquesPersée
www.persee.fr
... Le système hammourabi / Henri Lesourd ; sous la dir. de Jacques Pitrat / [S.l.] : [s.n.] , · META-MODELE ET HEURISTIQUES DE JUGEMENT : LE SYSTEME ...
Les agences de presse face à la révolution numérique des médias (2e....
www.chapitre.com
Livre : Livre Les agences de presse face à la révolution numérique des médias (2e. édition) de Pigeat, Henri; Lesourd, Pierre, commander et ...
TeXmacs Entwickler (FSF GNU project)
www.texmacs.org
David Allouche ersetzte den gencc Präprozessor durch das Standard C++ Template-System Henri Lesourd arbeitet an einer Unterstützung von TeXmacs für technisches Zeichnen. ...
Algorithms in Real Algebraic Geometrygoogle.de
books.google.de
... Henri Lesourd produced some native TEXMACS diagrams and figures for us. At different stages of writing this book the authors received Introduction 9.
KI 2006: 29th Annual German Conference on AI, KI 2006, ...google.de
books.google.de
159 Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, and Magdalena Wolska Session 5.
Mathematical Knowledge Management: 4th International ...google.de
books.google.de
Serge Autexier, Christoph Benzmüller, Armin Fiedler, and Henri Lesourd. Integrating proof assistants as reasoning and verification tools into a scientific ...
Developers of TeXmacs (FSF GNU project)
www.texmacs.org
Henri Lesourd developed a native mode for drawing technical pictures inside TeXmacs. He also fixed a bug in the presentation mode. Andrey Grozin has
OMDoc -- An Open Markup Format for Mathematical Documents ...google.de
books.google.de
Project Home http://www.ags.uni-sb.de/~omega/projects/ verimathdoc Authors Serge Autexier, Christoph Benzmüller, Armin Fiedler, and Henri Lesourd Computer ...
Text Resources and Lexical Knowledge: Selected Papers from ...google.de
books.google.de
Benzmüller, Christoph, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, and Magdalena Wolska (2006).
The Seventeen Provers of the World: Foreword by Dana S. Scottgoogle.de
books.google.de
... Birmingham, UK), Michael Kohlhase (now at International University Bremen, Bremen, Germany), Henri Lesourd, Andreas Meier, Erica Melis, Martin Pollet, ...
Algorithms in Real Algebraic Geometry - Saugata Basu, Richard...
books.google.de
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and...
Mathematical Knowledge Management: 4th International Conference, MKM...
books.google.de
Universitá degli studi di Siena, Serge Autexier, Christoph Benzmüller, Armin Fiedler, and Henri Lesourd. Integrating proof assistants as reasoning and ...
Text Resources and Lexical Knowledge: Selected Papers from the 9th...
books.google.de
Benzmüller, Christoph, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, and Magdalena Wolska (2006). DiaWozII – A Tool for ...
The Seventeen Provers of the World: Foreword by Dana S. Scott -...
books.google.de
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in
KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen,...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen,...
OMDoc -- An Open Markup Format for Mathematical Documents [version...
books.google.de
Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for...
De Gaulle et la Libération - Fondation Charles de Gaulle - Google...
books.google.de
Retour, au travers de différents prismes, sur la renaissance de la république après 4 années d'exil. Une réflexion sur le retour aux sources du...
sortiert nach Relevanz / Datum