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 | •• |
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 • | •• |
143625 |
|
Ganzinger H., McAllester D., Voronkov A. |
Logic for programming and automated reasoning, 6 conf., LPAR'99 |
1999 | •• |
14703 |
|
Kowalski R. |
Logic for problem solving |
1979 | •• |
180078 |
|
Hamilton A. |
Logic for mathematicians |
1978 • | •• |
32822 |
|
Herrmann R.A. |
Logic For Everyone |
2006 | •• |
109382 |
|
Herrmann R.A. |
Logic for Everyone |
n/a | •• |
29110 |
|
Zegarelli M. |
Logic For Dummies |
2006 | •• |
77741 |
|
Zegarelli M. |
Logic for Dummies |
2006 • | •• |
7656 |
|
de Queiroz R.J. |
Logic for concurrency and synchronisation |
2003 | •• |
192665 |
|
Schoning U. |
Logic for Computer Scientists (Modern Birkh?user Classics) |
2008 | •• |
161475 |
|
Schoning U. |
Logic for computer scientists |
2008 | •• |
142695 |
|
Gallier J. |
Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003)) |
2003 | •• |
145642 |
|
Gallier J. |
Logic for computer science: foundations of automatic theorem proving |
2003 | •• |
137762 |
|
Gallier J. |
Logic for Computer Science |
2003 | •• |
77216 |
|
Rahman S. (ed.), Symons J. (ed.), Gabbay D.M. (ed.) |
Logic epistemology and the unity of science (¹1 2009) |
2009 • | •• |
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 | •• |
163494 |
|
Yanushkevich S., Shmerko V., Lyshevski S. |
Logic Design of NanoICS |
2005 | •• |
184249 |
|
Parikh R. |
Logic Colloquium: symposium on logic held at Boston, 1972-73 |
1975 | •• |
126692 |
|
Parikh R. |
Logic colloquium. Symposium on logic |
1975 | •• |
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 | •• |
154970 |
|
Paris J., Wilkie A., Wilmers G. |
Logic Colloquium 1984: Proceedings |
1986 | •• |
153036 |
|
Lolli G., Longo G., Marcja A. |
Logic Colloquium 1982: Proceedings of the Colloquium held in Florence 23-28 August, 1982 |
1984 | •• |
191780 |
|
Stern J. |
Logic Colloquium 1981: Herbrand Symposium Proceedings |
1982 | •• |
146233 |
|
Gandy R.O., Hyland J.M.E. |
Logic Colloquium 1976: Proceedings |
1977 | •• |
148438 |
|
0 |
LOGIC COLLOQUIUM '85 |
1991 | •• |
191776 |
|
Boffa M. |
Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978 |
1979 | •• |
194753 |
|
K.Boroczky |
Logic Colloquium '73 |
1975 | •• |
137173 |
|
Gandy R., Yates C. |
Logic Colloquium '69 |
1971 | •• |
42772 |
|
Parikh R. |
Logic Colloquium |
1975 | •• |
191946 |
|
Bruynooghe M. |
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science) |
2004 | •• |
158063 |
|
Hill P. |
Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005 |
2006 | •• |
186435 |
|
Etalle S. |
Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004 |
2005 | •• |
160523 |
|
Leuschel M. |
Logic Based Program Synthesis and Transformation, 12 conf., LOPSTR 2002 |
2003 | •• |
173062 |
|
Pettorossi A. |
Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001 |
2002 | •• |
34832 |
|
Halmos P.R., Givant S. |
Logic as Algebra |
1998 | •• |
179802 |
|
Halmos P., Givant S. |
Logic as algebra |
1998 | •• |
34331 |
|
Gabbay D.M. (Ed), Woods J. (Ed) |
Logic and the Modalities in the Twentieth Century, Vol. 7 |
2006 | •• |
146825 |
|
Bonanno G., Lowe B., van der Hoek W. |
Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008 |
2010 | •• |
80716 |
|
Dalen D.V. |
Logic and Structure |
1994 • | •• |
74240 |
|
Middelburg C.A. |
Logic and specification: extending VDM-SL for advanced formal specification |
1993 • | •• |
169304 |
|
Moore R. |
Logic and Representation |
1995 | •• |
13150 |
|
Madarasz J.X. |
Logic and Relativity |
2002 | •• |
114272 |
|
Madarasz J.X. |
Logic and Relativity |
2002 | •• |
32828 |
|
Prawitz D. (ed.), Westerstehl D. (ed.) |
Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science |
1994 | •• |
134877 |
|
Centrone S. |
Logic and Philosophy of Mathematics in the Early Husserl |
2009 | •• |
141827 |
|
Hamburger H., Richards D. |
Logic and Language Models for Computer Science |
2002 | •• |
33646 |
|
Dean N. |
Logic and Language |
2003 | •• |
192836 |
|
Banerjee M., Seth A. |
Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings |
2011 | •• |
135880 |
|
Williams H.P. |
Logic and integer programming |
2009 | •• |