Order Total (1 Item Items):
Shipping Destination:
Robert Nieuwenhuis (56 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (56)
- 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 (45)
- As New, Fine or Near Fine (5)
- Very Good or Good (6)
- 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 (20)
- Not Print on Demand (44)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Automated Deduction â" CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
Published by Springer (edition 2005), 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Language: English
£ 35.87
Convert currency£ 3.34 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. 2005. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings (Lecture Notes in Artificial Intelligence, Band 3632).
Published by Berlin, Heidelberg: Springer-Verlag, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Language: English
£ 25.10
Convert currency£ 17.36 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBroschiert. Condition: Gut. Lecture Notes in Artificial Intelligence, Band 3632. Zust: Gutes Exemplar. Cover und Buchrücken mit Gebrauchsspuren. Mit Vorbesitzereintrag. XIII, 457 Seiten, Englisch 700g.
-
PF. Condition: New.
-
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Rewriting Techniques and Applications : 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 49.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2706)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Rewriting Techniques and Applications : 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 55.34
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 21.95
Convert currency£ 11.27 shipping from Netherlands to United KingdomQuantity: 1 available
Add to basketCondition: Very good. Baeken, Serge; Van Der Steen, Wilbert; Van Gasse, Lies; Van Raffe, Robert; Peeters, Sam; De Saeger, Maarten; Frantzen, Delphine; Steeman, Ruben (illustrator).
-
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540402543 ISBN 13: 9783540402541
Language: English
£ 47.94
Convert currency£ 12.17 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
-
Automated Deduction ¿ CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Language: English
£ 47.94
Convert currency£ 12.17 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22 27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri cation(CFV 05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation. Applications of interest include hardwareand softwaredevelopment,systems analysisandveri cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.
-
£ 46.92
Convert currency£ 14.87 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
£ 46.99
Convert currency£ 14.87 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 5.36
Convert currency£ 55.78 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
£ 42.50
Convert currency£ 23.06 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: new.
-
£ 53.45
Convert currency£ 14.87 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 15.31
Convert currency£ 55.78 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
£ 68.27
Convert currency£ 6.69 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 478.
-
Paperback. Condition: Brand New. 1st edition. 472 pages. 9.25x6.25x1.00 inches. In Stock.
-
Rewriting Techniques and Applications
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540402543 ISBN 13: 9783540402541
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.94
Convert currency£ 30.46 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed. 532 pp. Englisch.
-
Automated Deduction - CADE-20
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2005, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.94
Convert currency£ 30.46 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.
-
Automated Deduction CADE-20 (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2005
ISBN 10: 3540280057 ISBN 13: 9783540280057
Language: English
£ 48.95
Convert currency£ 37.19 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV'05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC). CADE is the major forum for the presentation of research in all aspects of automated deduction. The ?rst CADE conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. Logics of interest include propositional, ?rst-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substr- tural, description, and meta-logics, logical frameworks, type theory and set t- ory. Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, uni?cation, constraint solving, decision procedures, model generation,model checking,natural deduction, proofplanning, proof p- sentation, proof checking, and explanation.Applications of interest include hardwareand softwaredevelopment,systems analysisandveri?cation,deductivedatabases,functionalandlogicprogramming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. This year, there were 78 submissions, of which 9 system descriptions. Each submissionwasassignedto atleastfour programcommitteemembers,whoca- fully reviewed the papers, in many cases with the help of one or more of a total number of 115 external referees. For each submission at least four reviews were produced and forwarded to the authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions. Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Rewriting Techniques and Applications (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2003
ISBN 10: 3540402543 ISBN 13: 9783540402541
Language: English
£ 55.15
Convert currency£ 37.19 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed. A refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, that was held in Valencia, Spain in June 2003. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
£ 36.62
Convert currency£ 55.78 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science, 2250)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 94.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 75.63
Convert currency£ 23.06 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: new.
-
Paperback. Condition: Like New. Like New. book.
-
£ 45.97
Convert currency£ 55.78 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 45.97
Convert currency£ 55.78 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
