|
|
Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ: 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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
|
Âñå ðåñóðñû |
Ñîðòèðîâêà:
160000 |
|
Baral C., Brewka G., Schlipf J. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science) |
2007 | •• |
78821 |
|
Baral C. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings |
2007 | •• |
163176 |
|
Baral C., Greco G., Leone N. |
Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings |
2005 | •• |
167348 |
|
Lifschitz V., Niemela I. |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) |
2005 | •• |
191720 |
|
Lifschitz V., Niemela I. |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings |
2004 | •• |
178552 |
|
Eiter T., Faber W., Trusczynksi M. |
Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings |
2001 | •• |
194475 |
|
Michael Gelfond, Nicole Leone, Gerald Pfeifer |
Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings: ... |
1999 • | •• |
185312 |
|
Brewka G., Cabalar P., Son T. |
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings |
2013 | •• |
174194 |
|
Erdem E., Lin F., Schaub T. |
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) |
2009 | •• |
154621 |
|
Pereira L., Przymusinski T., Dix J. |
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers |
1998 | •• |
192803 |
|
Pereira L., Przymusinski T. |
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers |
1998 | •• |
177944 |
|
Voronkov A. |
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings |
1992 | •• |
142600 |
|
Pfenning F. |
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings |
1994 | •• |
141525 |
|
Voronkov A. |
Logic Programming and Automated Reasoning |
1993 | •• |
133297 |
|
Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 |
1991 • | •• |
135121 |
|
Furukawa K., Tanaka H., Fujisaki T. |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 |
1991 | •• |
176754 |
|
Wada E. |
Logic Programming '85, 4 conf. |
1986 | •• |
180565 |
|
Voronkov A. |
Logic Programming |
1992 | •• |
195831 |
|
Catuscia Palamidessi |
Logic Programming |
2003 | •• |
151674 |
|
Lau K.-K., Clement T.P. |
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992 |
1993 | •• |
196761 |
|
J.Gallagher |
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science) |
1997 | •• |
32131 |
|
Popper K. |
Logic of Scientific Discovery |
2002 • | •• |
34370 |
|
Buzaglo M. |
Logic of Concept Expansion |
2002 | •• |
143618 |
|
Brayton R.K., Hachtel G.D. |
Logic Minimization Algorithms for VLSI Synthesis |
1984 | •• |
54851 |
|
Bennett D.J. |
Logic Made Easy: How to Know When Language Deceives You |
2004 | •• |
207801 |
|
MARTIN GARDNER |
LOGIC MACHINES AND DIAGRAMS |
1958 | •• |
31523 |
|
Reyle U. (ed.), Ohlbach H.J. |
Logic Language and Reasoning |
n/a | •• |
175030 |
|
Seligman J., Westerstahl D. |
Logic language and computation. Volume 1 |
1996 | •• |
144393 |
|
Pedreschi D., Zaniolo C. |
Logic in Databases: International Workshop |
1996 • | •• |
159429 |
|
Huth M., Ryan M. |
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition |
2004 • | •• |
130236 |
|
Huth M., Ryan M. |
Logic in computer science: modelling and reasoning about systems |
1999 • | •• |
154272 |
|
Michael Huth, Mark Ryan |
Logic in computer science |
2004 • | •• |
137690 |
|
Craig W. |
Logic in Algebraic Form, Three Languages and Theories |
1974 | •• |
141348 |
|
Baaz M., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence |
2002 | •• |
146155 |
|
Nieuwenhuis R., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings |
2001 | •• |
160767 |
|
Fermuller C., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... Computer Science and General Issues) |
2010 | •• |
143381 |
|
Hermann M., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, |
2006 | •• |
180511 |
|
Baader F., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings |
2005 | •• |
136042 |
|
Moshe Vardi, Andrei Voronkov |
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence |
2003 • | •• |
139384 |
|
Vardi M., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence |
2003 | •• |
79219 |
|
Dershowitz N. (ed.), Voronkov A. (ed.) |
Logic for Programming, Artificial Intelligence, and Reasoning. 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 Proceedings |
2007 | •• |
173519 |
|
Clarke E., Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning |
2010 | •• |
152365 |
|
Parigot M., Voronkov A. |
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings |
2000 | •• |
129439 |
|
Ganzinger H., McAllester D., Voronkov A. |
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings |
1999 • | •• |
143625 |
|
Ganzinger H., McAllester D., Voronkov A. |
Logic for programming and automated reasoning, 6 conf., LPAR'99 |
1999 | •• |
14703 |
|
Kowalski R. |
Logic for problem solving |
1979 | •• |
180078 |
|
Hamilton A. |
Logic for mathematicians |
1978 • | •• |
32822 |
|
Herrmann R.A. |
Logic For Everyone |
2006 | •• |
109382 |
|
Herrmann R.A. |
Logic for Everyone |
n/a | •• |
29110 |
|
Zegarelli M. |
Logic For Dummies |
2006 | •• |
|
|