| 64601. |
Hamer C. J. Batchelor M. T. Michael N. Barber |
Logarithmic Corrections to Finite-Size Scaling in the Four-State Potts Model | 1988 |
 |
| 64602. |
Brankov J.G. Danehev D.M. |
Logarithmic Finite-Size Corrections in the Three-Dimensional Mean Spherical Model | 1993 |
|
| 64603. |
Baker A. Wustholz G. |
Logarithmic Forms and Diophantine Geometry | 2007 |
|
| 64604. |
Holley R. |
Logarithmic Sobolev Inequalities and Stochastic Ising Models | 1987 |
|
| 64605. |
Gupta S. |
Logging in Java with the JDK 1.4 logging API and Apache log4j | 2003 |
|
| 64606. |
Tomassi P. |
Logic | 1999 |
|
| 64607. |
Priest G. |
Logic - A Very Short Introduction (Indian Edition) | 2006 |
|
| 64608. |
Ursini A. (ed.) Aglianò P. (ed.) |
Logic and Algebra | 1996 |
|
| 64609. |
Flum J. (ed.) Gradel E. (ed.) Wilke T. (ed.) |
Logic and Automata. History and Perspectives | 2008 |
|
| 64610. |
Levitz K. Levitz H. |
Logic and Boolean Algebra | 1997 |
|
| 64611. |
Paulson L. |
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) | 1990 |
|
| 64612. |
Leivant D. |
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers | 1995 |
|
| 64613. |
Mano M.M. Kime C.R. |
Logic and Computer Design Fundamentals (3-d edition) | 2004 |
|
| 64614. |
Mano Kime |
Logic and Computer Design Fundamentals (3rd edition) | 2003 |
|
| 64615. |
M. Morris Mano Charles Kime |
Logic and Computer Design Fundamentals (4th Edition) Solutions textbook. (4 edition) | 2007 |
|
| 64616. |
Homer S. Nerode A. Platek R.A. |
Logic and Computer Science | 1990 |
|
| 64617. |
Scedrov A. Nerode A. Sacks G.E. |
Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988 | 1990 |
|
| 64618. |
Williams H.P. |
Logic and integer programming | 2009 |
|
| 64619. |
Williams H. |
Logic and Integer Programming | 2009 |
|
| 64620. |
Banerjee M. Seth A. |
Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings | 2011 |
|
| 64621. |
Dean N. |
Logic and Language | 2003 |
|
| 64622. |
Hamburger H. Richards D. |
Logic and Language Models for Computer Science | 2002 |
|
| 64623. |
Centrone S. |
Logic and Philosophy of Mathematics in the Early Husserl | 2009 |
|
| 64624. |
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 |
|
| 64625. |
Madarasz J.X. |
Logic and Relativity | 2002 |
|
| 64626. |
Madarasz J.X. |
Logic and Relativity | 2002 |
|
| 64627. |
Moore R. |
Logic and Representation | 1995 |
|
| 64628. |
Middelburg C.A. |
Logic and specification: extending VDM-SL for advanced formal specification (1st edition) | 1993 |
|
| 64629. |
Dalen D.V. |
Logic and Structure (3rd edition) | 1994 |
|
| 64630. |
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 |
|
| 64631. |
Gabbay D.M. (Ed) Woods J. (Ed) |
Logic and the Modalities in the Twentieth Century, Vol. 7 | 2006 |
|
| 64632. |
Halmos P.R. Givant S. |
Logic as Algebra | 1998 |
|
| 64633. |
Halmos P. Givant S. |
Logic as algebra | 1998 |
|
| 64634. |
Pettorossi A. |
Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001 | 2002 |
|
| 64635. |
Leuschel M. |
Logic Based Program Synthesis and Transformation, 12 conf., LOPSTR 2002 | 2003 |
|
| 64636. |
Etalle S. |
Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004 | 2005 |
|
| 64637. |
Hill P. |
Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005 | 2006 |
|
| 64638. |
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 |
|
| 64639. |
Parikh R. |
Logic Colloquium | 1975 |
|
| 64640. |
Gandy R. Yates C. |
Logic Colloquium '69 | 1971 |
|
| 64641. |
K.Boroczky |
Logic Colloquium '73 | 1975 |
|
| 64642. |
Boffa M. |
Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978 | 1979 |
|
| 64643. |
0 |
LOGIC COLLOQUIUM '85 | 1991 |
|
| 64644. |
Gandy R.O. Hyland J.M.E. |
Logic Colloquium 1976: Proceedings | 1977 |
|
| 64645. |
Stern J. |
Logic Colloquium 1981: Herbrand Symposium Proceedings | 1982 |
|
| 64646. |
Lolli G. Longo G. Marcja A. |
Logic Colloquium 1982: Proceedings of the Colloquium held in Florence 23-28 August, 1982 | 1984 |
|
| 64647. |
Paris J. Wilkie A. Wilmers G. |
Logic Colloquium 1984: Proceedings | 1986 |
|
| 64648. |
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 |
|
| 64649. |
Parikh R. |
Logic colloquium. Symposium on logic | 1975 |
|
| 64650. |
Parikh R. |
Logic Colloquium: symposium on logic held at Boston, 1972-73 | 1975 |
|
| 64651. |
Yanushkevich S. Shmerko V. Lyshevski S. |
Logic Design of NanoICS | 2005 |
|
| 64652. |
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 |
|
| 64653. |
Rahman S. (ed.) Symons J. (ed.) Gabbay D.M. (ed.) |
Logic epistemology and the unity of science (№1 2009) (1st ed. 2004. 2nd printing edition (March 13, 2009)) | 2009 |
|
| 64654. |
Gallier J. |
Logic for Computer Science | 2003 |
|
| 64655. |
Gallier J. |
Logic for computer science: foundations of automatic theorem proving | 2003 |
|
| 64656. |
Gallier J. |
Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003)) | 2003 |
|
| 64657. |
Schoning U. |
Logic for computer scientists | 2008 |
|
| 64658. |
Schoning U. |
Logic for Computer Scientists (Modern Birkh?user Classics) | 2008 |
|
| 64659. |
de Queiroz R.J. |
Logic for concurrency and synchronisation | 2003 |
|
| 64660. |
Zegarelli M. |
Logic For Dummies | 2006 |
|
| 64661. |
Zegarelli M. |
Logic for Dummies (illustrated edition) | 2006 |
|
| 64662. |
Herrmann R.A. |
Logic For Everyone | 2006 |
|
| 64663. |
Herrmann R.A. |
Logic for Everyone | n/a |
|
| 64664. |
Hamilton A. |
Logic for mathematicians (2nd edition) | 1978 |
|
| 64665. |
Kowalski R. |
Logic for problem solving | 1979 |
|
| 64666. |
Ganzinger H. McAllester D. Voronkov A. |
Logic for programming and automated reasoning, 6 conf., LPAR'99 | 1999 |
|
| 64667. |
Ganzinger H. McAllester D. Voronkov A. |
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings (1 edition) | 1999 |
|
| 64668. |
Parigot M. Voronkov A. |
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings | 2000 |
|
| 64669. |
Clarke E. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning | 2010 |
|
| 64670. |
Dershowitz N. (ed.) Voronkov A. (ed.) |
Logic for Programming, Artificial Intelligence, and Reasoning. 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 Proceedings | 2007 |
|
| 64671. |
Moshe Vardi Andrei Voronkov |
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence (1 edition) | 2003 |
|
| 64672. |
Vardi M. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence | 2003 |
|
| 64673. |
Baader F. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings | 2005 |
|
| 64674. |
Hermann M. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, | 2006 |
|
| 64675. |
Fermuller C. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... Computer Science and General Issues) | 2010 |
|
| 64676. |
Nieuwenhuis R. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings | 2001 |
|
| 64677. |
Baaz M. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence | 2002 |
|
| 64678. |
Craig W. |
Logic in Algebraic Form, Three Languages and Theories | 1974 |
|
| 64679. |
Michael Huth Mark Ryan |
Logic in computer science (2 edition) | 2004 |
|
| 64680. |
Huth M. Ryan M. |
Logic in computer science: modelling and reasoning about systems (0 edition) | 1999 |
|
| 64681. |
Huth M. Ryan M. |
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition (2nd edition) | 2004 |
|
| 64682. |
Pedreschi D. Zaniolo C. |
Logic in Databases: International Workshop (1 edition) | 1996 |
|
| 64683. |
Seligman J. Westerstahl D. |
Logic language and computation. Volume 1 | 1996 |
|
| 64684. |
Reyle U. (ed.) Ohlbach H.J. |
Logic Language and Reasoning | n/a |
|
| 64685. |
MARTIN GARDNER |
LOGIC MACHINES AND DIAGRAMS | 1958 |
|
| 64686. |
Bennett D.J. |
Logic Made Easy: How to Know When Language Deceives You | 2004 |
|
| 64687. |
Brayton R.K. Hachtel G.D. |
Logic Minimization Algorithms for VLSI Synthesis | 1984 |
|
| 64688. |
Buzaglo M. |
Logic of Concept Expansion | 2002 |
|
| 64689. |
Popper K. |
Logic of Scientific Discovery (15th edition) | 2002 |
|
| 64690. |
J.Gallagher |
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science) | 1997 |
|
| 64691. |
Lau K.-K. Clement T.P. |
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992 | 1993 |
|
| 64692. |
Voronkov A. |
Logic Programming | 1992 |
|
| 64693. |
Catuscia Palamidessi |
Logic Programming | 2003 |
|
| 64694. |
Wada E. |
Logic Programming '85, 4 conf. | 1986 |
|
| 64695. |
Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (1 edition) | 1991 |
|
| 64696. |
Furukawa K. Tanaka H. Fujisaki T. |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 | 1991 |
|
| 64697. |
Voronkov A. |
Logic Programming and Automated Reasoning | 1993 |
|
| 64698. |
Pfenning F. |
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings | 1994 |
|
| 64699. |
Voronkov A. |
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings | 1992 |
|
| 64700. |
Pereira L. Przymusinski T. Dix J. |
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers | 1998 |
|
|
|
О проекте