| 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 | •• |
| 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 • | •• |
|
|
Î ïðîåêòå