4 treff

Mathematics under the microscope : notes on cognitive aspects of mathematical practice
Alexandre V. Borovik
Bok Engelsk 2010
Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science
Bok Engelsk 2005
Computational and experimental group theory : AMS-ASL Joint Special Session Interactions Between Logic, Group Theory, and Computer Science, January 15-16, 2003, Baltimore, Maryland
AMS-ASL Joint Special Session Interactions Between Logic,Group Theory, and Computer Science
Bok Engelsk 2004
Coxeter matroids
Alexandre V. Borovik, I.M. Gelfand, Neil ...
Bok Engelsk 2003