Verwandte Artikel zu Artificial Intelligence and Symbolic Computation: Internatio...
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings: 1476 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2008
- ISBN 10 3540649603
- ISBN 13 9783540649601
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten328
- Kontakt zum HerstellerNicht verfügbar
Gebraucht kaufen
Zustand: Befriedigend328 Seiten; 9783540649601.4 Gewicht...
Diesen Artikel anzeigen
EUR 11,82
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Artificial Intelligence and Symbolic Computation: Internatio...
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture Notes in Computer Science, 1476, Band 1476)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Befriedigend. 328 Seiten; 9783540649601.4 Gewicht in Gramm: 500. Bestandsnummer des Verkäufers 885995
Anzahl: 1 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Verlag:
Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603
ISBN 13: 9783540649601
Gebraucht
Softcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 82224
Anzahl: 1 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4897001
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation
Verlag:
Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10: 3540649603
ISBN 13: 9783540649601
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch. Bestandsnummer des Verkäufers 9783540649601
Anzahl: 1 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540649601
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture Notes in Computer Science, 1476)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540649601_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation : International Conference, Aisc'98, Plattsburgh, New York, Usa, September 1998 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 917994-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation
Verlag:
Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10: 3540649603
ISBN 13: 9783540649601
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540649601
Anzahl: 2 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation : International Conference, Aisc'98, Plattsburgh, New York, Usa, September 1998 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 917994-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Artificial Intelligence and Symbolic Computation : International Conference, Aisc'98, Plattsburgh, New York, Usa, September 1998 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 917994
Anzahl: Mehr als 20 verfügbar