81. AMCA: Calculational Proofs By Vladimir Lifschitz Days of Logic and Computability May 2629, 1999 steklov Institute of Davydov, DimaGrigoriev, Eduard Karavaev, Nickolai Kossovskii, vladimir Lifschitz, Maurice http://at.yorku.ca/c/a/c/s/08.htm

AMCA Document # cacs-08 First St.Petersburg Days of Logic and Computability May 26-29, 1999 Steklov Institute of Mathematics St.Petersburg, Russia Conference Organizers Evgeny Dantsin, Gennadii Davydov, Dima Grigoriev, Eduard Karavaev, Nickolai Kossovskii, Vladimir Lifschitz, Maurice Margenstern, Yuri Matiyasevich (chairman), Grigori Mints, Vladimir Orevkov, Anatol Slissenko and Maxim Vsemirnov View Abstracts Conference Homepage Calculational Proofs presented by Vladimir Lifschitz University of Texas This paper is about the 'calculational proof format' introduced by Dijkstra and Scholten on the basis of ideas due to Feijen. Their work has had an impact on the presentation of proofs in computer science research, and even on undergraduate education in computer science. These ideas can be also viewed as an interesting discovery in logic, although this fact has so far remained largely unnoticed. Inventing proofs of predicate formulas in a Hilbert style deduction system is known to be an unpleasant task unless one uses metamathematical tools, such as the deduction theorem. On the other hand, proving formulas in a natural deduction system is relatively easy. The role of the deduction theorem and of natural deduction is determined by the fact that they provide a mechanism for discharging assumptions. We argue, however, using the work done by Dijkstra and Scholten, that the importance of assumptions in formal proofs is overrated: with the right choice of inference rules, proving predicate formulas is easy even without introducing assumptions (and without the use of auxiliary derivable objects such as sequents).

82. Bibliography V. I. ( vladimir Igorevich), 1937 Izbrannoe - 60. Moscow. Izdatelstavo FAZIS. 1997. Arnold, V. I. ( vladimir Igorevich), 1937 http://www.library.cornell.edu/math/bibliography/display.cgi

A Bibliography of Collected Works and Correspondence of Mathematicians This bibliography is available from the Cornell University Mathematics Library. Contact Librarian Steve Rockey for details. A B C D E F G H I J K L M N O P Q R S T U V W X Y Z back to Y Author Title Place Publisher Date Abbe, Ernst Carl, 1840-1905 Gesammelte Abhandlungen Jena G. Fischer Abbe, Ernst Carl, 1840-1905 Gesammelte Abhandlungen Hildesheim Olms Abbe, Ernst Carl, 1840-1905 Briefe an seine Jugend- und Studienfreunde Carl Martin und Harald Schutz, 1858-1865 Berlin Akademie-Verlag Abel, Niels Henrik, 1802-1829 Oeuvres completes de N. H. Abel, mathematicien / avec des notes et developpements, redigees par ordre du roi par B. Holmboe Christiania C. Grondahl Abel, Niels Henrik, 1802-1829 Oeuvres completes / nouvelle ed. ; publiee aux frais norvegien par L. Sylow et S. Lie. Christiania C. Grondahl Abel, Niels Henrik, 1802-1829 Oeuvres completes de Niels Henrik Abel / nouv. ed. ; publiee aux frais de l'Etat norvegien par L. Sylow et S. Lie. Christiania, Impr. de Grondahl, 1881. New York Johnson Reprint Corp.

83. Untitled AuthorTitlePlace PublisherDateVolPagesCornell Holding Libary "Abbe, Ernst Carl, 18401905" Gesammelte AbhandlungenJenaG. vladimir Igorevich), 1937-" Izbrannoe - 60MoscowIzdatelstavo FAZIS1997770"Arnold, V. I. ( vladimir Igorevich), 1937 http://www.library.cornell.edu/math/bibliography/bibliograph-d2.txt

; forward by George Marx ; translators: Jozsef Illy ; editorial assistants: Mary Gay

84. Oligarkh (2002) Viktor. Natalya Kolyakanova, . Nina. Aleksandr Samojlenko, . Musa. vladimirSteklov, . Belenky. vladimir Kashpur, . Captain. vladimir Golovin, . Akhmet. http://www.imdb.com/title/tt0308671/

