Ãëàâíàÿ    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 Äîï.
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••
169180 Aiserman M., Gusev L., Rozonoer L. Logic, automata, and algorithms 1971••
106163 Forster T. Logic, Computation and Set Theory 2002••
77516 Marquis J.P. Logic, epistemology, and the unity of science (¹16 2009). From a Geometrical point of view. A study of the history and philosophy of category theory 2009••
32821 Forster T. Logic, Induction and Sets 2003••
108698 Forster T. Logic, induction and sets 2003••
131652 Seligman J., Westerstahl D. Logic, Language and Computation 1996••
163961 Jones N.D., Hagiya M., Sato M. Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science) 1994••
126669 Hodges W. (ed.), de Queiroz R. (ed.) Logic, Language, Information and Computation 2008••
128969 Leivant D. Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 2007 •••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå