Site Navigator   About This Site     Site News     Software Projects     Personal Information         Resume   »     Publications «       Contact Info

Publications of Alexander Babichev TODO: ask somebody to translate names to those horrible format. State Machine in PUA Cherkashin, Gorbunov and Me About Embedding LUA in automatic theorem prover Something for Baikal conference, can't remember exacly. Extension of Web Map Server Interface

Copyright (c) 2002-2004 Alexander Babichev.