√лавна€    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 ƒоп.
153036 Lolli G., Longo G., Marcja A. Logic Colloquium 1982: Proceedings of the Colloquium held in Florence 23-28 August, 1982 1984ХХ
154970 Paris J., Wilkie A., Wilmers G. Logic Colloquium 1984: Proceedings 1986ХХ
33129 Dimitracopoulos C., Normann D., Steel J.R. Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005 2007ХХ
126692 Parikh R. Logic colloquium. Symposium on logic 1975ХХ
184249 Parikh R. Logic Colloquium: symposium on logic held at Boston, 1972-73 1975ХХ
163494 Yanushkevich S., Shmerko V., Lyshevski S. Logic Design of NanoICS 2005ХХ
171890 Yanushkevich S. Vlad P. Shmerko Sergey E. Lyshevski, Shmerko V., Lyshevski S. Logic Design of NanoICS (Nano- and Microscience, Engineering, Technology, and Medicine Series) 2005ХХ
77216 Rahman S. (ed.), Symons J. (ed.), Gabbay D.M. (ed.) Logic epistemology and the unity of science (є1 2009) 2009 ХХХ
137762 Gallier J. Logic for Computer Science 2003ХХ
145642 Gallier J. Logic for computer science: foundations of automatic theorem proving 2003ХХ
142695 Gallier J. Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003)) 2003ХХ
145762 Schoning U. Logic for Computer Scientists 2008ХХ
161475 Schoning U. Logic for computer scientists 2008ХХ
7656 de Queiroz R.J. Logic for concurrency and synchronisation 2003ХХ
29110 Zegarelli M. Logic For Dummies 2006ХХ
77741 Zegarelli M. Logic for Dummies 2006 ХХХ
32822 Herrmann R.A. Logic For Everyone 2006ХХ
109382 Herrmann R.A. Logic for Everyone n/aХХ
180078 Hamilton A. Logic for mathematicians 1978 ХХХ
14703 Kowalski R. Logic for problem solving 1979ХХ
143625 Ganzinger H., McAllester D., Voronkov A. Logic for programming and automated reasoning, 6 conf., LPAR'99 1999ХХ
129439 Ganzinger H., McAllester D., Voronkov A. Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings 1999 ХХХ
152365 Parigot M., Voronkov A. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings 2000ХХ
173519 Clarke E., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning 2010ХХ
79219 Dershowitz N. (ed.), Voronkov A. (ed.) Logic for Programming, Artificial Intelligence, and Reasoning. 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 Proceedings 2007ХХ
136042 Moshe Vardi, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence 2003 ХХХ
139384 Vardi M., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence 2003ХХ
180511 Baader F., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings 2005ХХ
143381 Hermann M., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, 2006ХХ
160767 Fermuller C., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... Computer Science and General Issues) 2010ХХ
146155 Nieuwenhuis R., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings 2001ХХ
141348 Baaz M., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence 2002ХХ
137690 Craig W. Logic in Algebraic Form, Three Languages and Theories 1974ХХ
154272 Michael Huth, Mark Ryan Logic in computer science 2004 ХХХ
130236 Huth M., Ryan M. Logic in computer science: modelling and reasoning about systems 1999 ХХХ
159429 Huth M., Ryan M. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition 2004 ХХХ
144393 Pedreschi D., Zaniolo C. Logic in Databases: International Workshop 1996 ХХХ
175030 Seligman J., Westerstahl D. Logic language and computation. Volume 1 1996ХХ
31523 Reyle U. (ed.), Ohlbach H.J. Logic Language and Reasoning n/aХХ
54851 Bennett D.J. Logic Made Easy: How to Know When Language Deceives You 2004ХХ
143618 Brayton R.K., Hachtel G.D. Logic Minimization Algorithms for VLSI Synthesis 1984ХХ
34370 Buzaglo M. Logic of Concept Expansion 2002ХХ
32131 Popper K. Logic of Scientific Discovery 2002 ХХХ
151674 Lau K.-K., Clement T.P. Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992 1993ХХ
143106 Palamidessi C. Logic Programming 2003ХХ
180565 Voronkov A. Logic Programming 1992ХХ
176754 Wada E. Logic Programming '85, 4 conf. 1986ХХ
133297 Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 1991 ХХХ
135121 Furukawa K., Tanaka H., Fujisaki T. Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 1991ХХ
141525 Voronkov A. Logic Programming and Automated Reasoning 1993ХХ


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