Jump to main content

yr 〜
yr

Search results 7

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. : Sep 2004, Bialowieza, Poland. (Lecture Notes in Computer Science ; 3119)

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. : Sep 2004, Bialowieza, Poland. (Lecture Notes in Computer Science ; 3119)
Paper図書
Springerc2004.<M17-05-584>
National Diet Library
  • Author Heading...puter Science. Asperti, Andrea. Bancerek, Grzegorz. Trybulec...

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)
Paper図書
Springerc2003.<M17-03-1114>
National Diet Library
  • Author HeadingAsperti, Andrea. Buchberger, Bruno. Davenport...

Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings

Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings
Paper図書
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingMKM Asperti, Andrea Bancerek, Grzegorz Trybulec, ...

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Paper図書
Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingMKM Asperti, Andrea Buchberger, Bruno Davenport, ...

The optimal implementation of functional programming languages

The optimal implementation of functional programming languages
Paper図書
Andrea Asperti, Stefano GuerriniCambridge University Press1998
Other Libraries in Japan
  • Author HeadingAsperti, Andrea Guerrini, Stefano

Categorical topics in computer science

Categorical topics in computer science
Paper図書
Andrea G. AspertiUniversità degli studi di Pisa, Dipartimento di Informatica1990
Other Libraries in Japan
  • Author HeadingAsperti, Andrea

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist
Paper図書
Andrea Asperti, Giuseppe LongoMIT Pressc1991
Other Libraries in Japan
  • Author HeadingAsperti, Andrea Longo, Giuseppe

Reached to the end of result.

RSS