Top Movies Photo Galleries ... Film All Titles My Movies People Characters Quotes Bios Plots All (old) More searches Tips IMDbPro.com free trial Showing page 1 of 19 main details combined details full cast and crew company credits user comments ... plot keywords Amazon.com summary memorable quotes trivia goofs soundtrack listing crazy credits alternate versions movie connections merchandising links release dates filming locations technical specs laserdisc details DVD details literature listings news articles taglines trailers posters photo gallery on tv, schedule links showtimes official site miscellaneous photographs sound clip(s) video clip(s) Your Vote 1 (awful) 10 (excellent) You need to be a registered user of the IMDb to rate a movie - I have seen this movie and would like to submit a comment Oligarkh Directed by Pavel Lungin Writing credits Aleksandr Borodyansky Yuli Dubov (also novel Bolshaya pajka) (more) Add to MyMovies IMDbPro Professional Details Genre: Drama Thriller (more) Plot Summary: During the Gorbachev years, Platon Makovski and his four buddies are university students who jump on the private capitalism movement... (more) (view trailer) User Comments: Quantity, Not Quality, Yet Still Sketchy in the Details

85. Filmz.dk - Filmpersoner vladimir Mashkov. vladimir Orlov. vladimir Radian. vladimir Sevastyanikhin. vladimirSteklov. Vladislav Dvorzhetsky. Volker Engel. Volker Prechtel. Volker Schauz. http://www.filmz.dk/actors/V/

Gæst Opret ny bruger! Login Brugernavn Password Gem Opret ny bruger! Har du glemt dit password ? Annonce Populære film Batman Begins Blade 3 Catwoman Die Hard 4 ... X-Men Find nyhed Afstemning Under 100 kr. 100-200 kr. Over 1000 kr. Trailere Alexander Anacondas Final Fantasy VII: Adve... King Arthur ... Forside Filmpersoner NYESTE A B C ... Y Navn V. Phipps-Wilson Vadim Gushchin Vadim Lobanov Vadim Perelman ... Vyto Ruginis

86. The Mathematics Genealogy Project - Update Data For Vladimir Steklov The Mathematics Genealogy Project http://www.genealogy.ams.org/html/php/submit-update.php?id=55623

87. Vice Presidents (main_a) 19751982 Sidorenko Aleksandr Vasil evich. 1919-1926 steklov VladimirAndreevich. 1958-1962 Topchiev Aleksandr Vasil evich. 1978 http://www.icp.ac.ru/RAS_1724-1999/CD_PAH/ENG/VPA_MAIN.HTM

Vice Presidents of the Academy since 1990 : Alferov Zhores Ivanovich since 1991 : Andreev Alexander Fiodorovich Baikov Aleksandre Aleksandrovich Bardin Ivan Pavlovich Belozerskii Andrei Nikolaevich Bogomolets Aleksandr Aleksandrovich Bol'shakov Vladimir Nikolaevich Borodin Ivan Parfenovich Britske Ergard Viktorovich Buniakovskii Viktor Yakovlevich since 1999 : Chereshnev Valeriy Aleksandrovich Chudakov Yevgenii Alekseevich Davydov Sergei Ivanovich, prince since 1997 : Dobretsov Nikolay Leontievich Dondukov-Korsakov Mikhail Aleksandrovich since 1991 : Elyakov Georgy Borisovich Fedoseev Piotr Nikolaevich Fersman Aleksandr Yevgen'evich since 1996 : Fortov Vladimir Eugenievich Frolov Konstantin Vasil'evich Gonchar Andrei Aleksandrovich Grot Yakov Karlovich Gubkin Ivan Mikhailovich Il'ichev Viktor Ivanovich Ioffe Abram Fiodorovich Karpinskii Aleksandr Petrovich Keldysh Mstislav Vsevolodovich Kirillin Vladimir Alekseevich Komarov Vladimir Leontievich Konstantinov Boris Pavlovich Koptiug Valentin Afanasievich Kotel'nikov Vladimir Aleksandrovich Krzhizhanovskii Gleb Maksimilianovich since 1988 : Kudriavtzev Vladimir Nikolaevich since 1988 : Laverov Nikolay Pavlovich Lavrentiev Mikhail Alekseevich Logunov Anatolii Alekseevich Maikov Leonid Nikolaevich Marchuk Guri Ivanovich Marr Nikolai Yakovlevich since 1987 : Mesjats Gennadi Andreevich Millionschikov Mikhail Dmitrievich since 1988 : Nefedov Oleg Matveevich Nikitin Piotr Vasil'evich Orbeli Leon Abgarovich Ossypian Yuri Andreevich Ostrovitianov Konstantin Vasil'evich

88. Curriculum Vitae Of Vladimir Chernov vladimir Chernov (Tchernov). Curriculum Vitae. Department of Mathematics. Hanover, NH 037553551 , USA. E-mail vladimir.Chernov@dartmouth.edu. http://www.math.dartmouth.edu/~chernov/Myvita.html

