Jump to main content

yr 〜
yr

Search results 4

Diagrammatic representation and inference : 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings

Diagrammatic representation and inference : 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings
Paper図書
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz (eds.)Springerc2016
Other Libraries in Japan
  • Author HeadingDiagrams Jamnik, Mateja 植阪, 友理 Schwartz, Stephanie El...

Diagrammatic representation and inference : 6th international conference, Diagrams 2010 : Portland, OR, USA, August 9-11, 2010 : proceedings. : 6th international conference on the theory and application of diagrams : Aug 2010, Portland, OR. (Lecture Notes in Computer Science ; 6170. Lecture Notes in Artificial Intelligence)

Diagrammatic representation and inference : 6th international conference, Diagrams 2010 : Portland, OR, USA, August 9-11, 2010 : proceedings. : 6th international conference on the theory and application of diagrams : Aug 2010, Portland, OR. (Lecture Notes in Computer Science ; 6170. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-10-4272>
National Diet Library
  • Author HeadingGoel, Ashok K., 1953- Jamnik, Mateja, 1973- Narayanan, N. Hari. Di...

Mathematical reasoning with diagrams : from intuition to automation : cloth

Mathematical reasoning with diagrams : from intuition to automation : cloth
Paper図書
Mateja JamnikCSLI Publications, Center for the Study of Language and Informationc2001
Other Libraries in Japan
  • Author HeadingJamnik, Mateja

Mathematical reasoning with diagrams : from intuition to automation : pbk : cloth

Mathematical reasoning with diagrams : from intuition to automation : pbk : cloth
Paper図書
Mateja JamnikCSLI Publications, Center for the Study of Language and Informationc2001
Other Libraries in Japan
  • Author HeadingJamnik, Mateja

Reached to the end of result.

RSS