Gesamtpreis (1 Artikel Artikel):
Versandziel:
fleuriot jacques (23 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (23)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (14)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (9)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
Sprache (2)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,87
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,91
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Deduction in Geometry: 9th International Workshop, Adg 2012, Edinburgh, Uk, September 17-19, 2012. Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2013
ISBN 10: 3642406718 ISBN 13: 9783642406713
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,72
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 202 pages. 9.20x6.10x0.50 inches. In Stock.
-
Artificial Intelligence and Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou, China, September 1619, 2018, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319999567 ISBN 13: 9783319999562
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,56
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 280 pages. 9.25x6.10x0.64 inches. In Stock.
-
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642406718 ISBN 13: 9783642406713
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
-
Les Annales Novembre 1955 Nouvelle série n°61
Verlag: Les Annales, 1955
Anbieter: LibrairieLaLettre2, Villefranche de Lauragais, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Agrafé. Zustand: Bon état. in-8 Description :60 pp. Marges jaunies. Couverture insolée et frottée. Langue : Français Nb de volumes : 1.
-
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16¿19, 2018, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319999567 ISBN 13: 9783319999562
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
-
Taschenbuch. Zustand: Neu. Automated Deduction in Geometry | 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers | Tetsuo Ida (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642406713 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Artificial Intelligence and Symbolic Computation | 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings | Jacques Fleuriot (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2018 | Springer | EAN 9783319999562 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,22
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,22
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 148,77
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 153 pages. 9.25x6.10x0.37 inches. In Stock.
-
Taschenbuch. Zustand: Neu. A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia | Jacques Fleuriot | Taschenbuch | xiii | Englisch | 2012 | Springer London | EAN 9781447110415 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Sprache: Englisch
Verlag: Springer London, Springer London, 2012
ISBN 10: 1447110412 ISBN 13: 9781447110415
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Sprache: Englisch
Verlag: Springer London, Springer London, 2001
ISBN 10: 1852334665 ISBN 13: 9781852334666
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.
-
LA SEMAINE DES FAMILLES 26EME ANNEE N°39 -TO BE OR NOT TO BE DE L'ONCLE JACQUES, EN MAITRE III DE L. MUSSAT, LE VITRAIL BRISE DE F. FLEURIOT-KERINOU, UNE TEMPETE DE CH. BARTHELEMY, DANS UN VIEUX LOGIS IV DE REMY D'ALTA-ROCCA
Verlag: Au bureau du journal. 27 DEC 1884, 1884
Pas de couverture. Zustand: bon. R110027547: 27 DEC 1884. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 609 à 624. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
-
LA SEMAINE DES FAMILLES 22EME ANNEE N°44 - PAYSAGE PRIS DANS LES ABRUZZES DE CH. BARTHELEMY, ALBERTE XVIII DE ZENAIDE FLEURIOT, LA COURONNE DE FER DE JACQUES ROUYR, LES CHIENS D'UN CELIBATAIRE DE JEAN-JACQUES DES MARTELS, LE COMBAT DE LA VIE DE A. POIRIER
Verlag: Au bureau du journal. 29 JAN 1881, 1881
Pas de couverture. Zustand: bon. R110027395: 29 JAN 1881. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 689 à 704. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
-
LA SEMAINE DES FAMILLES 22EME ANNEE N°41 - LES PECHEURS A LA LIGNE DE L'ONCLE JACQUES, ALBERTE XV DE ZENAIDE FLEURIOT, ASSASSINAT DU DUC D'ORLEANS DE L. DUSSIEUX, LE LIEDER DU CIEL II DE J.O LAVERGNE, LESTOURELLES DU VIEUX PARIS DE LEONTINE ROUSSEAU
Verlag: Au bureau du journal. 8 JAN 1881, 1881
Pas de couverture. Zustand: bon. R110027392: 8 JAN 1881. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 641 à 656. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
-
LA SEMAINE DES FAMILLES 22EME ANNEE N°33 - BERTRAND ET RATON DE L'ONCLE JACQUES, LA CRESSONNIERE VII DE J.O LAVERGNE, ALBERTE DE ZENAIDE FLEURIOT, FIAT VOLUNTAS TUA DE MARIE JENNA, REVUE LITTERAIRE DE DANIEL BERNARD, LA GREVE DES BOULANGERS DE A. HERVO
Verlag: Au bureau du journal. 13 NOV 1880, 1880
Pas de couverture. Zustand: bon. R110027384: 13 NOV 1880. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 513 à 528. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
-
LA SEMAINE DES FAMILLES 21EME ANNEE N°17 - LE PAYSAGE DE A. LIONEL, TRANQUILLE ET TOURBILLON XII DE ZENAIDE FLEURIOT, LES DEUX MOULINS II DE L'ONCLE JACQUES, L'INSURRECTION ALGERIENNE DE OSCAR HAVARD, UNE PIPE D'ECUME DE MER VI DE A. DE COURSON
Verlag: Au bureau du journal. 26 JUIL 1879, 1879
Pas de couverture. Zustand: bon. R110027304: 26 JUIL 1879. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 257 à 272. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
-
LA SEMAINE DES FAMILLES 22EME ANNEE N°26 - CHARLES-QUINT DE L. DUSSIEUX, ALBERTE DE ZENAIDE FLEURIOT, LA CHASSE AUX CANARDS DE L'ONCLE JACQUES, LE CLEF DES SONGES DE A. DE CHAUVIGNE, POUR UN OISEAU DE MARIE JENNA.
Verlag: Au bureau du journal. 25 SEPT 1880, 1880
Pas de couverture. Zustand: bon. R110027377: 25 SEPT 1880. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 401 à 416. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
-
LA SEMAINE DES FAMILLES 20EME ANNEE N°29 - SOUS UN POMMIER DE L'ONCLE JACQUES, LEGENDES POPULAIRES DE XAVIER MARMIER, RAOUL DAUBRY XXIII DE ZENAIDE FLEURIOT, ENTRETIENS PRATIQUES DE PSSE DE W***, UNE CHEVAILIERE DE ZENAIDE FLEURIOT, LE DRAME DE LA FAIM
Verlag: Au bureau du journal. 19 OCT 1878, 1878
Pas de couverture. Zustand: bon. R110027341: 19 OCT 1878. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Paginé de 449 à 464. Lecture en colonnes. Illustrée de quelques gravures en noir et blanc. . . . Classification Dewey : 70.4413-Magasin pittoresque, universel et mosaïque.
