Ãëàâíàÿ    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 Äîï.
191780 Stern J. Logic Colloquium 1981: Herbrand Symposium Proceedings 1982••
153036 Lolli G., Longo G., Marcja A. Logic Colloquium 1982: Proceedings of the Colloquium held in Florence 23-28 August, 1982 1984••
154970 Paris J., Wilkie A., Wilmers G. Logic Colloquium 1984: Proceedings 1986••
33129 Dimitracopoulos C., Normann D., Steel J.R. Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005 2007••
126692 Parikh R. Logic colloquium. Symposium on logic 1975••
184249 Parikh R. Logic Colloquium: symposium on logic held at Boston, 1972-73 1975••
163494 Yanushkevich S., Shmerko V., Lyshevski S. Logic Design of NanoICS 2005••
171890 Yanushkevich S. Vlad P. Shmerko Sergey E. Lyshevski, Shmerko V., Lyshevski S. Logic Design of NanoICS (Nano- and Microscience, Engineering, Technology, and Medicine Series) 2005••
77216 Rahman S. (ed.), Symons J. (ed.), Gabbay D.M. (ed.) Logic epistemology and the unity of science (¹1 2009) 2009 •••
137762 Gallier J. Logic for Computer Science 2003••
145642 Gallier J. Logic for computer science: foundations of automatic theorem proving 2003••
142695 Gallier J. Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003)) 2003••
161475 Schoning U. Logic for computer scientists 2008••
192665 Schoning U. Logic for Computer Scientists (Modern Birkh?user Classics) 2008••
7656 de Queiroz R.J. Logic for concurrency and synchronisation 2003••
29110 Zegarelli M. Logic For Dummies 2006••
77741 Zegarelli M. Logic for Dummies 2006 •••
32822 Herrmann R.A. Logic For Everyone 2006••
109382 Herrmann R.A. Logic for Everyone n/a••
180078 Hamilton A. Logic for mathematicians 1978 •••
14703 Kowalski R. Logic for problem solving 1979••
143625 Ganzinger H., McAllester D., Voronkov A. Logic for programming and automated reasoning, 6 conf., LPAR'99 1999••
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 •••
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••
173519 Clarke E., Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning 2010••
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••
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••
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••
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••
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••
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••
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••
137690 Craig W. Logic in Algebraic Form, Three Languages and Theories 1974••
154272 Michael Huth, Mark Ryan Logic in computer science 2004 •••
130236 Huth M., Ryan M. Logic in computer science: modelling and reasoning about systems 1999 •••
159429 Huth M., Ryan M. Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition 2004 •••
144393 Pedreschi D., Zaniolo C. Logic in Databases: International Workshop 1996 •••
175030 Seligman J., Westerstahl D. Logic language and computation. Volume 1 1996••
31523 Reyle U. (ed.), Ohlbach H.J. Logic Language and Reasoning n/a••
207801 MARTIN GARDNER LOGIC MACHINES AND DIAGRAMS 1958••
54851 Bennett D.J. Logic Made Easy: How to Know When Language Deceives You 2004••
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••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå