Jump to main content

yr 〜
yr

Search results 6

Logic programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings

Logic programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings
Paper図書
Verónica Dahl, Ilkka Niemelä (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Dahl, Veronica Niemelä, Ilkka

Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Paper図書
Vladimir Lifschitz, Ilkka Niemelä (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingLPNMR Lifschitz, Vladimir Niemelä, Ilkka

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...

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...

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. F...

Risk measures in living probabilistic safety assessment (VTT ; VTT-PUB-146)

Risk measures in living probabilistic safety assessment (VTT ; VTT-PUB-146)
Paper図書
Holmberg, J., Johanson, G., Niemelae, I.Technical Research Centre of Finland1993.5.
Other Libraries in Japan

Reached to the end of result.

RSS