Order Total (1 Item Items):
Shipping Destination:
Schmidt Renate a (89 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (89)
- 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 (69)
- As New, Fine or Near Fine (11)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (4)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (48)
- Not Print on Demand (69)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Language: English
Published by College Publications, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Condition: As New. Unread book in perfect condition.
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Language: English
Published by College Publications, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Condition: New.
-
Second-order Quantifier Elimination
Language: English
Published by College Publications, GB, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 32.37
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
RUGIA Journal Jahrgang 1996.
Language: German
Published by Bergen / Rügen, Selbstverlag,
Seller: ABC Antiquariat, Einzelunternehmen, Stralsund, MV, Germany
Seller rating 5 out of 5 stars
8° , Broschiert. Condition: Gut. 128 Seiten, Einband mit kleineren Gebrauchsspuren, Kopfschnitt etwas stockfleckig, Zustand gut Sprache: Deutsch Gewicht in Gramm: 340.
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Language: English
Published by College Publications, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 28.45
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Studies in Logic Mathematical Logic and Foundations. Volume 12.
Language: English
Published by College Publications, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
First Edition
Broschiert. Condition: Gut. 1. Auflage,. 308 Seiten, Buch gut erhalten, Einband berieben. Ehemaliges Bibliotheksexemplar mit üblichen Stempelungen, Aufklebern und/oder Einträgen sowie foliertem Einband. Aufkleberreste auf der unteren Hälfte des Buches. Auf Titelei Namenseintrag. ISBN: 9781904987567 Sprache: Englisch Gewicht in Gramm: 520.
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Language: English
Published by College Publications, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 32.28
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Condition: New. 2024th edition NO-PA16APR2015-KAP.
-
Automated Reasoning
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
-
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006: Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.85
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: As New. Unread book in perfect condition.
-
Automated Reasoning
Language: English
Published by Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 2024 ed.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, ... (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 83.30
US$ 15.87 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 78.36
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: New.
-
Automated Reasoning (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Paperback. Condition: new. Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
paperback. Condition: Sehr gut. 196 Seiten; Zustand geprÃft. Sehr gut erhalten RH 138293 Sprache: Deutsch Gewicht in Gramm: 500.
-
US$ 79.66
US$ 20.52 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 85.93
US$ 15.87 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Reasoning
Language: English
Published by Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Paperback. Condition: New. 2024 ed.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 88.03
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Automated Reasoning With Analytic Tablea
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Automated Deduction - CADE-22
Language: English
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642029582 ISBN 13: 9783642029585
Condition: New.
-
Second-order Quantifier Elimination
Language: English
Published by College Publications, GB, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
US$ 29.97
US$ 86.13 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
-
US$ 70.84
US$ 54.33 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: NEW.
-
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part I
Language: English
Published by Springer Nature Switzerland, 2024
ISBN 10: 3031634977 ISBN 13: 9783031634970
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 331966901X ISBN 13: 9783319669014
Condition: New.
