Jump to main content

yr 〜
yr

Search results 2

Music and artificial intelligence : second international conference, ICMAI 2002, Edinburgh, Scotland, September 2002 : proceedings. : Sep 2002, Edinburgh, UK. (Lecture Notes in Computer Science ; 2445. Lecture Notes in Artificial Intelligence)

Music and artificial intelligence : second international conference, ICMAI 2002, Edinburgh, Scotland, September 2002 : proceedings. : Sep 2002, Edinburgh, UK. (Lecture Notes in Computer Science ; 2445. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-123>
National Diet Library
  • Author Heading... Smaill, Alan. University of Edinburgh. Division of Informatics. International Conference on M...

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001 : Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings. : Sep 2001, Edinburgh, UK. (Lecture Notes in Computer Science ; 2152)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001 : Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings. : Sep 2001, Edinburgh, UK. (Lecture Notes in Computer Science ; 2152)
Paper図書
Springerc2001.<M17-03-2528>
National Diet Library
  • Author HeadingUniversity of Edinburgh. Division of Informatics. Boulton, Richard J., 1967- Ja...

Reached to the end of result.

RSS