RAS - PDFSEARCH.IO - Document Search Engine

RAS
Results: 3189

#	Item
51	PDF Document Add to Reading List Source URL: kvant.ras.ru - Date: 2018-04-13 10:12:38
52	PDF Document Add to Reading List Source URL: www.ras.org.uk - Date: 2017-12-06 08:27:37
53	SRR Board Meeting – April 7, 2014 Volunteer Activity (Carrie-Anne Dedeo) An Ras Mor (recap): volunteer turn out was good despite Add to Reading List Source URL: www.srr.org Language: English - Date: 2014-04-09 09:48:22
54	PDF Document Add to Reading List Source URL: dfde2017.mi.ras.ru - Date: 2017-02-17 02:05:45
55	A Calculus for Worms Ana Borges with Joost Joosten Universitat de Barcelona Wormshop 2017 Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-23 08:17:46
56	D O WE REALLY NEED E X FALSO ? A FIRST RECONNAISSANCE Dick de Jongh1 Wormshop 2017 Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-23 08:17:47
57	2016 IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids) Cancun, Mexico, Nov 15-17, 2016 Intrinsically Stable MPC for Humanoid Gait Generation Add to Reading List Source URL: www.dis.uniroma1.it Language: English - Date: 2017-02-21 11:01:28
58	On axiomatization and polytime decidability of strictly positive fragment of K4.3 M. Svyatlovsky Moscow Institute of Physics and Technology Wormshop 2017 Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-23 08:30:32
59	CIRCULAR Dear friends, colleagues, Forest Research Institute of the Karelian Research Centre RAS, Institute of Forest Science RAS, and RAS Scientific Council on Forest plan to organize the jubilee 10th international conf Add to Reading List Source URL: resources.krc.karelia.ru Language: English - Date: 2017-11-27 09:04:04
60	INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-24 13:14:13

UPDATE