Найдено документов: 50326 (390 сайтов) ---- Время поиска: 0.97сек. |
Каталог астрономических ресурсов
11. Ben-Ari M - Mathematical Logic for Computer Science :: Электронная библиотека
... Horn clause 172 . Hughes, G. 292 . Huth, M. 63 266 291 . Idempotent 22 171 . Incompleteness theorem 136 . Induction 290 . ... Rule of inference, transitivity 51 . Ryan, M. 63 266 291 . Satisfiable predicate calculus 106 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/54824 -- 102.8 Кб -- 10.04.2016
Похожие документы
Похожие документы
12. http://www.mrao.cam.ac.uk/projects/OAS/pmwiki/uploads/MROIFastTipTilt.TechMeet4/transmissiveLayouts.pdf
... Criterion was image should not move by more than 0.015 arcseconds, or = 1.63µm for the focal length being considered here ...
[
Текст
]
Ссылки http://www.mrao.cam.ac.uk/projects/OAS/pmwiki/uploads/MROIFastTipTilt.TechMeet4/transmissiveLayouts.pdf -- 308.7 Кб -- 21.05.2010
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>215) - www.mrao.cam.ac.uk/ )
13. http://monkey.belozersky.msu.su/npidb/pdb/pdb_new/Block_3D/PF00352.16.blocks.json
... pdb1.pdb:E:0:110:196", "1vol.pdb1.pdb:B:0:21:105", "1qn5.pdb2.pdb:B:0:21:105", "1qn3.pdb1.pdb:A:0:21:105", "1ngm.pdb4.pdb:M:0:63:147", "1qn9.pdb1.pdb:A:0:110:196", "1qn5.pdb2.pdb:B:0:110:196", "1ngm.pdb3.pdb:I:0:63:147", "1qnb.pdb1.pdb:A:0:21:105", "1qne ...
[
Сохраненная копия
]
Ссылки http://monkey.belozersky.msu.su/npidb/pdb/pdb_new/Block_3D/PF00352.16.blocks.json -- 7.8 Кб -- 04.02.2013
[ Сохраненная копия ] Ссылки http://mouse.belozersky.msu.ru/npidb/data/pdb_new/Block_3D/PF00352.16.blocks.json -- 7.8 Кб -- 04.02.2013
[ Сохраненная копия ] Ссылки http://monkey.belozersky.msu.ru/npidb/pdb/pdb_new/Block_3D/PF00352.16.blocks.json -- 7.8 Кб -- 04.02.2013
Похожие документы
[ Сохраненная копия ] Ссылки http://mouse.belozersky.msu.ru/npidb/data/pdb_new/Block_3D/PF00352.16.blocks.json -- 7.8 Кб -- 04.02.2013
[ Сохраненная копия ] Ссылки http://monkey.belozersky.msu.ru/npidb/pdb/pdb_new/Block_3D/PF00352.16.blocks.json -- 7.8 Кб -- 04.02.2013
Похожие документы
Еще в разделе:
(Показать все результаты (>2808) - monkey.belozersky.msu.ru/ )
14. astro-ph
... Normalized to: Kajisawa, M. 63 article(s) in total . 311 co-authors, from 1 to 34 common article(s). Median position in authors list is 3,0 . ...
[
Сохраненная копия
]
Ссылки http://vo.astronet.ru/arxiv/?author=Kajisawa%2C%20M. -- 68.3 Кб -- 12.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>260) - vo.astronet.ru/ )
15. HyperLeda: example of online pipeline processing
... The next example shows how to synthetize a stellar population with PEGASE . o=ets:T1_L1_I5,3,0.005,1,0.7&z=xtc[m,63,m,63]|wrs[1,4600,6000,2]|vs . ...
[
Сохраненная копия
]
Ссылки http://www.sao.ru/fetch/HL/11/examples.html -- 11.1 Кб -- 23.12.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>108) - www.sao.ru/ )
16. http://kodomo.cmm.msu.ru/~lupus/Term4/multiple_nogaps.msf
... PQTD.G LFCTNDDLAV B4EY42_PROMH/63-324 M..TP.K.SS .S.YSLGTEL LHEA.RKQY.. ... PDLD.G LYCTNDDIAI Q2NQG7_SODGM/63-324 M..AD.S.SN ...YSAGVEL LCQT.QREY.. ... PDTD.C IFCTNDDLAI Q7N953_PHOLL/63-325 M..TP.D.SS .S.YTLGGQL LNEA.RTKY.. ...
[
Сохраненная копия
]
Ссылки http://kodomo.cmm.msu.ru/~lupus/Term4/multiple_nogaps.msf -- 121.3 Кб -- 28.05.2010
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>373) - kodomo.cmm.msu.ru/ )
17. http://www.parallel.ru/sites/default/files/ftp/computers/hp/PA-8700wp.pdf
... Metal 6 Metal 7 PA-8600 Pitch .64 µm .93 µm .93 µm 1.60 µm 2.56 µm Not applicable Not applicable PA-8700 Pitch .49 µm .63 µm .63 µm .63 µm .63 µm 1.26 µm 1.26 µm The shorter channels and thinner gate oxides provided by the new process allow a reduction in ...
[
Текст
]
Ссылки http://www.parallel.ru/sites/default/files/ftp/computers/hp/PA-8700wp.pdf -- 172.1 Кб -- 02.11.2011
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>68) - www.parallel.ru/ )
18. http://www.mce.biophys.msu.ru/archive/doc57644/doc.pdf
... 2009, . 2, . 6370 Belega E. D., Trubnikov D. N., Cheremukhin E. A. -- MCE 2009, v. 2, pp. 6370 (m N ) , m p EN . , - k = k2 N j =1 2 j . ...
[
Текст
]
Ссылки http://www.mce.biophys.msu.ru/archive/doc57644/doc.pdf -- 503.8 Кб -- 09.03.2010
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>26) - www.mce.biophys.msu.ru/ )
19. Общая Астрономическая Конференция - Показать сообщение отдельно - Метеорные
... 252.9њ, V (км/сек) = 61 - 63, m = .. суточный дрейф RA ..њ, Dec ..њ, r = .. ZHR = 1 .. ... 264.8њ, V (км/сек) = 63.8, m = .. суточный дрейф RA ..њ, Dec ..њ, r = .. ZHR = .. ...
[
Сохраненная копия
]
Ссылки http://www.starlab.ru/showpost.php?p=515000&postcount=1 -- 82.4 Кб -- 12.04.2016
Похожие документы
Похожие документы
20. Звезды, имеющие собственные названия
... Гакрукс, Кострикс . 12 h 31,2 m . -57 07 . 1,63 m . M3 . Cru . Ветрикс . ...
[
Сохраненная копия
]
Ссылки http://astro.uni-altai.ru/stars/Cru.html -- 10.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>80) - astro.uni-altai.ru/ )
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда