Balder Ten Cate – författare

Visar alla böcker från författaren Balder Ten Cate. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Theory and Applications of Craig Interpolation

   Av Balder Ten Cate, Jean Christoph Jung m. fl.

   Inbunden, 2026

   774 kr

   Lägg i varukorg

2. 

   Generating Plans from Proofs

   Av Michael Benedikt, Julien Leblay m. fl.

   Häftad, 2016

   561 kr

   Lägg i varukorg

   Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem. …

3. 

   Generating Plans from Proofs

   Av Efthymia Tsamoura, Balder ten Cate m. fl.

   E-bok, 2022

   755 kr

   Lägg i varukorg

   Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem. …

4. 

   Web Reasoning and Rule Systems

   9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

   Av Balder ten Cate, Alessandra Mileo

   Häftad, 2015

   450 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 …

5. 

   Web Reasoning and Rule Systems

   9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

   Av Alessandra Mileo, Balder ten Cate

   E-bok, 2015

   588 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 …