9783540232124 - artificial intelligence and symbolic computation: 7th international conference, aisc 2004 linz, austria, september 22–24, 2004 proceedings (lecture notes in computer science, 3249, band 3249) von buchberger, bruno (17 Ergebnisse)
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 6,83
EUR 6,02 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
Artificial Intelligence And Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings
Buchberger, Bruno; Campbell, John A. (EDT); Aisc 200 (2004 Linz, Austria)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,58
EUR 2,27 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,93
Versand gratisVersand innerhalb von USAAnzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Artificial Intelligence and Symbolic Computation: 7th International Conference, Aisc 2004 Linz, Austria, September 22-24, 2004 Proceedings. Book.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 60,29
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,01
EUR 13,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,36
EUR 18,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
Artificial Intelligence And Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings
Buchberger, Bruno; Campbell, John A. (EDT); Aisc 200 (2004 Linz, Austria)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,35
EUR 17,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 78,71
EUR 3,43 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 308.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 62,29 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London w…ith the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.
Artificial Intelligence And Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings
Buchberger, Bruno; Campbell, John A. (EDT); Aisc 200 (2004 Linz, Austria)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 128,51
EUR 17,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 118,91
EUR 29,15 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Artificial Intelligence And Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings
Buchberger, Bruno; Campbell, John A. (EDT); Aisc 200 (2004 Linz, Austria)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 150,07
EUR 2,27 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University…College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. 300 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 78,03
EUR 7,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 308 Illus.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 80,34
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 308.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Presentations.- The Algorithmization of Physics: Math Between Science and Engineering.- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.- Proof Search in Minimal… Logic.- Planning and Patching Proof.- Papers.- A Paraconsisten.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Presentations.- The Algorithmization of Physics: Math Between Science and Engineering.- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.- Proof Search in Minimal Logic.- Planning and Patching Proof.- Paper…s.- A Paraconsistent Higher Order Logic.- Abstraction Within Partial Deduction for Linear Logic.- A Decision Procedure for Equality Logic with Uninterpreted Functions.- Generic Hermitian Quantifier Elimination.- Extending Finite Model Searching with Congruence Closure Computation.- On the Combination of Congruence Closure and Completion.- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.- Proving and Constraint Solving in Computational Origami.- An Evolutionary Local Search Method for Incremental Satisfiability.- Solving Equations Involving Sequence Variables and Sequence Functions.- Verified Computer Algebra in Acl2.- Polynomial Interpretations with Negative Coefficients.- New Developments in Symmetry Breaking in Search Using Computational Group Theory.- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks.- Four Approaches to Automated Reasoning with Differential Algebraic Structures.- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.- An Expert System on Detection, Evaluation and Treatment of Hypertension.- Short Presentations.- Two Revision Methods Based on Constraints: Application to a Flooding Problem.- Abstraction-Driven Verification of Array Programs.- Singularities in Qualitative Reasoning.- From a Computer Algebra Library to a System with an Equational Prover.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 300 pp. Englisch.
