√лавна€    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 ƒоп.
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ХХ
195831 Catuscia Palamidessi Logic Programming: 19th International Conference 2004ХХ
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ХХ
194017 Tarski A., Woodger J. Logic, Semantics, Metamathematics. Papers from 1923 to 1938 1956ХХ
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ХХ


blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2020
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте