√лавна€    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 ƒоп.
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ХХ
187823 Singh A. Logics for Computer Science 2003ХХ
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ХХ
188357 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ХХ
20240 Meinel C. Logikminimierung 1995ХХ
22723 Smolka G., Schulte C. Logische Programmierung 1993ХХ
20242 Thiele H. Logische Systeme der Informatik n/aХХ
149124 David G. Kleinbaum, Mitchel Klein Logistic Regression: A Self-learning Text 2002 ХХХ
67930 Christopher M. Logistics & Supply Chain Management: creating value-adding networks 2005 ХХХ
23415 Fernie J., Sparks L. Logistics and Retail Management 2004 ХХХ
64747 G. Don Taylor (editor) Logistics Engineering Handbook 2007ХХ


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