Lingua: Inglese
Editore: Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
EUR 13,00
Quantità: 1 disponibili
Aggiungi al carrello1998. 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.
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Better World Books, Mishawaka, IN, U.S.A.
Condizione: 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.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 56,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Paperback or Softback. Condizione: New. Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings. Book.
Da: California Books, Miami, FL, U.S.A.
EUR 61,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 59,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,12
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,46
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Sep 1998, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer, Springer Sep 1998, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.