|
|
 |
| Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ:
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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
|
| Âñå ðåñóðñû |
Ñîðòèðîâêà:
| 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 | •• |
| 218792 |
|
Steinkrüger P., Hasper P.S. |
Logical Analysis and History of Philosophy: Philosophiegeschichte Und Logische Analyse. From Leibniz to Kant |
2018 | •• |
| 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 | •• |
| 109553 |
|
Cook S., Nguyen P. |
Logical foundations of proof complexity |
2008 • | •• |
| 162497 |
|
Cantini A. |
Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) |
1996 | •• |
| 165856 |
|
Cantini A. |
Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) |
1996 | •• |
| 135697 |
|
Cantini A. |
Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study (Studies in Logic and the Foundations of Mathematics) |
1996 • | •• |
| 139064 |
|
Cantini A. |
Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study (Studies in Logic and the Foundations of Mathematics) |
1996 | •• |
| 112851 |
|
Husserl E. |
Logical Investigations. Volume II |
2001 | •• |
| 125723 |
|
Omnes R. |
Logical Reformulation of Quantum Mechanics. I. Foundations |
1988 | •• |
| 122720 |
|
Omnes R. |
Logical Reformulation of Quantum Mechanics. II. Interferences and the Einstein-Podolsky-Rosen Experiment |
1988 | •• |
| 123578 |
|
Omnes R. |
Logical Reformulation of Quantum Mechanics. III. Classical Limit and Irreversibility |
1988 | •• |
| 121494 |
|
Omnes R. |
Logical Reformulation of Quantum Mechanics. IV. Projectors in Semiclassical Physics |
1989 | •• |
| 151038 |
|
Dov M. Gabbay, Karl Schlechta |
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies) |
2009 • | •• |
| 197998 |
|
Klement E.P., Mesiar R. |
Logical, algebraic, analytic, and probabilistic aspects of triangular norms |
2005 • | •• |
| 11216 |
|
Fant K.M. |
Logically Determined Design |
2005 | •• |
| 10126 |
|
Thomason R.H. |
Logicism: Exact Philosophy, Linguistics and Artificial Intelligence |
1995 | •• |
| 187823 |
|
Singh A. |
Logics for Computer Science |
2003 | •• |
| 198253 |
|
Moller F., Birtwistle G. |
Logics for Concurrency - Structure versus Automata, 8 conf |
1996 • | •• |
| 169278 |
|
Moller F., Birtwistle G. |
Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science) |
1996 | •• |
| 182353 |
|
Eijck J. |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings |
1991 | •• |
| 190091 |
|
Pearce D., Wagner G. |
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings |
1992 | •• |
| 155576 |
|
Flesca S., Ianni G. |
Logics in Artificial Intelligence |
2002 | •• |
| 194885 |
|
Alferes J., Pereira L., Orlowska E. |
Logics in Artificial Intelligence |
1996 • | •• |
| 217074 |
|
Faber W. (ed.), Friedrich G. (ed.), Gebser M. (ed.) |
Logics in Artificial Intelligence |
2021 | •• |
| 89072 |
|
Ojeda-Aciego M., Guzman I.P., Brewka G. |
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga |
2000 | •• |
| 131515 |
|
Dix J., Del Cerro F.L., Furbach U. |
Logics in Artificial Intelligence, JELIA '98: European Workshop, Jelia'98, Dagstuhl, Germany, October 12-15, 1998: Proceedings |
1998 | •• |
| 159174 |
|
Fisher M., Hoek W., Konev B. |
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings |
2006 | •• |
| 168951 |
|
Janhunen T., Niemela I. |
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence) |
2010 | •• |
|
|
|
|
Î ïðîåêòå