Order Total (1 Item Items):
Shipping Destination:
Symbolic Computation Automated Reasoning (26 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (26)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (17)
- As New, Fine or Near Fine (5)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (14)
- Not Print on Demand (21)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Language: English
Published by Springer-Verlag Telos, 1995
ISBN 10: 0387826009 ISBN 13: 9780387826004
Paperback. Condition: Good. Satisfaction 100% guaranteed.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Language: English
Published by Springer Verlag, New York., 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Hardcover. Condition: Very Good. No Jacket. Hardcover, 2002 edition. Library bound Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. LNAI 2385 [341 pages].
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: As New. Unread book in perfect condition.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Language: German
Published by Springer Verlag, Berlin Heidelberg New York, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Softcover. Condition: Gut. Dust Jacket Condition: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Nein.
-
US$ 65.86
US$ 20.72 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.28
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.79
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Language: English
Published by A K Peters/CRC Press, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Condition: As New. Unread book in perfect condition.
-
US$ 101.96
US$ 33.44 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus.
-
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Language: English
Published by A K Peters/CRC Press, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Condition: New.
-
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Language: English
Published by A K Peters/CRC Press, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 131.26
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Symbolic Computation and Automated Reasoning
Language: English
Published by A.K. Peters, Limited, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Condition: New. pp. xi + 270.
-
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Language: English
Published by A K Peters/CRC Press, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 146.26
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: New.
-
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
Language: English
Published by Taylor & Francis Inc, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 148.32
US$ 22.35 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Symbolic Computation and Automated Reasoning
Language: English
Published by A.K. Peters, Limited, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
Condition: New. pp. xi + 270.
-
US$ 136.79
US$ 57.38 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. Condition: New. Manfred Kerber, Michael KohlhaseWhile mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduct.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Language: English
Published by Springer Berlin Heidelberg Jun 2002, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus. 364 pp. Englisch.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Language: English
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasInvited Talks.- Constraint Acquisition.- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees.- Deduction versus Computation: The Case of Induction.- Integration of Qu.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2002, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1¿5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l¿Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title ¿Arti cial Intelligence and Symbolic Mathematical Computation¿ (AISMC) and later denoted ¿Art- cial Intelligence and Symbolic Computation¿ (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC¿98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus. 364 pp. Englisch.
-
Taschenbuch. Condition: Neu. Artificial Intelligence, Automated Reasoning, and Symbolic Computation | Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings | Jacques Calmet (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540438656 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
-
Symbolic Computation and Automated Reasoning
Language: English
Published by A.K. Peters, Limited, 2001
ISBN 10: 1568811454 ISBN 13: 9781568811451
US$ 133.60
US$ 8.70 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New. pp. xi + 270 Illus. This item is printed on demand.
