Alexander Babichev
[
English
]
[
Russian
]
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
.