9783540420712 - artificial intelligence and symbolic computation: international conference aisc 2000 madrid, spain, july 17-19, 2000. revised papers: 1930 (lecture notes in computer science, 1930) (16 resultados)
- Tapa blanda
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AlemaniaAntiquariat Thomas Haker GmbH & Co. KG
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado - Excelente
EUR 5,00
Envío por EUR 15,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Softcover/Paperback. Condición: Sehr gut. X, 252 pages with ill.; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 499.
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in . / Lecture Notes in Artificial Intelligence)
Campbell, John A. [Editor]; Roanes-Lozano, Eugenio [Editor];
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 47,90
Envío por EUR 6,11Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Artificial Intellegience and Symbolic Computation : International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
International Conference Aisc 2000; Roanes-Lozano, Eugenio (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,20
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers. Book.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,24
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Artificial Intellegience and Symbolic Computation : International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
International Conference Aisc 2000; Roanes-Lozano, Eugenio (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,73
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,08
Envío por EUR 13,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,44
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
Artificial Intellegience and Symbolic Computation : International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
International Conference Aisc 2000; Roanes-Lozano, Eugenio (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,43
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Artificial Intellegience and Symbolic Computation : International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
International Conference Aisc 2000; Roanes-Lozano, Eugenio (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,26
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Artificial Intellegience and Symbolic Computation: International Conference Aisc 2000, Madrid, Spain, July 17-19, 2000, Revised Papers
International Conference AISC 2000 (2000 : Madrid, Spain)/ Roanes-Lozano, Eugenio (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,23
Envío por EUR 11,68Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1st edition. 252 pages. 9.00x6.00x0.75 inches. In Stock.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,06Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti cial Intelligence and Symbolic Computation (AISC 2000). The conference was held in Spain from 17 to 19 July 20…00 at the Hotel NH Zurbano, Madrid, and was organized by the Universidad Complutense de Madrid and the Sociedad Matem aticaPuigAdam. One of the reasons for centralizing all activities at one hotel was to avoid both losing time in transportation around Madrid and the distribution of the att- dees into disconnected subgroups in diverse locations. In this way a breakfa- to-late-night coexistence (which included some extra-academic events) was - sured, with time for formal and informal conversations. This continued the AISMC/AISC tradition of the creation of a friendly atmosphere, where ideas could be exchanged in a relaxed and e ective way. The conference belongs to a specialized conference series founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC). AISMC-1 took place in 1992 in Karlsruhe (Germany); AISMC-2 was held in 1994 at King s College (Cambridge, UK), and AISMC-3 in 1996 was located in Steyr (Austria). The proceedings of these conferences were published in Springer s LNCS series as volumes 737, 958, and 1138, respectively.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Artificial Intelligence and Symbolic Computation | International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers | John A. Campbell (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540420712 | Verantwortliche Person für die EU: Springer Na…ture Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti cial Intelligence and Symbolic Computation (AISC 2000). The conference was held in Spain from…17 to 19 July 2000 at the Hotel NH Zurbano, Madrid, and was organized by the Universidad Complutense de Madrid and the Sociedad Matem aticaPuigAdam. One of the reasons for centralizing all activities at one hotel was to avoid both losing time in transportation around Madrid and the distribution of the att- dees into disconnected subgroups in diverse locations. In this way a breakfa- to-late-night coexistence (which included some extra-academic events) was - sured, with time for formal and informal conversations. This continued the AISMC/AISC tradition of the creation of a friendly atmosphere, where ideas could be exchanged in a relaxed and e ective way. The conference belongs to a specialized conference series founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC). AISMC-1 took place in 1992 in Karlsruhe (Germany); AISMC-2 was held in 1994 at King s College (Cambridge, UK), and AISMC-3 in 1996 was located in Steyr (Austria). The proceedings of these conferences were published in Springer s LNCS series as volumes 737, 958, and 1138, respectively. 268 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Papers.- George Boole, a Forerunner of Symbolic Computation.- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management.- OMDoc: Towards an Internet Standard for the Adminis…tration, Distribution, and Teaching of M.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- George Boole, a Forerunner of Symbolic Computation.- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management.- OMDoc: Towards an Internet Standard for the Administration, Distributi…on, and Teaching of Mathematical Knowledge.- Contributed Papers and Poster Summaries.- On Communicating Proofs in Interactive Mathematical Documents.- Composite Distributive Lattices as Annotation Domains for Mediators.- A Proof Strategy Based on a Dual Representation.- Formalizing Rewriting in the ACL2 Theorem Prover.- Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices.- Reasoning about the Elementary Functions of Complex Analysis.- Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.- Basic Operators for Solving Constraints via Collaboration of Solvers.- Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem.- Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra.- A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects.- A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design.- How Symbolic Computation Can Benefit Computer-Aided Geometric Design.- CDR: A Rewriting Based Tool to Design FPLA Circuits.- Locally Effective Objects and Artificial Intelligence.- Negotiation Algorithms for Multi-agent Interactions.- Some Techniques of Isomorph-Free Search.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch.
