Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications

by Gabbay, Dov M.; Schmidt, Renate A.; Szalas, Andrzej

• ISBN13: 9781904987567
• ISBN10: 1904987567
• Format: Paperback

• Rental Textbook Copy In Stock Usually Ships in 24 Hours
• New Textbook Copy In Stock Usually Ships in 24 Hours

Anatomie Einer Elite - Top-Manager in Deutschland

by Pohlmann, Markus; Liebold, Renate; Bar, Stefan; et al.

• ISBN13: 9783531182377
• ISBN10: 3531182374
• Format: Paperback

Automated Reasoning With Analytic Tableaux and Related Methods

by Schmidt, Renate A.; Nalon, Cláudia

• ISBN13: 9783319669014
• ISBN10: 331966901X
• Format: Paperback

Automated Reasoning with Analytic Tableaux and Related Methods

by Renate A. Schmidt

• ISBN13: 9783319669021
• ISBN10: 3319669028
• Format: Nonspecific Binding

Relations and Kleene Algebra in Computer Science

by Schmidt, Renate A.

• ISBN13: 9783540378730
• ISBN10: 3540378731
• Format: Paperback

Automated Deduction - Cade-22

by Schmidt, Renate A.

• ISBN13: 9783642029585
• ISBN10: 3642029582
• Format: Paperback

Genetics and Genomics of the Brassicaceae

by Schmidt, Renate; Bancroft, Ian

• ISBN13: 9781441971173
• ISBN10: 1441971173
• Format: Hardcover

American Multiculturalism and Ethnic Survival

by Von Bardeleben, Renate; Matter-Seibel, Sabina; Schmidt, Klaus H.

• ISBN13: 9783631612187
• ISBN10: 3631612184
• Format: Hardcover

Genetics and Genomics of the Brassicaceae

by Schmidt, Renate; Bancroft, Ian

• ISBN13: 9781461427780
• ISBN10: 1461427789
• Format: Paperback

Frontiers of Combining Systems

by Fontaine, Pascal; Ringeissen, Christophe; Schmidt, Renate

• ISBN13: 9783642408847
• ISBN10: 3642408842
• Format: Paperback