Hoppa till sidans huvudinnehåll

Christoph Weidenbach – författare

Visar alla böcker från författaren .
3 produkter
René Thiemann, Christoph Weidenbach - Frontiers of Combining Systems, Häftad
Del 15979 - Lecture Notes in Computer Science

Frontiers of Combining Systems

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

AvRené Thiemann,Christoph Weidenbach

Häftad, Engelska, 2025

579 kr

Skickas inom 5-8 vardagar

Stéphane Demri, Deepak Kapur, Christoph Weidenbach - Automated Reasoning, Häftad
Del 8562 - Lecture Notes in Computer Science

Automated Reasoning

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

AvStéphane Demri,Deepak Kapurm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Andrei Voronkov, Christoph Weidenbach - Programming Logics, Häftad

Programming Logics

Essays in Memory of Harald Ganzinger

AvAndrei Voronkov,Christoph Weidenbach

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar