Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Libro
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Cham, Springer., 2017
ISBN 10: 3319436643ISBN 13: 9783319436647
Libro
1st ed. 2017. XV, 500 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Cognitive Technologies. Sprache: Englisch.
Editore: Springer, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Libro
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: New. Book is in NEW condition.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Editore: Springer, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: Books Puddle, New York, NY, U.S.A.
Libro
Condizione: New. pp. 259.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: Book Deals, Tucson, AZ, U.S.A.
Libro
Condizione: New. New! This book is in the same immaculate condition as when it was published.
Editore: Springer, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: GF Books, Inc., Hawthorne, CA, U.S.A.
Libro
Condizione: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
Editore: Springer, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer 1992-04, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -KI2004wasthe27theditionoftheannualGermanConferenceonArti cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were nally selected for presentation at the conference. The papers cover quite a broad spectrum of classical subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg Siekmann(DFKI andUniversityofSaarland,Saarbruc ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ken). Their invited papers are also presented in this volume. 484 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 1992, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die als formale Programmspezifikationenaufgefa~t werden, rekursive Programme erzeugt. Kann einsolches Programm korrekt erstellt werden, so beschreibt derSyntheseproze~ gleichzeitig einen Induktionsbeweis derentsprechenden Existenzaussage.Auf der Basis dieses Verfahrens wurde ein automatischesProgrammsynthesesystem entwickelt und implementiert. Esverwendet spezielle Transformationsregeln sowie Strategienund Heuristiken, die die Beweissuche steuern. Sie werdenanhand vieler Beispiele ausf}hrlich diskutiert.Obwohl die hier beschriebene Methode in erster Linie zurAutomatisierung von Existenzbeweisen entwickelt worden ist,und der Aspekt der automatischen Softwareentwicklung eher imHintergrund steht, motivieren zahlreiche Beispiele dazu, dasVerfahren auch f}r diesen Zweck einzusetzen. 272 pp. Deutsch.
Editore: Springer, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: Majestic Books, Hounslow, Regno Unito
Libro Print on Demand
Condizione: New. Print on Demand pp. 259.
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die als formale Programmspezifikationenaufgefa~t werden, rekursive Programme erzeugt. Kann einsolches Programm korrekt erstellt werden, so beschreibt derSyntheseproze~ gleichzeitig einen Induktionsbeweis derentsprechenden Existenzaussage.Auf der Basis dieses Verfahrens wurde ein automatischesProgrammsynthesesystem entwickelt und implementiert. Esverwendet spezielle Transformationsregeln sowie Strategienund Heuristiken, die die Beweissuche steuern. Sie werdenanhand vieler Beispiele ausf}hrlich diskutiert.Obwohl die hier beschriebene Methode in erster Linie zurAutomatisierung von Existenzbeweisen entwickelt worden ist,und der Aspekt der automatischen Softwareentwicklung eher imHintergrund steht, motivieren zahlreiche Beispiele dazu, dasVerfahren auch f}r diesen Zweck einzusetzen.
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - KI2004wasthe27theditionoftheannualGermanConferenceonArti cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were nally selected for presentation at the conference. The papers cover quite a broad spectrum of classical subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg Siekmann(DFKI andUniversityofSaarland,Saarbruc ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ken). Their invited papers are also presented in this volume.
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as international meetings. Previous conferences took place in St. Au- stin (Germany) in 1991, Vadstena (Sweden) in 1993, Assisi (Italy) in 1995, and Toulouse (France) in 1997. ECP-99 was held in Durham, United Kingdom. The conference received s- missions from all over Europe, from the US, Canada, South America, and New Zealand. This volume contains the 27 papers that were presented at the conference. They cover a variety of aspects in current AI Planning and Scheduling. Several p- minent planning paradigms are represented, including planning as satis ability andothermodelcheckingstrategies,planningasheuristicstate-spacesearch,and Graphplan-Based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced. Inadditiontotheconferencepapers,threeinvitedtalkswerepresentedbydist- guished researchers of the eld: Fausto Giunchiglia (IRST Trento, Italy) gave an introduction to Planning as Model Checking. The corresponding paper by F- sto Giunchiglia and Paolo Traverso is included in this volume. Claude Le Pape (BouyguesTelecom,France)presentedConstraint-BasedScheduling:Theoryand Applications, and Nicola Muscettola (NASA Ames, USA) talked aboutPlanning at 96 Million Kilometers from Earth. ECP-99 received support fromPLANET,the European Network of Excellence in AI Planning, the University of Durham, United Kingdom, and the University of Ulm, Germany.
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540231668ISBN 13: 9783540231660
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Automated Reasoning Tools for Molecular Biology.- ?mega: Computer Supported Mathematics.- An Overview of Planning Technology in Robotics.- SmartWeb: Mobile Applications of the Semantic Web.- Machine Learning for Autonomous Robots.- Natural L.
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: moluna, Greven, Germania
Libro Print on Demand
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Planning as Model Checking.- Conformant Planning via Model Checking.- Strong Cyclic Planning Revisited.- Scaleability in Planning.- Exploiting Competitive Planner Performance.- A Parallel Algorithm for POMDP Solution.- Plan Merging & Plan Reuse as Satisfiab.
Editore: Springer, 1992
ISBN 10: 3540553002ISBN 13: 9783540553007
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 1st edition. 267 pages. German language. 9.53x6.69x0.61 inches. In Stock.
Editore: Springer Berlin Heidelberg Jul 2000, 2000
ISBN 10: 3540678662ISBN 13: 9783540678663
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as international meetings. Previous conferences took place in St. Au- stin (Germany) in 1991, Vadstena (Sweden) in 1993, Assisi (Italy) in 1995, and Toulouse (France) in 1997. ECP-99 was held in Durham, United Kingdom. The conference received s- missions from all over Europe, from the US, Canada, South America, and New Zealand. This volume contains the 27 papers that were presented at the conference. They cover a variety of aspects in current AI Planning and Scheduling. Several p- minent planning paradigms are represented, including planning as satis ability andothermodelcheckingstrategies,planningasheuristicstate-spacesearch,and Graphplan-Based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced. Inadditiontotheconferencepapers,threeinvitedtalkswerepresentedbydist- guished researchers of the eld: Fausto Giunchiglia (IRST Trento, Italy) gave an introduction to Planning as Model Checking. The corresponding paper by F- sto Giunchiglia and Paolo Traverso is included in this volume. Claude Le Pape (BouyguesTelecom,France)presentedConstraint-BasedScheduling:Theorya nd Applications, and Nicola Muscettola (NASA Ames, USA) talked aboutPlanning at 96 Million Kilometers from Earth. ECP-99 received support fromPLANET,the European Network of Excellence in AI Planning, the University of Durham, United Kingdom, and the University of Ulm, Germany. 388 pp. Englisch.
Editore: Springer, 2017
ISBN 10: 3319436643ISBN 13: 9783319436647
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Hardcover. Condizione: new.