Underdetermined sets is a new type of data structures (terms) developed in Actor Prolog . ... The point is that an underdetermined set can include some indefinite rest (a tail) like a list in usual Prolog . At the same time, the order of elements of an underdetermined set can be arbitrary one and it does not affect results of unification of underdetermined sets. Moreover, Actor Prolog guarantees that a rest of an underdetermined set never contains elements that are explicitly given in the set. ...

Еще в разделе: (Показать все результаты (>561) - www.cplire.ru/ )

• Getting Started in Actor Prolog. 3D Web Site.
• Actor Prolog User Guide. SADT.
• Actor Prolog. Example "D:\MOROZOV\Z\DEMO\EXE\EXAMPLES\ADA_LOG.HTML"

... Creation of Space transportation system on the base of large length rope utilization . ... A given address contains the proposal to equip the International Space Station with the long rope and to create on that base a Space transportation system. ... A given system has the multifunctional purpose. ... The rope system could be the base for creating of alternative system of station angular orientation. To utilize the rope system to launch small satellites from the station and to return them back. ...

Еще в разделе: (Показать все результаты (>1043) - www.cosmos.ru/ )

• Принципы оценки риска для здоровья населения при воздействии соединений ртути
• OFO IKI / Ya.L. Ziman
• OFO IKI / G.A. Avanesov

Электронная библиотека астронома-любителя. ... библиотека . архив RSN . ... Ru.Space.News: . Апрель 1998 . ... Дата: 03 апреля 1998 (1998-04-03) От: Alexander Bondugin Тема: Hubble Reveals Details Of A Newly Born Planetary Nebula Привет всем! ... STScI-PR98-15 HUBBLE REVEALS DETAILS OF A NEWLY BORN PLANETARY NEBULA Astronomers have caught a peek at a rare moment in the final stages of a star's life: a ballooning shroud of gas cast off by a dying star flicking on its stellar light bulb. ...

Еще в разделе: (Показать все результаты (>563) - www.astrolib.ru/ )

• Электронная библиотека астронома-любителя. RU.SPACE.NEWS - архив за 28 октября

Общая Астрономическая Конференция > Практика > Астрономическая фотография > Creative Webcam Live! Ultra - вопрос . ... Просмотр полной версии : Creative Webcam Live! ... Creative Webcam Live! Ultra (Captures more in every video with its 76њ wide-angle view, CCD censor, 640x480@30fps, handsfree, USB2.0/1.1) . ... 10.08.2006, 00:19 . ...

Еще в разделе: (Показать все результаты (>1378) - www.starlab.ru/ )

• Creative Webcam Live! Ultra - вопрос - Общая Астрономическая Конференция

. Школа 808 . На этом сайте вы сможете узнать многое о школе ?808 E-mail: sch808@yandex.ru

Еще в разделе: (Показать все результаты (>82) - www.schools.keldysh.ru/ )

• Центр Образования ?1998

makeprfcorr -- Compute the pixel response function for an image created with asncombine makeprfcorr association . association . ... Interactive program to compute relative shifts of images in an association file. ... After computing the relative shifts of the direct images, alignasn searches for corresponding grism images for each of the direct images. ... The grism association is then updated with the same relative shift measurements as determined from the direct images. ...

Еще в разделе: (Показать все результаты (>242) - www.stecf.org/ )

• SEEING (V1.3) --- Apr00 --- SEEING (V1.3)
• APOMASK (V1.0) --- Mar00 --- APOMASK (V1.0)
• Space Telescope-European Coordinating Facility

. Other Relevant Plots . Map of survey sky coverage also showing locations of all previously known QSOs. Plot showing our QSO candidate selection . The final photometric catalogue of UBR selected QSO candidates. | Front page | . | << - Talk Overview | Survey status - >> | . Robert J. Smith, ">rsmith@mso.anu.edu.au Last modified: Fri Sep 24 11:39:02 EST 1999 .

Еще в разделе: (Показать все результаты (>8) - www.2dfquasar.org/ )

... The index was created by Arctic and Antarctic Research Institute, St. Petersburg. CONTACT PERSON: If you have any questions regarding the data please contact : Dr. Oleg Troshichev Arctic and Antarctic Research Institute 38 Bering Street St. Petersburg - 199226 Russia Acknowledgement: If the data is used in a publication kindly acknowledge: Arctic and Antarctic Research Institute , St. Petersburg Sincerely yours, Susanne Vennerstroem WDC C1 for ...

Еще в разделе: (Показать все результаты (>87) - www.wdcb.ru/ )

• http://www.wdcb.ru/stp/Report_Analogue_magnetograms_Paratunka.pdf

LIFR MI 2 P, Laboratoire International Franco-Russe de Math matiques et Interaction avec l'Informatique et la Physique Th orique is, as its name indicates, a French-Russian mathematics research lab that focuses on fundamental mathematics and its interaction with computer science and theoretical physics. It was created by a Founding Agreement between the CNRS (the French National Center for Scientific Research) and the IUM (the Independent University of Moscow). ...

Еще в разделе: (Показать все результаты (>708) - www.mccme.ru/ )

• Labo J.-V.Poncelet: decision of the committee
• IUM: Mission Statement

б© 2003 Microsoft Corporation. ... This document provides late-breaking information about the Microsoft Office PowerPoint Viewer. To view the Readme file on the screen, maximize the browser window. ... About the PowerPoint Viewer . ... The Microsoft Office PowerPoint Viewer allows you to view full-featured presentations created in Microsoft Office PowerPoint 2003. The PowerPoint Viewer supports viewing presentations created in PowerPoint 97, PowerPoint 2000, and PowerPoint 2002. ...

Еще в разделе: (Показать все результаты (>328) - hea.iki.rssi.ru/ )

• Гусев Анатолий Александрович (ИКИ РАН)
• Second Spectrum-RG/eROSITA Conference