Schmidt renate a (40 Ergebnisse)

8° , Broschiert. Zustand: Gut. 128 Seiten, Einband mit kleineren Gebrauchsspuren, Kopfschnitt etwas stockfleckig, Zustand gut Sprache: Deutsch Gewicht in Gramm: 340.

Zustand: As New. Unread book in perfect condition.

Broschiert. Zustand: 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 Der Versand ins Ausland ist gegen Zahlung der Portokosten möglich. Bitte nehmen Sie Kontakt mit uns auf. Sprache: Englisch Gewicht in Gramm: 520.…

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: 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.…

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Zustand: New. In English.

Zustand: New.

Zustand: New.

Zustand: NEW.

Taschenbuch. Zustand: Neu. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2024 | Springer | EAN 9783031634970 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 357 pages. 9.25x6.10x0.87 inches. In Stock.

Zustand: New.

paperback. Zustand: Sehr gut. 196 Seiten; Sehr gut erhalten RH 138293 Sprache: Deutsch Gewicht in Gramm: 500.

Taschenbuch. Zustand: Neu. Reasoning Web. Semantic Technologies for Information Systems | 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures | Sergio Tessaris (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642037535 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Frontiers of Combining Systems | 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings | Pascal Fontaine (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642408847 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Broschiert Broschiert. Zustand: Sehr gut. XIV, 501 Seiten, Lecture Notes in Artificial Intelligence, Band 5663. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 778. …

Zustand: Gut. Zustand: Gut | Seiten: 500 | Sprache: Englisch | Produktart: Bücher | 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.…

Zustand: New. 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, 202.

Paperback. Zustand: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Infotext (nur auf Basis des Vorgängers): 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.…

Taschenbuch. Zustand: Neu. Automated Reasoning with Analytic Tableaux and Related Methods | 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings | Renate A. Schmidt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2017 | Springer | EAN 9783319669014 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2024 | Springer | EAN 9783031635007 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 440 | Sprache: Englisch | Produktart: Bücher | Infotext (nur auf Basis des Vorgängers): 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.…

Zustand: gut. 2009. Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Artificial Intelligence, Band 5663) In deutscher Sprache. pages.

Pp. Zustand: Sehr gut. 210 S. : überw. Ill. ; 31 cm, 1400 Gramm Rücken etw. leseschief, Ecken min. bestoßen; gutes Expl. Sprache: Deutsch Gewicht in Gramm: 1100.

Pp. Zustand: Sehr gut. 210 S. : überw. Ill. ; 31 cm, 1400 Gramm sehr gutes Expl. Sprache: Deutsch Gewicht in Gramm: 1100.