|
|
Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ: 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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
|
Âñå ðåñóðñû |
Ñîðòèðîâêà:
143618 |
|
Brayton R.K., Hachtel G.D. |
Logic Minimization Algorithms for VLSI Synthesis |
1984 | •• |
34370 |
|
Buzaglo M. |
Logic of Concept Expansion |
2002 | •• |
32131 |
|
Popper K. |
Logic of Scientific Discovery |
2002 • | •• |
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 | •• |
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 | •• |
180565 |
|
Voronkov A. |
Logic Programming |
1992 | •• |
195831 |
|
Catuscia Palamidessi |
Logic Programming |
2003 | •• |
176754 |
|
Wada E. |
Logic Programming '85, 4 conf. |
1986 | •• |
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 | •• |
141525 |
|
Voronkov A. |
Logic Programming and Automated Reasoning |
1993 | •• |
142600 |
|
Pfenning F. |
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings |
1994 | •• |
177944 |
|
Voronkov A. |
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings |
1992 | •• |
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 | •• |
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 | •• |
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 | •• |
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 • | •• |
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 | •• |
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 | •• |
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 | •• |
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 | •• |
78821 |
|
Baral C. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings |
2007 | •• |
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 | •• |
168475 |
|
Fuhrbach U., Nerode A. |
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings ... Computer Science / Lecture Notes in Artific) |
1997 | •• |
191894 |
|
Marek V., Nerode A., Truszcynski M. |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings |
1995 | •• |
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 | •• |
|
|