| 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 | •• |
| 29404 |
|
Jose J.A. (ed.), Leite J. (ed.) |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings |
2004 | •• |
| 172362 |
|
Alferes J., Leite J. |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings |
2004 | •• |
| 135678 |
|
Jose Julio Alferes, Joao Leite |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) |
2004 • | •• |
| 139044 |
|
Alferes J., Leite J. |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) |
2005 | •• |
| 173577 |
|
MacNish C., Pearce D., Pereira L. |
Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings |
1994 | •• |
| 187261 |
|
Mogavero F. |
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics Atlantis Studies in Computing Volume 3 |
2013 | •• |
| 169999 |
|
Engeler E. |
Logics of Programs 1979 |
1981 | •• |
| 140718 |
|
Kozen D. |
Logics of Programs 1981 |
1982 | •• |
| 179603 |
|
Parikh R. |
Logics of Programs 1985 |
1985 | •• |
| 130389 |
|
Salwicki A. |
Logics of Programs and Their Applications |
1983 | •• |
| 145979 |
|
Goldblatt R. |
Logics of time and computation |
1992 | •• |
| 188357 |
|
Goldblatt R. |
Logics of time and computation |
1992 | •• |
| 106198 |
|
Tarski A. |
Logics, Semantics, Mathematics |
1956 | •• |
| 138073 |
|
Atzeni P. |
LOGIDATA+: Deductive Databases with Complex Objects |
1993 • | •• |
| 152420 |
|
Atzeni P. |
LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science) |
1993 | •• |
| 77789 |
|
Schoning U. |
Logik fur Informatiker |
2000 • | •• |
| 108064 |
|
Setzer A. |
Logik MN2 |
1997 | •• |
| 20240 |
|
Meinel C. |
Logikminimierung |
1995 | •• |
| 22723 |
|
Smolka G., Schulte C. |
Logische Programmierung |
1993 | •• |
| 20242 |
|
Thiele H. |
Logische Systeme der Informatik |
n/a | •• |
| 149124 |
|
David G. Kleinbaum, Mitchel Klein |
Logistic Regression: A Self-learning Text |
2002 • | •• |
| 67930 |
|
Christopher M. |
Logistics & Supply Chain Management: creating value-adding networks |
2005 • | •• |
| 23415 |
|
Fernie J., Sparks L. |
Logistics and Retail Management |
2004 • | •• |
| 64747 |
|
G. Don Taylor (editor) |
Logistics Engineering Handbook |
2007 | •• |
|
|
Î ïðîåêòå