√лавна€    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 ƒоп.
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ХХ
142600 Pfenning F. Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings 1994ХХ
177944 Voronkov A. Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings 1992ХХ
154621 Pereira L., Przymusinski T., Dix J. Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers 1998ХХ
174194 Erdem E., Lin F., Schaub T. Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) 2009ХХ
185312 Brewka G., Cabalar P., Son T. Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings 2013ХХ
178552 Eiter T., Faber W., Trusczynksi M. Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings 2001ХХ
167348 Lifschitz V., Niemela I. Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) 2005ХХ
163176 Baral C., Greco G., Leone N. Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings 2005ХХ
78821 Baral C. Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings 2007ХХ
160000 Baral C., Brewka G., Schlipf J. Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science) 2007ХХ
168475 Fuhrbach U., Nerode A. Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings ... Computer Science / Lecture Notes in Artific) 1997ХХ
170355 Comyn G., Fuchs N., Ratcliffe M. Logic Programming in Action, 2 school, LPSS '92 1992ХХ
128887 Gallagher J. Logic Programming Synthesis and Transformation 1997ХХ
188458 Proietti M. Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95 1996ХХ
182905 Fuchs N. Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97 1998ХХ
171554 Flener P. Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98 1999ХХ
126897 Annalisa Bossi Logic Programming Synthesis and Transformation, 9 conf. 2000 ХХХ
133167 Fribourg L., Turini F. Logic Programming Synthesis and Transformation. Meta-Programming in Logic 1994ХХ
28194 Bramer M. Logic Programming with Prolog 2005ХХ
142828 Bramer M. Logic Programming with Prolog 2005ХХ
174856 Bramer M. Logic Programming with Prolog 2005ХХ
188989 Bramer M. Logic Programming With Prolog 2005ХХ
169401 Banda M., Pontelli E. Logic Programming, 24 conf., ICLP 2008 2008ХХ
178148 Codognet P. Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings 2001ХХ
138432 Stuckey P.J. Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings 2002ХХ
126377 Bart Demoen, Vladimir Lifschitz Logic programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 2004 ХХХ


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