Your search returned 6 results. Subscribe to this search

|
Frontiers of Combining Systems [electronic resource] : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.

by Lutz, Carsten [editor.] | Ranise, Silvio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

KI 2014: Advances in Artificial Intelligence [electronic resource] : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings / edited by Carsten Lutz, Michael Thielscher.

by Lutz, Carsten [editor.] | Thielscher, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Description Logic, Theory Combination, and All That [electronic resource] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter.

by Lutz, Carsten [editor.] | Sattler, Uli [editor.] | Tinelli, Cesare [editor.] | Turhan, Anni-Yasmin [editor.] | Wolter, Frank [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

KI 2014: Advances in Artificial Intelligence [electronic resource] : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings / edited by Carsten Lutz, Michael Thielscher.

by Lutz, Carsten [editor.] | Thielscher, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Frontiers of Combining Systems [electronic resource] : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.

by Lutz, Carsten [editor.] | Ranise, Silvio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Logics in Artificial Intelligence [electronic resource] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing.

by Hölldobler, Steffen [editor.] | Lutz, Carsten [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available