√лавна€    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 ƒоп.
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ХХ
180565 Voronkov A. Logic Programming 1992ХХ
195831 Catuscia Palamidessi Logic Programming 2003ХХ
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ХХ
192803 Pereira L., Przymusinski T. 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ХХ
194475 Michael Gelfond, Nicole Leone, Gerald Pfeifer Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings: ... 1999 ХХХ
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ХХ
191720 Lifschitz V., Niemela I. Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings 2004ХХ
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ХХ
191894 Marek V., Nerode A., Truszcynski M. Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings 1995ХХ
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 ХХХ
149869 Demoen B., Lifschitz V. Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings 2004ХХ
136557 Maurizio Gabbrielli, Gopal Gupta Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings 2005 ХХХ
141964 Etalle S., Truszczynski M. Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006ХХ
182329 Dahl V., Niemela I. Logic programming: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007; proceedings 2007ХХ
162374 Andrews J.H. Logic Programming: Operational Semantics and Proof Theory 1993 ХХХ
173318 Muller G., Takeuti G., Tugue T. Logic Symposia, Hakone, 1979, 1980 1981ХХ
74468 Müller G.H., Takeuti G. Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 1981ХХ
81613 Lenski W. (Editor) Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday 2004 ХХХ
154778 Lenski W. Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) 2005ХХ
59363 Amey P. Logic versus Magic in Critical Systems 2001ХХ
32690 Howson C. Logic with Trees: An Introduction to Symbolic Logic 1997ХХ
36395 Lerman M., Schmerl J.H., Soare R.I. Logic Year 1979-80 1981ХХ
182186 Lerman M., Schmerl J., Soare R. Logic Year 1979-80 1981ХХ


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