Jump to main content

yr 〜
yr

Search results 3

Logics in artificial intelligence : 12th European conference, JELIA 2010 : Helsinki, Finland, September 13-15, 2010 : proceedings. : journees europeennes sur la logique en intelligence artificielle : JELIA 2010 event : Sep 2010, Helsinki, Finland. (Lecture Notes in Computer Science ; 6341. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 12th European conference, JELIA 2010 : Helsinki, Finland, September 13-15, 2010 : proceedings. : journees europeennes sur la logique en intelligence artificielle : JELIA 2010 event : Sep 2010, Helsinki, Finland. (Lecture Notes in Computer Science ; 6341. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-1>
National Diet Library
  • Author Heading...anhunen, Tomi. Niemelä, Ilkka, 1961- University of Helsinki. Depar...

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)
Paper図書
Springerc2007.<M17-08-1232>
National Diet Library
  • Author Heading...eronica, 1950- Niemelä, Ilkka, 1961- University of Porto. Faculty ...

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004 : Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings. : LPNMR-7 : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 2923. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004 : Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings. : LPNMR-7 : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 2923. Lecture Notes in Artificial Intelligence)
Paper図書
Springer-Verlagc2004.<M17-04-2510>
National Diet Library
  • Author HeadingLifschitz, Vladimir. Niemelä, Ilkka, 1961- LPNMR 2004 (7th : 2004 : Fort...

Reached to the end of result.

RSS