Ãëàâíàÿ    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 Äîï.
108064 Setzer A. Logik MN2 1997••
77789 Schoning U. Logik fur Informatiker 2000 •••
152420 Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science) 1993••
138073 Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects 1993 •••
106198 Tarski A. Logics, Semantics, Mathematics 1956••
145979 Goldblatt R. Logics of time and computation 1992••
188357 Goldblatt R. Logics of time and computation 1992••
130389 Salwicki A. Logics of Programs and Their Applications 1983••
179603 Parikh R. Logics of Programs 1985 1985••
140718 Kozen D. Logics of Programs 1981 1982••
169999 Engeler E. Logics of Programs 1979 1981••
187261 Mogavero F. Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics Atlantis Studies in Computing Volume 3 2013••
173577 MacNish C., Pearce D., Pereira L. Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings 1994••
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••
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••
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••
159174 Fisher M., Hoek W., Konev B. Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings 2006••
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••
89072 Ojeda-Aciego M., Guzman I.P., Brewka G. Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga 2000••
155576 Flesca S., Ianni G. Logics in Artificial Intelligence 2002••
194885 Alferes J., Pereira L., Orlowska E. Logics in Artificial Intelligence 1996 •••
217074 Faber W. (ed.), Friedrich G. (ed.), Gebser M. (ed.) Logics in Artificial Intelligence 2021••
190091 Pearce D., Wagner G. Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings 1992••
182353 Eijck J. Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings 1991••
169278 Moller F., Birtwistle G. Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science) 1996••
198253 Moller F., Birtwistle G. Logics for Concurrency - Structure versus Automata, 8 conf 1996 •••
187823 Singh A. Logics for Computer Science 2003••
10126 Thomason R.H. Logicism: Exact Philosophy, Linguistics and Artificial Intelligence 1995••
11216 Fant K.M. Logically Determined Design 2005••
197998 Klement E.P., Mesiar R. Logical, algebraic, analytic, and probabilistic aspects of triangular norms 2005 •••
151038 Dov M. Gabbay, Karl Schlechta Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies) 2009 •••
121494 Omnes R. Logical Reformulation of Quantum Mechanics. IV. Projectors in Semiclassical Physics 1989••
123578 Omnes R. Logical Reformulation of Quantum Mechanics. III. Classical Limit and Irreversibility 1988••
122720 Omnes R. Logical Reformulation of Quantum Mechanics. II. Interferences and the Einstein-Podolsky-Rosen Experiment 1988••
125723 Omnes R. Logical Reformulation of Quantum Mechanics. I. Foundations 1988••
112851 Husserl E. Logical Investigations. Volume II 2001••
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••
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••
109553 Cook S., Nguyen P. Logical foundations of proof complexity 2008 •••
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••
78818 Artemov S. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings 2007••
80469 Artemov S.(ed.), Nerode A.(ed.) Logical Foundations of Computer Science, LFCS 2009 2009••
146833 Nerode A., Taitslin M. Logical Foundations of Computer Science, LFCS '92 1992••
153940 Adian S., Nerode A. Logical Foundations of Computer Science 4 conf., LFCS'97 1997••
168708 Nerode A., Matiyasevich Y. Logical Foundations of Computer Science 3 conf., LFCS'94 1994••
193223 Sutherland I., Sproull R., Harris D. Logical Effort: Designing Fast CMOS Circuits 1998••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå