Christoph Weidenbach - Böcker

Visar alla böcker från författaren Christoph Weidenbach.

3 produkter

Kategorier

3 produkter

Frontiers of Combining Systems

15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

Av René Thiemann, Christoph Weidenbach m. fl

Häftad, Engelska, 2025

639 kr

Skickas inom 10-15 vardagar

Automated Reasoning

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Av Stéphane Demri, Deepak Kapur m. fl

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Programming Logics

Essays in Memory of Harald Ganzinger

Av Andrei Voronkov, Christoph Weidenbach

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar