RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Nonclassical Proofs: theory, applications, and tools
Agata Ciabattoni
 
  Contact us:
 Terms of Use  Registration © Steklov Mathematical Institute RAS, 2025
© Branch of Mathematical Sciences, Russian Academy of Sciences, 2025