Idioma: Inglés
Publicado por Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
EUR 13,00
Cantidad disponible: 1 disponibles
Añadir al carrito1998. 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.
Idioma: Inglés
Publicado por Springer Berlin / Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
EUR 59,05
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 1998th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 56,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 59,06
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings. Book.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 61,48
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 58,68
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,05
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Artificial Intelligence and Symbolic Computation | International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings | Jacques Calmet (u. a.) | Taschenbuch | xii | Englisch | 1998 | Springer | EAN 9783540649601 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Sep 1998, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 328 pp. Englisch.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 incl.
Idioma: Inglés
Publicado por Springer, Springer Sep 1998, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.