√лавна€    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 ƒоп.
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ХХ
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ХХ
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-2018
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте