Christoph Weidenbach – författare

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

3 produkter

1. 

   Frontiers of Combining Systems

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

   Av René Thiemann, Christoph Weidenbach

   Häftad, 2025

   579 kr

   Lägg i varukorg

2. 

   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, 2014

   729 kr

   Lägg i varukorg

3. 

   Programming Logics

   Essays in Memory of Harald Ganzinger

   Av Andrei Voronkov, Christoph Weidenbach

   Häftad, 2013

   729 kr

   Lägg i varukorg