|
|
Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ: 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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
|
Âñå ðåñóðñû |
Ñîðòèðîâêà:
132873 |
|
Susanne Graf, Wenhui Zhang |
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings |
2006 • | •• |
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 | •• |
179846 |
|
Cha S., Choi J., Kim M. |
Automated Technology for Verification and Analysis, 6 conf., ATVA 2008 |
2008 | •• |
75794 |
|
Farn W. |
Automated Technology for Verification and Analysis |
2004 | •• |
134756 |
|
Furbach U., Shankar N. |
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
2006 | •• |
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 | •• |
192743 |
|
Basin D., Rusinowitch M. |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings |
2005 | •• |
132501 |
|
Gore R., Leitsch A., Nipkow T. |
Automated Reasoning: First International Joint Conference |
2001 | •• |
80750 |
|
Armando A. (ed.), Baumgartner P. (ed.), Dowek G. (ed.) |
Automated reasoning. Lecture notes in artificial intelligence 5195 |
2008 | •• |
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 | •• |
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 | •• |
78598 |
|
Olivetti N. (ed.) |
Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 |
2007 | •• |
199884 |
|
Beckert B. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 |
2005 | •• |
200311 |
|
Dyckhoff R. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 |
2000 • | •• |
200001 |
|
Murray N.V. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99 |
1999 • | •• |
198019 |
|
Didier Galmiche |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97 |
1997 • | •• |
198079 |
|
Mayer M.C., Pirri F. |
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 2003 |
2003 • | •• |
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 • | •• |
114314 |
|
Wong L.C.W. |
Automated reasoning about classical mechanics |
1994 | •• |
29253 |
|
Basin D. (Ed), Rusinowitch M. (Ed) |
Automated Reasoning |
2004 | •• |
200225 |
|
Nicolas Bruno |
Automated Physical Database Design and tuning |
2011 | •• |
78065 |
|
P. Pandurang Nayak |
Automated Modeling of Physical Systems |
1995 • | •• |
175132 |
|
Christel M. |
Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation (Synthesis Lectures on Information Concepts, Retrieval & Services) |
2009 | •• |
39662 |
|
Young D., Ma J. |
Automated identification of Fos expression |
2001 | •• |
193582 |
|
Leacock C., Chodorow M., Gamon M. |
Automated Grammatical Error Detection for Language Learners |
2010 | •• |
11559 |
|
Komarinski P. |
Automated fingerprint identification systems |
2005 | •• |
156174 |
|
Kim D., Sung J. |
Automated Face Analysis: Emerging Technologies and Research (Premier Reference Source) |
2009 | •• |
134723 |
|
Roodyn D.B. |
Automated Enzyme Assays |
1970 | •• |
138680 |
|
Roodyn D. |
Automated Enzyme Assays |
1970 | •• |
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 | •• |
162130 |
|
Hahnle R. |
Automated deduction in multiple-valued logics |
1994 | •• |
177041 |
|
Richter-Gebert J., Wang D. |
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers |
2001 | •• |
174024 |
|
Gao X., Wang D., Yang L. |
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings |
1999 | •• |
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 | •• |
142039 |
|
Botana F., Recio T. |
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers |
2007 | •• |
173852 |
|
Hong H., Wang D. |
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers |
2006 | •• |
28706 |
|
Winkler F. |
Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers |
2004 | •• |
74654 |
|
McCune W., Padmanabhan R. |
Automated Deduction in Equational Logic and Cubic Curves |
1996 | •• |
137645 |
|
Caferra R., Salzer G. |
Automated Deduction in Classical and Non-Classical Logics |
2000 | •• |
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 | •• |
151748 |
|
Pfenning F. |
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings |
2007 | •• |
180407 |
|
Baader F. |
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings |
2003 | •• |
173470 |
|
Voronkov A. |
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings |
2002 | •• |
168711 |
|
McAllester D. |
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings |
2000 | •• |
135019 |
|
Ganzinger H. |
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings |
1999 | •• |
141609 |
|
Kirchner C., Kirchner H. |
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings |
1998 | •• |
145019 |
|
McCune W. |
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence |
1997 | •• |
149915 |
|
Kapur D. |
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings |
1992 | •• |
165820 |
|
Nieuwenhuis R. |
Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings |
2005 | •• |
|
|