Editore: Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
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.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: New.
Editore: Springer Berlin Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. 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.
Editore: Springer, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: As New. Unread book in perfect condition.
Editore: Springer Berlin Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: moluna, Greven, Germania
Condizione: 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.
Editore: Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. 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.
Editore: Springer 1998-09, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Da: Chiron Media, Wallingford, Regno Unito
PF. Condizione: New.