|
|
 |
| Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ:
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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
|
| Âñå ðåñóðñû |
Ñîðòèðîâêà:
| 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 | •• |
| 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 | •• |
| 137171 |
|
Jeroslow R. |
Logic-Based Decision Support: Mixed Integer Model Formulation (Annals of Discrete Mathematics) |
1989 | •• |
| 114021 |
|
Baader F. |
Logic-Based Knowledge Representation |
1999 | •• |
| 188005 |
|
Hanus M. |
Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008 |
2009 | •• |
| 171025 |
|
Puebla G. |
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers |
2007 | •• |
| 142802 |
|
King A. |
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised |
2008 | •• |
| 137120 |
|
Schreye D.D. |
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 |
2010 | •• |
| 79792 |
|
Bellido M.J., Juan J., Valencia M. |
Logic-timing Simulation And the Degradation Delay Model |
2005 | •• |
| 115151 |
|
Manuel J. Bellido, Jorge Juan, Manuel Valencia |
Logic-timing Simulation And the Degradation Delay Model |
2006 | •• |
| 208176 |
|
J. Blair |
Logic: A Very Short Introduction |
n/a | •• |
| 32992 |
|
Restall G. |
Logic: An Introduction |
2005 • | •• |
| 80764 |
|
Newton-Smith W. |
Logic: An Introductory Course |
1985 • | •• |
| 158220 |
|
Macintyre A., Pacholski L. |
Logic: Colloquium Proceedings, 1977 |
1978 | •• |
| 109990 |
|
Kant I. |
Logica |
n/a | •• |
| 114666 |
|
Asperti A., Ciabattoni A. |
Logica a informatica |
1997 | •• |
| 110727 |
|
Husserl E. |
Logica formal y logica transcendental |
1962 | •• |
| 74462 |
|
Raedt L.D. |
Logical and Relational Learning |
2008 | •• |
| 135530 |
|
Philippe de Groote, Glyn Morrill, Christian Retore |
Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings |
2001 • | •• |
| 138932 |
|
Groote P., Morrill G., Retore C. |
Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings |
2001 | •• |
| 137046 |
|
Blache Ph., Stabler E., Busquets J. |
Logical Aspects of Computational Linguistics: 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings |
2005 • | •• |
| 193230 |
|
Retore C. |
Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers |
1997 | •• |
| 191886 |
|
Lecomte A., Lamarche F., Perrier G. |
Logical Aspects of Computational Linguistics: Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers |
1999 | •• |
| 135080 |
|
Michael Moortgat |
Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers |
2001 • | •• |
| 144560 |
|
Chmura A., Heumann J. |
Logical Data Modeling: What it is and How to do it |
2004 | •• |
| 156104 |
|
Chmura A., Heumann J. |
Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) |
2005 | •• |
| 106084 |
|
John W., Dawson J. |
Logical Dilemmas. The life and work of Kurt Gedel |
1997 | •• |
| 34580 |
|
Dawson Jh.W. |
Logical Dilemmas: The Life and Work of Kurt Godel |
2005 | •• |
| 193223 |
|
Sutherland I., Sproull R., Harris D. |
Logical Effort: Designing Fast CMOS Circuits |
1998 | •• |
| 168708 |
|
Nerode A., Matiyasevich Y. |
Logical Foundations of Computer Science 3 conf., LFCS'94 |
1994 | •• |
| 153940 |
|
Adian S., Nerode A. |
Logical Foundations of Computer Science 4 conf., LFCS'97 |
1997 | •• |
| 146833 |
|
Nerode A., Taitslin M. |
Logical Foundations of Computer Science, LFCS '92 |
1992 | •• |
| 80469 |
|
Artemov S.(ed.), Nerode A.(ed.) |
Logical Foundations of Computer Science, LFCS 2009 |
2009 | •• |
| 78818 |
|
Artemov S. |
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings |
2007 | •• |
| 179058 |
|
Artemov S., Nerode A. |
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) |
2007 | •• |
|
|
|
|
Î ïðîåêòå