Ãëàâíàÿ    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 Äîï.
126897 Annalisa Bossi Logic Programming Synthesis and Transformation, 9 conf. 2000 •••
171554 Flener P. Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98 1999••
182905 Fuchs N. Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97 1998••
188458 Proietti M. Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95 1996••
128887 Gallagher J. Logic Programming Synthesis and Transformation 1997••
170355 Comyn G., Fuchs N., Ratcliffe M. Logic Programming in Action, 2 school, LPSS '92 1992••
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••
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••
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••
78821 Baral C. Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings 2007••
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••
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••
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••
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••
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 •••
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••
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••
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••
177944 Voronkov A. Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings 1992••
142600 Pfenning F. Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings 1994••
141525 Voronkov A. Logic Programming and Automated Reasoning 1993••
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••
176754 Wada E. Logic Programming '85, 4 conf. 1986••
180565 Voronkov A. Logic Programming 1992••
195831 Catuscia Palamidessi Logic Programming 2003••
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••
196761 J.Gallagher Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science) 1997••
32131 Popper K. Logic of Scientific Discovery 2002 •••
34370 Buzaglo M. Logic of Concept Expansion 2002••
143618 Brayton R.K., Hachtel G.D. Logic Minimization Algorithms for VLSI Synthesis 1984••
54851 Bennett D.J. Logic Made Easy: How to Know When Language Deceives You 2004••
207801 MARTIN GARDNER LOGIC MACHINES AND DIAGRAMS 1958••
31523 Reyle U. (ed.), Ohlbach H.J. Logic Language and Reasoning n/a••
175030 Seligman J., Westerstahl D. Logic language and computation. Volume 1 1996••
144393 Pedreschi D., Zaniolo C. Logic in Databases: International Workshop 1996 •••
159429 Huth M., Ryan M. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition 2004 •••
130236 Huth M., Ryan M. Logic in computer science: modelling and reasoning about systems 1999 •••
154272 Michael Huth, Mark Ryan Logic in computer science 2004 •••
137690 Craig W. Logic in Algebraic Form, Three Languages and Theories 1974••
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••
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••
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••
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••
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••
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••
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••
173519 Clarke E., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning 2010••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå