Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Très bon. Pages cornées. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Dog-eared pages. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 116,60
Gebraucht ab EUR 16,19
Mehr entdecken Softcover
Verlag: Springer-Verlag, Berlin, 1993
ISBN 10: 0387573224 ISBN 13: 9780387573229
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 737; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Verlag: BOUTS MONDE, 2015
ISBN 10: 2919497197 ISBN 13: 9782919497195
Anbieter: medimops, Berlin, Deutschland
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Verlag: Kit Scientific Publishing, 2006
ISBN 10: 3866440359 ISBN 13: 9783866440357
Anbieter: Herr Klaus Dieter Boettcher, Karlsruhe, BW, Deutschland
Broschiert. Zustand: Sehr gut. 369 Seiten Auflage 2006.Broschiert, fast wie neu. Sprache: Deutsch Gewicht in Gramm: 523.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 24,90
Verlag: Springer Verlag, Berlin Heidelberg New York, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Anbieter: Antiquariat WIE, Lollar, Deutschland
Softcover. Zustand: Gut. Zustand des Schutzumschlags: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Nein.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 26,99
Mehr entdecken Softcover
Verlag: Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
1998. 316 S. sehr guter Zustand --- This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. 9783540649601 Sprache: Deutsch Gewicht in Gramm: 550.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 27,95
Mehr entdecken Softcover
Verlag: Springer, Berlin et.al., 1993
ISBN 10: 3540573224 ISBN 13: 9783540573227
Anbieter: Antiquariat Puderbach, Dresden, Deutschland
Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 34,00
Mehr entdecken Softcover
Verlag: J.P. Migne, 1839
Anbieter: Librairie du Cardinal, GRADIGNAN, Frankreich
rigide. Ex. commentariis omnium perfectissimis ubique habitis, et a magna parte episcoporum necnon theologorum europe catholicae, universim ad hoc interrogatorum, designatis, unicè conflatus, plurimis annotantibus presbyteris ad docendo levitas pascendove populos altè positis. Annotavit vero simul et edidit J.P. Migne, 1 vol. in-4 reliure demi-basane bordeaux, Apud Editores, 1839, 130 pp. Contient : Tome 8 : Masius : In Josuam commentarium (quindecim ultima capita); Calmet : Dissertationes in Josuam - De mandato Josuae, quo solem et lunam remoratus est - De pluvia lapidum in Chananaeos - De regione in quam Chananaei pulsi a Josua sese receperunt - In terram promisam geographicae animadversiones ; Biblia dicta de Vence : Instructiones et mysteria quae in Josua continentur ; Bonfrerius : In librum Judicum commentarium ; Calmet : In librum Judicum dissertatio ; Calmet et Rondetus : Devoto Jephte dissertatio ; Rondetus : De genealogia Davidis dissertatio ; Biblia dicta de Vence : Instructiones et mysteria quae in libro Iudicum continentur ; Bonfrerius : In librum Ruth commentarium ; Biblia dicta de Vence : Instructiones et mysteria quae in libro Ruth continentur ; D. Hieronymus : In Josuam et Judices Tome 8 seul. Agréable exemplaire de bibliothèque (anciens cachets d'institution religieuse et étiquette de cote en garde, bon exemplaire par ailleurs). Langue: Latin.
Verlag: J.P. Migne, 1841
Anbieter: Librairie du Cardinal, GRADIGNAN, Frankreich
rigide. Ex. commentariis omnium perfectissimis ubique habitis, et a magna parte episcoporum necnon theologorum europe catholicae, universim ad hoc interrogatorum, designatis, unicè conflatus, plurimis annotantibus presbyteris ad docendo levitas pascendove populos altè positis. Annotavit vero simul et edidit J.P. Migne, 1 vol. in-4 reliure demi-basane bordeaux, Apud Editores, 1840, 1507 pp. Contient : Tome 12 : Vatablus : In primum librum Esdrae Commentarium ; In librum Nehemiae, qui et Esdrae secundus dicitur, commentarium ; Calmet : In primum et secundum esdrae libros prolegomenon - Dissertationes in tertium et quartum Esdrae libros - De restauratione librorum sacrorum - de veterum hebraicorum characterum mutatione ; Natalis Alexander : Dissertatio de auctore Cabbalae ; Tirinus : In Tobiam commentarium ; Calmet : In Tobiam prolegomenon - dissertatio in daemonem Asmodaeum ; Serarius : Variae quaestiunculae in tobia passim occurantes ; In Judith commentarium ; Calmet - Duclot - Sacy - Cornelius a Lapide - Natalis Alexander - Serarius - Sanctius - Tirinus - Menochius - Estius -Wolphius - Junius - Drusius - Bochartus - Grotius - Piscator - Malvenda - Osiander - Bonartius : Synopsis criticorum - Houbigant - Glaire : Annotationes Tome 12 seul. Agréable exemplaire de bibliothèque (anciens cachets d'institution religieuse et étiquette de cote en garde, bon exemplaire par ailleurs). Langue: Latin.
Verlag: J.P. Migne, 1841
Anbieter: Librairie du Cardinal, GRADIGNAN, Frankreich
rigide. Ex. commentariis omnium perfectissimis ubique habitis, et a magna parte episcoporum necnon theologorum europe catholicae, universim ad hoc interrogatorum, designatis, unicè conflatus, plurimis annotantibus presbyteris ad docendo levitas pascendove populos altè positis. Annotavit vero simul et edidit J.P. Migne, 1 vol. in-4 reliure demi-basane bordeaux, Apud Editores, 1841, 1028 pp. Contient : Tome 19 : In Jeremiam , in Baruch et in Ezechielem commentarium. Vatablus : In Jeremiam commentarium ; Joannes et Richardus Pearson : Critici sacri, sive Badvelli, Castellionis, Clarii, et Grotii commentaria in Baruch ; Maldonatus : In Ezechielem commentarium ; Hieronymus - Cornelius a Lapide - Bible de Vence, Praefationes, instructiones, epinicia et doxologiae ; Duclot - Rosenmüller - Calmet - Sacy - Synopsis - Anglicanae annotationes - cornelius a Lapide - Lyranus - Sanctius - Tirinus - Munsterus - Menochius - Mariana - Estius - Clarius - Maldonatus - Drusius - Castelio - Calovius - Piscator - Calvinus - Grotius : Variae annotationes Tome 19 seul. Agréable exemplaire de bibliothèque (anciens cachets d'institution religieuse et étiquette de cote en garde, bon exemplaire par ailleurs). Langue: Latin.
Verlag: Springer, Berlin/Heidelberg/New York, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Zustand: Gut. XIII, 268 S., graph. Darst. Einband mit leichten Druckstellen. Kl. handschriftlicher Namenseintrag a. d. Vorsatz. Untere rechte Ecke leicht bestoßen, sonst tadellos erhalten. Lecture notes in computer science ; Vol. 4120 : Lecture notes in artificial intelligence. From the contents; Vorwort. Invited Presentations; Algebra and Geometry - Ineraction Between "Equations" and "Shapes"; Contributed Papers Artificial Intelligence and Theorem Proving; Symbolic Computation; Constraint Satisfaction/Solving; Mathematical Knowledge Management. Innen tadellos erhalten. deu B12-01-05B|GH52|8465DB Sprache: Deutsch Gewicht in Gramm: 444 24 cm. Original Broschur. Untere Ecke etwas bestoßen.
Verlag: Springer-Verlag GmbH, 2008
ISBN 10: 3540899936 ISBN 13: 9783540899938
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, 1. Auflage | Seiten: 191 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 113,78
Gebraucht ab EUR 73,94
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1995
ISBN 10: 3540601562 ISBN 13: 9783540601562
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: verschmutzt. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 292 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 86,48
Gebraucht ab EUR 82,96
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2014
ISBN 10: 3319137697 ISBN 13: 9783319137698
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540616977 ISBN 13: 9783540616979
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.
Verlag: Springer International Publishing, 2018
ISBN 10: 3319999567 ISBN 13: 9783319999562
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.