√лавна€    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 ƒоп.
74615 Ying D. Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) 2009 ХХХ
173432 Dawar A., Queiroz R. Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Lecture Notes ... Lecture Notes in Artificial Intelligence) 2010ХХ
185152 Alechina N., Libkin L., Kohlenbach U. Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings 2013ХХ
32624 Boolos G.S. Logic, Logic, and Logic 1998ХХ
162873 Hutcheson F. Logic, Metaphysics, and the Natural Sociability of Mankind (Natural Law and Enlightenment Classics) 2006ХХ
144025 Suppes P. Logic, Methodology and Philosophy of Science IV 1973ХХ
181080 Cohen J. Logic, Methodology and Philosophy of Science: 6th: International Congress Proceedings: 6th 1982ХХ
140880 Nagel E., Suppes P., Tarski A. Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress 1962ХХ
153249 Nagel E., Suppes P., Tarski A. Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress 1962ХХ
26819 Nilsson U., Maluszynski J. Logic, Programming and Prolog 2000ХХ
150486 Nilsson U., Maluszynski J. Logic, programming and Prolog 1995 ХХХ
170546 Nilsson U., Mauszynski J. Logic, programming and prolog 1995 ХХХ
185749 Grossi D., Roy O., Huang H. Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings 2013ХХ
165319 Tarski A. Logic, semantics, metamathematics: Papers from 1923 to 1938 1956ХХ
54852 Causey R.L. Logic, Sets, and Recursion 1994ХХ
154468 Minker J. Logic-based artificial intelligence 2000ХХ
133931 Jeroslow R. Logic-Based Decision Support: Mixed Integer Model Formulation 1989ХХ
137171 Jeroslow R. Logic-Based Decision Support: Mixed Integer Model Formulation (Annals of Discrete Mathematics) 1989ХХ
114021 Baader F. Logic-Based Knowledge Representation 1999ХХ
188005 Hanus M. Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008 2009ХХ
171025 Puebla G. Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 2007ХХ
142802 King A. Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised 2008ХХ
137120 Schreye D.D. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 2010ХХ
79792 Bellido M.J., Juan J., Valencia M. Logic-timing Simulation And the Degradation Delay Model 2005ХХ
115151 Manuel J. Bellido, Jorge Juan, Manuel Valencia Logic-timing Simulation And the Degradation Delay Model 2006ХХ
32992 Restall G. Logic: An Introduction 2005 ХХХ
80764 Newton-Smith W. Logic: An Introductory Course 1985 ХХХ
158220 Macintyre A., Pacholski L. Logic: Colloquium Proceedings, 1977 1978ХХ
109990 Kant I. Logica n/aХХ
114666 Asperti A., Ciabattoni A. Logica a informatica 1997ХХ
110727 Husserl E. Logica formal y logica transcendental 1962ХХ
74462 Raedt L.D. Logical and Relational Learning 2008ХХ
135530 Philippe de Groote, Glyn Morrill, Christian Retore Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings 2001 ХХХ
138932 Groote P., Morrill G., Retore C. Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings 2001ХХ
137046 Blache Ph., Stabler E., Busquets J. Logical Aspects of Computational Linguistics: 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings 2005 ХХХ
193230 Retore C. Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers 1997ХХ
191886 Lecomte A., Lamarche F., Perrier G. Logical Aspects of Computational Linguistics: Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers 1999ХХ
135080 Michael Moortgat Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers 2001 ХХХ
144560 Chmura A., Heumann J. Logical Data Modeling: What it is and How to do it 2004ХХ
156104 Chmura A., Heumann J. Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) 2005ХХ
106084 John W., Dawson J. Logical Dilemmas. The life and work of Kurt Gedel 1997ХХ
34580 Dawson Jh.W. Logical Dilemmas: The Life and Work of Kurt Godel 2005ХХ
193223 Sutherland I., Sproull R., Harris D. Logical Effort: Designing Fast CMOS Circuits 1998ХХ
168708 Nerode A., Matiyasevich Y. Logical Foundations of Computer Science 3 conf., LFCS'94 1994ХХ
153940 Adian S., Nerode A. Logical Foundations of Computer Science 4 conf., LFCS'97 1997ХХ
146833 Nerode A., Taitslin M. Logical Foundations of Computer Science, LFCS '92 1992ХХ
80469 Artemov S.(ed.), Nerode A.(ed.) Logical Foundations of Computer Science, LFCS 2009 2009ХХ
78818 Artemov S. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings 2007ХХ
179058 Artemov S., Nerode A. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) 2007ХХ
109553 Cook S., Nguyen P. Logical foundations of proof complexity 2008 ХХХ


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