Vladimir Chernov ( Tchernov Curriculum Vitae Department of Mathematics Tel: +1-(603) 646 24 21 Dartmouth College Fax +1-(603) 646 13 12 Hanover NH USA E-mail: Vladimir.Chernov@dartmouth.edu Personal Information Previous spelling of the last name: Tchernov Birth date: 9 January 1972 Citizenship: Russian citizen Research Interests Contact and Symplectic Topology and Geometry (57R17, 53Dxx), specifically: Legendrian and transverse knots; relations between wave front propagation (78A05) and invariants of Legendrian knots; Legendrian and Lagrangian immersions and embeddings Geometric and Low-Dimensional Topology (57Mxx), specifically: knots and links in manifolds, Vassiliev invariants of knots, invariants of immersed curves and of wave fronts Lie superalgebra structures (17B70) on Bordism groups of the space of mappings of manifolds (55N22, 55N45, 57R19) and applications of these structures to physics (17B81), specifically: algebraic operations on generalized strings; relations to Chas-Sullivan string homology; linking numbers for non- zerohomologous submanifolds ; and applications to the study of causality and front propagation Degrees Ph.D.

89. Arnold, Vladimir Igorevich . vladimir Igorevich ARNOLD. Address SteklovMathematical Institute 8, Gubkina Street 117966GSP-1 Moscow Russia http://www.mi.ras.ru/~arnold/

Email: arnold@mi.ras.ru Email: arnold@ceremade.dauphine.fr Vladimir Igorevich ARNOLD Address: Steklov Mathematical Institute 8, Gubkina Street 117966-GSP-1 Moscow Russia Phone: Fax: E-Mail: arnold@genesis.mi.ras.ru from Jan - July: CEREMADE Univ. Paris IX - Dauphine Place du Marechal de Lattre de Tassigny F-75775 Paris Cedex 16 France Phone: Fax: E-Mail: arnold@ceremade.dauphine.fr Born: June 12, 1937, Odessa, U.S.S.R. Education: 1954 - 1961 Faculty of Mechanics and Mathematics, Lomonosov University, Moscow, U.S.S.R. 1961 Candidate Phys.-Math Sci. at the Institute of Applied Mathematics, Moscow 1963 Ph.D., Institute of Applied Mathematics, Moscow Positions: 1961 - 1965 Assistant, Faculty of Mechanics and Mathematics, Lomonosov University, Moscow 1965 - 1986 Professor, Faculty of Mechanics and Mathematics, Lomonosov University, Moscow 1986 - Steklov Institute of Mathematics, Moscow 1993 - CEREMADE, University Paris-Dauphine 1995 - 1998 Vice-President, International Mathematical Union 1998 - 2000 President Moscow Mathematical Society 1999 - 2002 Member of the Executive Committee International Mathematical Union Selected Awards, Honours and Distinctions:

90. Soyuz-TM30 Call sign, Yenisey, Remark Third member of main crew was AT steklov VladimirAleksandrovich. But before flight he was excluded from the crew. http://space.kursknet.ru/cosmos/english/machines/stm30.sht

To Russian variant To Main Menu Spacecraft "Soyuz-TM30" BRIEFLY ABOUT SPACECRAFT Registration number Time and date of launch (UT) 05h.01m.29s. April 04, 2000 Launch site Baikonur, LC 1 Launch vehicle Soyuz-U Spacecraft mass (kg) Orbital parameters: - inclination (degrees) - period (minutes) - perigee (km) - apogee (km) Time and date of landing (UT) 00h.43m.45s. June 16, 2000 Place of landing 40 km SE of Arkalyk Duration Summary 39th expedition to station "Mir" . Unloading of cargo spacecraft "Progress M1-1" , docking with and unloading of cargo spacecraft "Progress M1-2" CREW Ord. num. Status Main Backup Reserved Cdr PE-28/MIR Zalyotin Sergey Viktorovich Sharipov Salizhan Shakirovich FE PE-28/MIR Kaleri Aleksandr Yuryevich Vinogradov Pavel Vladimirovich Call sign Yenisey Remark: Third member of main crew was AT Steklov Vladimir Aleksandrovich. But before flight he was excluded from the crew. Reason is breach of terms of the treaty by organizator of the shooting the film. TIMELINE Date Time (UT) Explanation Apr 04, 2000

91. Home - Search PRINCE VLADIMIR THE GREAT Home Search PRINCE vladimir THE GREAT. vladimir I the Great ~0956-1015 Russiansaint, Grand Prince of HotBot Web Search for PRINCE vladimir THE GREAT. http://www.algebraic.net/cgi-bin/988.cgi?q=PRINCE VLADIMIR THE GREAT

92. List Of Participants Of The Conference Phys., Kiev, UKRAINE. Leonid O.CHEKHOV, steklov Math.Inst., Moscow, RUSSIA. VladimirG.DRINFELD, Kharkov Inst.of Low Temperature, Kharkov, UKRAINE. http://wwwth.itep.ru/mathphys/conf/Alushta94/listp.htm

List of Participants of the Conference Alexei A.ABRIKOSOV ITEP, Moscow, RUSSIA Emil T.AKHMEDOV ITEP, Moscow, RUSSIA Vladimir P.AKULOV Kharkov Inst.of Phys.and Tech., Kharkov, UKRAINE Asya V.AMINOVA Kazan State University, Bashkiria, RUSSIA Alexander ANTONOV Landau Inst.of Theor. Phys., Moscow, RUSSIA Eugenii N.ANTONOV St.Petersburg Inst. of Nucl. Phys., RUSSIA Sergei ARKHIPOV Moscow State University, RUSSIA Sergei A.BARANNIKOV Moscow State University, RUSSIA Orest BATSULA Bogoliubov Inst.for Theor. Phys., Kiev, UKRAINE Alexander A.BELAVIN Landau Inst.of Theor. Phys., Moscow, RUSSIA Eugenii D.BELOKOLOS Inst. of Metalophysics, Kiev, UKRAINE Alexander A.BELOV Int.Inst.for Theory of Earthquakes Predictions and Mathematical Geophysics, Moscow, RUSSIA Yurii N.BESPALOV Bogoliubov Inst.for Theor. Phys., Kiev, UKRAINE Galina BUGRIJ Bogoliubov Inst.for Theor. Phys., Kiev, UKRAINE Leonid O.CHEKHOV Steklov Math.Inst., Moscow, RUSSIA Leonid M.CHEKIN Cornell University, Ithaca, USA

93. Page 1 On the Mathematical Work of vladimir Drinfeld. Yuri Ivanovich Manin*. SteklovMathematical Institute, 42 Vavilova, 117966 GSP1, Moscow, USSR. Page 1. http://www.emis.math.ca/EMIS/mirror/IMU/medals/1990/Drinfeld/page1.html

On the Mathematical Work of Vladimir Drinfeld Yuri Ivanovich Manin* Steklov Mathematical Institute, 42 Vavilova, 117966 GSP-1, Moscow, USSR Page 1 *) delivered by Michio Jimbo This document has been reproduced from Proceedings of the International Congress of Mathematicians, Kyoto, Japan, 1990 with friendly permission of the Mathematical Society of Japan and Springer Verlag

