Jacques fleuriot (24 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,61
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,72
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 75,71
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 71,64
EUR 11,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. 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
Fleuriot, Jacques (Editor)/ Wang, Dongming (Editor)/ Calmet, Jacques (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,70
EUR 11,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 280 pages. 9.25x6.10x0.64 inches. In Stock.
Les Annales Novembre 1955 Nouvelle série n°61
Pierre Gaxotte, René Floriot, Fleuriot de Langle, Robert Kemp, Marcel Thiébaut, Jacques Nels
Verlag: Les Annales, 1955
Anbieter: LibrairieLaLettre2, Villefranche de Lauragais, FrankreichLibrairieLaLettre2
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 10,00
EUR 35,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Agrafé. Zustand: Bon état. in-8 Description :60 pp. Marges jaunies. Couverture insolée et frottée. Langue : Français Nb de volumes : 1.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,22
EUR 61,59 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 inv…ited 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.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,15 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 inv…ited 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.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,75
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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, 691…21 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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 d…ie EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,82
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,82
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 37,36
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 inv…ited 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.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 152,88
EUR 11,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 153 pages. 9.25x6.10x0.37 inches. In Stock.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,15
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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, juerg…en[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 112,77
EUR 61,27 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 A…nalysis, 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.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 112,77
EUR 62,06 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Verlag: Au bureau du journal. 13 NOV 1880, 1880
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
Verlag: Au bureau du journal. 27 DEC 1884, 1884
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 2 verfügbar
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.
Verlag: Au bureau du journal. 29 JAN 1881, 1881
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
Verlag: Au bureau du journal. 25 SEPT 1880, 1880
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
Verlag: Au bureau du journal. 26 JUIL 1879, 1879
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 2 verfügbar
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.
Verlag: Au bureau du journal. 19 OCT 1878, 1878
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
Verlag: Au bureau du journal. 8 JAN 1881, 1881
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
