Jump to main content

yr 〜
yr

Search results 7

Kompetenzkonflikte und Aufgabenverteilung zwischen nationalen und internationalen Gerichten : erste Bausteine einer Weltgerichtsordnung / von Carsten Lutz. (Rechtsfragen der Globalisierung ; Bd. 5)

Kompetenzkonflikte und Aufgabenverteilung zwischen nationalen und internationalen Gerichten : erste Bausteine einer Weltgerichtsordnung / von Carsten Lutz. (Rechtsfragen der Globalisierung ; Bd. 5)
Paper図書
Duncker & Humblotc2003.<A411-B115>
National Diet Library
  • Author HeadingLutz, Carsten.

An introduction to description logic hbk pbk

An introduction to description logic hbk pbk
Paper図書
Franz Baader, Ian Horrocks, Carsten Lutz, Uli SattlerCambridge University Press2017
Other Libraries in Japan
  • Author HeadingBaader, Franz Horrocks, Ian Lutz, Carsten Sattler, Uli

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-635>
National Diet Library
  • Author HeadingFroCoS (Symposium) (10th : 2015 : Wrocław, Poland) Lutz, Carsten, 1971- Ranise, Silvio.

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008, proceedings

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008, proceedings
Paper図書
Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingJELIA Hölldobler, Steffen Lutz, Carsten Wansing, Heinrich

KI 2014: advances in artificial intelligence : 37th annual German conference on AI : Stuttgart, Germany, September 22-26, 2014 : proceedings : Sep 2014, Stuttgart, Germany. (Lecture Notes in Computer Science ; 8736. Lecture Notes in Artificial Intelligence)

KI 2014: advances in artificial intelligence : 37th annual German conference on AI : Stuttgart, Germany, September 22-26, 2014 : proceedings : Sep 2014, Stuttgart, Germany. (Lecture Notes in Computer Science ; 8736. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1693>
National Diet Library
  • Author Heading...gart, Germany) Lutz, Carsten, 1971- Thielscher, Michael.

Kompetenzkonflikte und Aufgabenverteilung zwischen nationalen und internationalen Gerichten : erste Bausteine einer Weltgerichtsordnung

Kompetenzkonflikte und Aufgabenverteilung zwischen nationalen und internationalen Gerichten : erste Bausteine einer Weltgerichtsordnung
Paper図書
von Carsten LutzDuncker & Humblotc2003
Other Libraries in Japan
  • Author HeadingLutz, Carsten

Logics in artificial intelligence : 11th European conference, JELIA 2008 : Dresden, Germany, September 28-October 1, 2008 : proceedings. : journees europeennes sur la logique en intelligence artificielle : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5293. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 11th European conference, JELIA 2008 : Dresden, Germany, September 28-October 1, 2008 : proceedings. : journees europeennes sur la logique en intelligence artificielle : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5293. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-10-627>
National Diet Library
  • Author HeadingHölldobler, Steffen, 1957- Lutz, Carsten, 1971- Wansing, H. (Heinrich)...

Reached to the end of result.

RSS