94. On The Mathematical Work Of Vladimir Drinfeld On the Mathematical Work of vladimir Drinfeld. Yuri Ivanovich Manin* SteklovMathematical Institute, 42 Vavilova, 117966 GSP1, Moscow, USSR. http://www.icm2002.org.cn/general/prize/medal/1990/Drinfeld/

On the Mathematical Work of Vladimir Drinfeld Yuri Ivanovich Manin* Steklov Mathematical Institute, 42 Vavilova, 117966 GSP-1, Moscow, USSR *) delivered by Michio Jimbo This document has been reproduced from The Website of International Congress of Mathematicians, Berlin 1998. Proceedings of the International Congress of Mathematicians, Kyoto, Japan, 1990 with friendly permission of the Mathematical Society of Japan and Springer Verlag

95. On The Mathematical Work Of Vladimir Drinfeld -- Page 1 On the Mathematical Work of vladimir Drinfeld. Yuri Ivanovich Manin* SteklovMathematical Institute, 42 Vavilova, 117966 GSP1, Moscow, USSR. Page 1. http://www.icm2002.org.cn/general/prize/medal/1990/Drinfeld/page1.htm

On the Mathematical Work of Vladimir Drinfeld Yuri Ivanovich Manin* Steklov Mathematical Institute, 42 Vavilova, 117966 GSP-1, Moscow, USSR Page 1 This document has been reproduced from The Website of International Congress of Mathematicians, Berlin 1998. Proceedings of the International Congress of Mathematicians, Kyoto, Japan, 1990 with friendly permission of the Mathematical Society of Japan and Springer Verlag

96. ::CineMovies:: "Un Nouveau Russe" Un Film De Pavel Lounguine Avec Vladimir Mashk Translate this page La note des Spectateurs 3 personnes se sont exprimées 5/5. 1 2 3 4 5. La note de la rédaction 3.5/5. http://www.cinemovies.fr/fiche_film.php?IDfilm=1662

97. DVDonline - OLIGARCH Translate this page Inserire la parola o la frase da cercare Qualsiasi. http://www.dvdonline.it/show-bin/show.pl?ugY8dzs0YOjb0lgaPg8YcYgbVPb0jHS8G_Q37

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 5     81-97 of 97    Back | 1  | 2  | 3  | 4  | 5