The KVANT/1 software system for automated theorem proving

More works in this specialty

1. Research and development of a method for automatic classification of Internet user behavior

   Shcherbina, Andrey Andreyevich · 2007 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
2. Investigation and implementation of non-procedural program transformations for building an extensible parallelization system

   Zhegulo, Olga Anatol'evna · 2007 · Candidate of Sciences · Southern Federal University

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
3. Methods of estimating software development effort for corporate information systems

   Melamed, Aleksandr Yakovlevich · 2006 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
4. Research and implementation of methods for building corporate software systems to support changing business processes

   Yarnykh, Andrey Valeryevich · 2006 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
5. Controlled intruder access in a computer network security system

   Gorodetsky, Pavel Eduardovich · 2006 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks

All works in this specialty