Ãëàâíàÿ    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 Äîï.
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••
165319 Tarski A. Logic, semantics, metamathematics: Papers from 1923 to 1938 1956••
54852 Causey R.L. Logic, Sets, and Recursion 1994••
154468 Minker J. Logic-based artificial intelligence 2000••
133931 Jeroslow R. Logic-Based Decision Support: Mixed Integer Model Formulation 1989••
137171 Jeroslow R. Logic-Based Decision Support: Mixed Integer Model Formulation (Annals of Discrete Mathematics) 1989••
114021 Baader F. Logic-Based Knowledge Representation 1999••
188005 Hanus M. Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008 2009••
171025 Puebla G. Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 2007••
142802 King A. Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised 2008••
137120 Schreye D.D. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 2010••
79792 Bellido M.J., Juan J., Valencia M. Logic-timing Simulation And the Degradation Delay Model 2005••
115151 Manuel J. Bellido, Jorge Juan, Manuel Valencia Logic-timing Simulation And the Degradation Delay Model 2006••
208176 J. Blair Logic: A Very Short Introduction n/a••
32992 Restall G. Logic: An Introduction 2005 •••
80764 Newton-Smith W. Logic: An Introductory Course 1985 •••
158220 Macintyre A., Pacholski L. Logic: Colloquium Proceedings, 1977 1978••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå