√лавна€    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 ƒоп.
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 ХХХ
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ХХ
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 ХХХ
162497 Cantini A. Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) 1996ХХ
165856 Cantini A. Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) 1996ХХ
135697 Cantini A. Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study (Studies in Logic and the Foundations of Mathematics) 1996 ХХХ
139064 Cantini A. Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study (Studies in Logic and the Foundations of Mathematics) 1996ХХ
112851 Husserl E. Logical Investigations. Volume II 2001ХХ
125723 Omnes R. Logical Reformulation of Quantum Mechanics. I. Foundations 1988ХХ
122720 Omnes R. Logical Reformulation of Quantum Mechanics. II. Interferences and the Einstein-Podolsky-Rosen Experiment 1988ХХ
123578 Omnes R. Logical Reformulation of Quantum Mechanics. III. Classical Limit and Irreversibility 1988ХХ
121494 Omnes R. Logical Reformulation of Quantum Mechanics. IV. Projectors in Semiclassical Physics 1989ХХ
151038 Dov M. Gabbay, Karl Schlechta Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies) 2009 ХХХ
11216 Fant K.M. Logically Determined Design 2005ХХ
10126 Thomason R.H. Logicism: Exact Philosophy, Linguistics and Artificial Intelligence 1995ХХ
169278 Moller F., Birtwistle G. Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science) 1996ХХ
182353 Eijck J. Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings 1991ХХ
155576 Flesca S., Ianni G. Logics in Artificial Intelligence 2002ХХ
89072 Ojeda-Aciego M., Guzman I.P., Brewka G. Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga 2000ХХ
131515 Dix J., Del Cerro F.L., Furbach U. Logics in Artificial Intelligence, JELIA '98: European Workshop, Jelia'98, Dagstuhl, Germany, October 12-15, 1998: Proceedings 1998ХХ
159174 Fisher M., Hoek W., Konev B. Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings 2006ХХ
168951 Janhunen T., Niemela I. Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence) 2010ХХ
29404 Jose J.A. (ed.), Leite J. (ed.) Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004ХХ
172362 Alferes J., Leite J. Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004ХХ
135678 Jose Julio Alferes, Joao Leite Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) 2004 ХХХ
139044 Alferes J., Leite J. Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) 2005ХХ
173577 MacNish C., Pearce D., Pereira L. Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings 1994ХХ
187261 Mogavero F. Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics Atlantis Studies in Computing Volume 3 2013ХХ
169999 Engeler E. Logics of Programs 1979 1981ХХ
140718 Kozen D. Logics of Programs 1981 1982ХХ
179603 Parikh R. Logics of Programs 1985 1985ХХ
130389 Salwicki A. Logics of Programs and Their Applications 1983ХХ
145979 Goldblatt R. Logics of time and computation 1992ХХ
106198 Tarski A. Logics, Semantics, Mathematics 1956ХХ
138073 Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects 1993 ХХХ
152420 Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science) 1993ХХ
77789 Schoning U. Logik fur Informatiker 2000 ХХХ
108064 Setzer A. Logik MN2 1997ХХ


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