Ãëàâíàÿ    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 Äîï.
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
74615 Ying D. Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) 2009
173432 Dawar A., Queiroz R. Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Lecture Notes ... Lecture Notes in Artificial Intelligence) 2010
185152 Alechina N., Libkin L., Kohlenbach U. Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings 2013
32624 Boolos G.S. Logic, Logic, and Logic 1998
162873 Hutcheson F. Logic, Metaphysics, and the Natural Sociability of Mankind (Natural Law and Enlightenment Classics) 2006
144025 Suppes P. Logic, Methodology and Philosophy of Science IV 1973
181080 Cohen J. Logic, Methodology and Philosophy of Science: 6th: International Congress Proceedings: 6th 1982
140880 Nagel E., Suppes P., Tarski A. Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress 1962
153249 Nagel E., Suppes P., Tarski A. Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress 1962
26819 Nilsson U., Maluszynski J. Logic, Programming and Prolog 2000
150486 Nilsson U., Maluszynski J. Logic, programming and Prolog 1995
170546 Nilsson U., Mauszynski J. Logic, programming and prolog 1995
185749 Grossi D., Roy O., Huang H. Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings 2013


blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2021
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå