Ãëàâíàÿ    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 Äîï.
193223 Sutherland I., Sproull R., Harris D. Logical Effort: Designing Fast CMOS Circuits 1998••
34580 Dawson Jh.W. Logical Dilemmas: The Life and Work of Kurt Godel 2005••
106084 John W., Dawson J. Logical Dilemmas. The life and work of Kurt Gedel 1997••
156104 Chmura A., Heumann J. Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) 2005••
144560 Chmura A., Heumann J. Logical Data Modeling: What it is and How to do it 2004••
135080 Michael Moortgat Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers 2001 •••
191886 Lecomte A., Lamarche F., Perrier G. Logical Aspects of Computational Linguistics: Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers 1999••
193230 Retore C. Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers 1997••
137046 Blache Ph., Stabler E., Busquets J. Logical Aspects of Computational Linguistics: 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings 2005 •••
135530 Philippe de Groote, Glyn Morrill, Christian Retore Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings 2001 •••
138932 Groote P., Morrill G., Retore C. Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings 2001••
74462 Raedt L.D. Logical and Relational Learning 2008••
110727 Husserl E. Logica formal y logica transcendental 1962••
114666 Asperti A., Ciabattoni A. Logica a informatica 1997••
109990 Kant I. Logica n/a••
158220 Macintyre A., Pacholski L. Logic: Colloquium Proceedings, 1977 1978••
80764 Newton-Smith W. Logic: An Introductory Course 1985 •••
32992 Restall G. Logic: An Introduction 2005 •••
208176 J. Blair Logic: A Very Short Introduction n/a••
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••
137120 Schreye D.D. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 2010••
142802 King A. Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised 2008••
171025 Puebla G. Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 2007••
188005 Hanus M. Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008 2009••
114021 Baader F. Logic-Based Knowledge Representation 1999••
137171 Jeroslow R. Logic-Based Decision Support: Mixed Integer Model Formulation (Annals of Discrete Mathematics) 1989••
133931 Jeroslow R. Logic-Based Decision Support: Mixed Integer Model Formulation 1989••
154468 Minker J. Logic-based artificial intelligence 2000••
54852 Causey R.L. Logic, Sets, and Recursion 1994••
165319 Tarski A. Logic, semantics, metamathematics: Papers from 1923 to 1938 1956••
185749 Grossi D., Roy O., Huang H. Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings 2013••
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 •••
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••
181080 Cohen J. Logic, Methodology and Philosophy of Science: 6th: International Congress Proceedings: 6th 1982••
144025 Suppes P. Logic, Methodology and Philosophy of Science IV 1973••
162873 Hutcheson F. Logic, Metaphysics, and the Natural Sociability of Mankind (Natural Law and Enlightenment Classics) 2006••
32624 Boolos G.S. Logic, Logic, and Logic 1998••
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••
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••
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 •••
128969 Leivant D. Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 2007 •••
126669 Hodges W. (ed.), de Queiroz R. (ed.) Logic, Language, Information and Computation 2008••
163961 Jones N.D., Hagiya M., Sato M. Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science) 1994••
131652 Seligman J., Westerstahl D. Logic, Language and Computation 1996••
32821 Forster T. Logic, Induction and Sets 2003••
108698 Forster T. Logic, induction and sets 2003••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå