√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
ћехмат€нам
square ѕервый курс

square ¬торой курс

square “ретий курс

square „етвертый курс

square ѕ€тый курс
blank
јвторизаци€

       
blank
ѕоиск по указател€м

blank
 расота
blank
blank
Ѕыстрый переход
ѕо названию:
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 ј Ѕ ¬ ƒ ® « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў Ё ё я
ѕо автору:
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 ® ј Ѕ ¬ ƒ « »   Ћ ћ Ќ ќ ѕ ÷ Ў ў џ Ё ё я
blank
¬се ресурсы
—ортировка:

ID asc desc pic јвторы asc desc Ќазвание asc desc √од asc desc ƒоп.
154798 McRobbie M., Slaney J. Automated Deduction CADE-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: ... 13th 1996ХХ
137645 Caferra R., Salzer G. Automated Deduction in Classical and Non-Classical Logics 2000ХХ
74654 McCune W., Padmanabhan R. Automated Deduction in Equational Logic and Cubic Curves 1996ХХ
28706 Winkler F. Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers 2004ХХ
173852 Hong H., Wang D. Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers 2006ХХ
142039 Botana F., Recio T. Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers 2007ХХ
188571 Beeson M., Ida T., Fleuriot J. Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers 2013ХХ
174024 Gao X., Wang D., Yang L. Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings 1999ХХ
177041 Richter-Gebert J., Wang D. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers 2001ХХ
162130 Hahnle R. Automated deduction in multiple-valued logics 1994ХХ
134546 Alan Bundy Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings 1994 ХХХ
138170 Bundy A. Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings 1994ХХ
134723 Roodyn D.B. Automated Enzyme Assays 1970ХХ
138680 Roodyn D. Automated Enzyme Assays 1970ХХ
156174 Kim D., Sung J. Automated Face Analysis: Emerging Technologies and Research (Premier Reference Source) 2009ХХ
11559 Komarinski P. Automated fingerprint identification systems 2005ХХ
193582 Leacock C., Chodorow M., Gamon M. Automated Grammatical Error Detection for Language Learners 2010ХХ
39662 Young D., Ma J. Automated identification of Fos expression 2001ХХ
175132 Christel M. Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation (Synthesis Lectures on Information Concepts, Retrieval & Services) 2009ХХ
78065 P. Pandurang Nayak Automated Modeling of Physical Systems 1995 ХХХ
200225 Nicolas Bruno Automated Physical Database Design and tuning 2011ХХ
29253 Basin D. (Ed), Rusinowitch M. (Ed) Automated Reasoning 2004ХХ
114314 Wong L.C.W. Automated reasoning about classical mechanics 1994ХХ
197975 Egly U. (ed.), Fermüller C.G. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 Ц August 1, 2002 Proceedings 2002 ХХХ
198079 Mayer M.C., Pirri F. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 2003 2003 ХХХ
198019 Didier Galmiche Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97 1997 ХХХ
200001 Murray N.V. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99 1999 ХХХ
200311 Dyckhoff R. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 2000 ХХХ
199884 Beckert B. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 2005ХХ
78598 Olivetti N. (ed.) Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 2007ХХ
140363 Giese M., Waaler A. Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 2009ХХ
186322 Galmiche D., Larchey-Wendling D. Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings 2013ХХ
80750 Armando A. (ed.), Baumgartner P. (ed.), Dowek G. (ed.) Automated reasoning. Lecture notes in artificial intelligence 5195 2008ХХ
132501 Gore R., Leitsch A., Nipkow T. Automated Reasoning: First International Joint Conference 2001ХХ
192743 Basin D., Rusinowitch M. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings 2005ХХ
192653 Basin D., Rusinowitch M. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) 2005ХХ
134756 Furbach U., Shankar N. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006ХХ
75794 Farn W. Automated Technology for Verification and Analysis 2004ХХ
179846 Cha S., Choi J., Kim M. Automated Technology for Verification and Analysis, 6 conf., ATVA 2008 2008ХХ
186189 Leroux J., Hung D., Ogawa M. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings 2013ХХ
132873 Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 2006 ХХХ
78776 Namjoshi K.(ed.), Yoneda T.(ed.), Higashino T.(ed.) Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 2007ХХ
136965 Bouajjani A., Chin Wei-Ngan Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings 2010 ХХХ
170280 Tsay Y.-K., Peled D.A. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 2005ХХ
197984 Venkataraman K. Automated Versus Floor Trading: An Analysis Of Execution Costs On The Paris And New York Exchanges n/aХХ
105447 Dietzfelbinger M. Automaten und Formale Sprachen 2005ХХ
107256 Kindler E., Manthey S. Automaten, Formale Sprachen und Berechenbarkeit I 2002ХХ
20037 Aachen M. Automatentheorie 1996ХХ
20035 Voller R. Automatentheorie und Formale Sprachen 1998ХХ
20057 Meinel C. Automatentheorie und Formale Sprachen 2000ХХ


blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2023
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте