Jump to main content

yr 〜
yr

Search results 73

Modeling decisions for artificial intelligence : 16th international conference, MDAI 2019 : Milan, Italy, September 4-6, 2019 : proceedings : Sep 2019, Milan, Italy. (Lecture Notes in Computer Science ; 11676. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 16th international conference, MDAI 2019 : Milan, Italy, September 4-6, 2019 : proceedings : Sep 2019, Milan, Italy. (Lecture Notes in Computer Science ; 11676. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2019]<M17-21-312>
National Diet Library

Modeling decisions for artificial intelligence : 14th international conference, MDAI 2017 : Kitakyushu, Japan, October 18-20, 2017 : proceedings : Oct 2017, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 10571. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 14th international conference, MDAI 2017 : Kitakyushu, Japan, October 18-20, 2017 : proceedings : Oct 2017, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 10571. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2017]<M17-20-404>
National Diet Library

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : international conference, CICM 2014 : Coimbra, Portugal, July 7-11, 2014 : proceedings : conferences on intelligent computer mathematics (CICM) event : CICM 2014 meeting : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 8543. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-762>
National Diet Library

Modeling decisions for artificial intelligence : 17th international conference, MDAI 2020 : Sant Cugat, Spain, September 2-4, 2020 : proceedings : ------. (Lecture Notes in Computer Science ; 12256. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 17th international conference, MDAI 2020 : Sant Cugat, Spain, September 2-4, 2020 : proceedings : ------. (Lecture Notes in Computer Science ; 12256. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2020]<M17-22-620>
National Diet Library

Modeling decisions for artificial intelligence : 12th international conference, MDAI 2015 : Skövde, Sweden, September 21-23, 2015 : proceedings : Sep 2015, Skövde, Sweden. (Lecture Notes in Computer Science ; 9321. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 12th international conference, MDAI 2015 : Skövde, Sweden, September 21-23, 2015 : proceedings : Sep 2015, Skövde, Sweden. (Lecture Notes in Computer Science ; 9321. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-634>
National Diet Library

Modeling decisions for artificial intelligence : 9th international conference, MDAI 2012 : Girona, Catalonia, Spain, November 21-23, 2012 : proceedings : Nov 2012, Girona, Spain. (Lecture Notes in Computer Science ; 7647. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 9th international conference, MDAI 2012 : Girona, Catalonia, Spain, November 21-23, 2012 : proceedings : Nov 2012, Girona, Spain. (Lecture Notes in Computer Science ; 7647. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-1509>
National Diet Library

Modeling decisions for artificial intelligence : 11th international conference, MDAI 2014 : Tokyo, Japan, October 29-31, 2014 : proceedings : Oct 2014, Tokyo, Japan. (Lecture Notes in Computer Science ; 8825. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 11th international conference, MDAI 2014 : Tokyo, Japan, October 29-31, 2014 : proceedings : Oct 2014, Tokyo, Japan. (Lecture Notes in Computer Science ; 8825. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1701>
National Diet Library

Intelligent computer mathematics : international conference, CICM 2015 : Washington, DC, USA, July 13-17, 2015 : proceedings : Jul 2015, Washington, DC. (Lecture Notes in Computer Science ; 9150. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : international conference, CICM 2015 : Washington, DC, USA, July 13-17, 2015 : proceedings : Jul 2015, Washington, DC. (Lecture Notes in Computer Science ; 9150. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-408>
National Diet Library

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-564>
National Diet Library

Essential math for AI : next-level mathematics for efficient and successful AI systems

Essential math for AI : next-level mathematics for efficient and successful AI systems
Paper図書
Hala NelsonO'Reilly2023
Other Libraries in Japan
  • Subject HeadingArtificial intelligence -- Mathematics.GBC2K4884 Artificial intelligence -- Mathematics Artificial intelligence -- Mathematics fast
  • Subject Heading (ID)Artificial intelligence -- Mathematics.GBC2K4884 Artificial intelligence -- Mathematics Artificial intelligence -- Mathematics fast

Modeling decisions for artificial intelligence : 8th international conference, MDAI 2011 : Changsha, China, July 28-30, 2011 : proceedings : Jul 2011, Changsha, China. (Lecture Notes in Computer Science ; 6820. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 8th international conference, MDAI 2011 : Changsha, China, July 28-30, 2011 : proceedings : Jul 2011, Changsha, China. (Lecture Notes in Computer Science ; 6820. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-55>
National Diet Library

Modeling decisions for artificial intelligence : 10th international conference, MDAI 2013 : Barcelona, Spain, November 20-22, 2013 : proceedings : Nov 2013, Barcelona, Spain. (Lecture Notes in Computer Science ; 8234. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 10th international conference, MDAI 2013 : Barcelona, Spain, November 20-22, 2013 : proceedings : Nov 2013, Barcelona, Spain. (Lecture Notes in Computer Science ; 8234. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-1307>
National Diet Library

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library

Revolutionary mathematics : artificial intelligence, statistics and the logic of capitalism

Revolutionary mathematics : artificial intelligence, statistics and the logic of capitalism
Paper図書
Justin JoqueVerso2022
Other Libraries in Japan
  • Subject HeadingArtificial intelligence -- Mathematics Mathematical statistics Proba...
  • Subject Heading (ID)Artificial intelligence -- Mathematics Mathematical statistics Proba...

Algebraic identification of smart systems : theory and practice : hardback

Algebraic identification of smart systems : theory and practice : hardback
Paper図書
Natalia A. Serdyukova, Vladimir I. SerdyukovSpringerc2021
Other Libraries in Japan
  • Subject HeadingQuasivarieties (Universal algebra) Artificial intelligence -- Mathematics
  • Subject Heading (ID)Quasivarieties (Universal algebra) Artificial intelligence -- Mathematics

A matrix algebra approach to artificial intelligence

A matrix algebra approach to artificial intelligence
Paper図書
Xian-Da ZhangSpringerc2020
Other Libraries in Japan
  • Subject HeadingMatrices Artificial intelligence -- Mathematics
  • Subject Heading (ID)Matrices Artificial intelligence -- Mathematics

Modeling decisions for artificial intelligence : 5th international conference, MDAI 2008 : Sabadell, Spain, October 30-31, 2008 : proceedings. : Oct 2008, Sabadell, Spain. (Lecture Notes in Computer Science ; 5285. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 5th international conference, MDAI 2008 : Sabadell, Spain, October 30-31, 2008 : proceedings. : Oct 2008, Sabadell, Spain. (Lecture Notes in Computer Science ; 5285. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-09-1858>
National Diet Library

Concept lattices and their applications : fourth international conference, CLA 2006 : Tunis, Tunisia, October 30-November 1, 2006 : selected papers. : Oct 2006, Tunis, Tunisia. (Lecture Notes in Computer Science ; 4923. Lecture Notes in Artificial Intelligence)

Concept lattices and their applications : fourth international conference, CLA 2006 : Tunis, Tunisia, October 30-November 1, 2006 : selected papers. : Oct 2006, Tunis, Tunisia. (Lecture Notes in Computer Science ; 4923. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-1254>
National Diet Library

Modeling decisions for artificial intelligence : 4th international conference, MDAI 2007 : Kitakyushu, Japan, August 16-18, 2007 : proceedings. : Aug 2007, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 4617. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : 4th international conference, MDAI 2007 : Kitakyushu, Japan, August 16-18, 2007 : proceedings. : Aug 2007, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 4617. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2764>
National Diet Library

Modeling decisions for artificial intelligence : second international conference, MDAI 2005 : Tsukuba, Japan, July 25-27, 2005 : proceedings. : Jul 2005, Tsukuba, Japan. (Lecture Notes in Computer Science ; 3558. Lecture Notes in Artificial Intelligence)

Modeling decisions for artificial intelligence : second international conference, MDAI 2005 : Tsukuba, Japan, July 25-27, 2005 : proceedings. : Jul 2005, Tsukuba, Japan. (Lecture Notes in Computer Science ; 3558. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-738>
National Diet Library
RSS