|
 |
Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ: 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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
 |
Âñå ðåñóðñû |
Ñîðòèðîâêà:
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 | •• |
|
|