| 64701. |
Brewka G. Cabalar P. Son T. |
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings | 2013 |
 |
| 64702. |
Michael Gelfond Nicole Leone Gerald Pfeifer |
Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings: ... (1 edition) | 1999 |
|
| 64703. |
Eiter T. Faber W. Trusczynksi M. |
Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings | 2001 |
|
| 64704. |
Lifschitz V. Niemela I. |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings | 2004 |
|
| 64705. |
Lifschitz V. Niemela I. |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) | 2005 |
|
| 64706. |
Baral C. Greco G. Leone N. |
Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings | 2005 |
|
| 64707. |
Baral C. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings | 2007 |
|
| 64708. |
Baral C. Brewka G. Schlipf J. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science) | 2007 |
|
| 64709. |
Fuhrbach U. Nerode A. |
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings ... Computer Science / Lecture Notes in Artific) | 1997 |
|
| 64710. |
Marek V. Nerode A. Truszcynski M. |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings | 1995 |
|
| 64711. |
Comyn G. Fuchs N. Ratcliffe M. |
Logic Programming in Action, 2 school, LPSS '92 | 1992 |
|
| 64712. |
Gallagher J. |
Logic Programming Synthesis and Transformation | 1997 |
|
| 64713. |
Proietti M. |
Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95 | 1996 |
|
| 64714. |
Fuchs N. |
Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97 | 1998 |
|
| 64715. |
Flener P. |
Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98 | 1999 |
|
| 64716. |
Annalisa Bossi |
Logic Programming Synthesis and Transformation, 9 conf. (1 edition) | 2000 |
|
| 64717. |
Fribourg L. Turini F. |
Logic Programming Synthesis and Transformation. Meta-Programming in Logic | 1994 |
|
| 64718. |
Bramer M. |
Logic Programming with Prolog | 2005 |
|
| 64719. |
Bramer M. |
Logic Programming with Prolog | 2005 |
|
| 64720. |
Bramer M. |
Logic Programming with Prolog | 2005 |
|
| 64721. |
Bramer M. |
Logic Programming With Prolog | 2005 |
|
| 64722. |
Banda M. Pontelli E. |
Logic Programming, 24 conf., ICLP 2008 | 2008 |
|
| 64723. |
Codognet P. |
Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings | 2001 |
|
| 64724. |
Stuckey P.J. |
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings | 2002 |
|
| 64725. |
Bart Demoen Vladimir Lifschitz |
Logic programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 (1 edition) | 2004 |
|
| 64726. |
Demoen B. Lifschitz V. |
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings | 2004 |
|
| 64727. |
Maurizio Gabbrielli Gopal Gupta |
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings (1 edition) | 2005 |
|
| 64728. |
Etalle S. Truszczynski M. |
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
|
| 64729. |
Dahl V. Niemela I. |
Logic programming: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007; proceedings | 2007 |
|
| 64730. |
Andrews J.H. |
Logic Programming: Operational Semantics and Proof Theory (New Ed edition) | 1993 |
|
| 64731. |
Muller G. Takeuti G. Tugue T. |
Logic Symposia, Hakone, 1979, 1980 | 1981 |
|
| 64732. |
Müller G.H. Takeuti G. |
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 | 1981 |
|
| 64733. |
Lenski W. (Editor) |
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday (1 edition) | 2004 |
|
| 64734. |
Lenski W. |
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) | 2005 |
|
| 64735. |
Amey P. |
Logic versus Magic in Critical Systems | 2001 |
|
| 64736. |
Howson C. |
Logic with Trees: An Introduction to Symbolic Logic | 1997 |
|
| 64737. |
Lerman M. Schmerl J.H. Soare R.I. |
Logic Year 1979-80 | 1981 |
|
| 64738. |
Lerman M. Schmerl J. Soare R. |
Logic Year 1979-80 | 1981 |
|
| 64739. |
Aiserman M. Gusev L. Rozonoer L. |
Logic, automata, and algorithms | 1971 |
|
| 64740. |
Forster T. |
Logic, Computation and Set Theory | 2002 |
|
| 64741. |
Marquis J.P. |
Logic, epistemology, and the unity of science (№16 2009). From a Geometrical point of view. A study of the history and philosophy of category theory | 2009 |
|
| 64742. |
Forster T. |
Logic, Induction and Sets | 2003 |
|
| 64743. |
Forster T. |
Logic, induction and sets | 2003 |
|
| 64744. |
Seligman J. Westerstahl D. |
Logic, Language and Computation | 1996 |
|
| 64745. |
Jones N.D. Hagiya M. Sato M. |
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science) | 1994 |
|
| 64746. |
Hodges W. (ed.) de Queiroz R. (ed.) |
Logic, Language, Information and Computation | 2008 |
|
| 64747. |
Leivant D. |
Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 (1 edition) | 2007 |
|
| 64748. |
Ying D. |
Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) (1 edition) | 2009 |
|
| 64749. |
Dawar A. Queiroz R. |
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Lecture Notes ... Lecture Notes in Artificial Intelligence) | 2010 |
|
| 64750. |
Alechina N. Libkin L. Kohlenbach U. |
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings | 2013 |
|
| 64751. |
Boolos G.S. |
Logic, Logic, and Logic | 1998 |
|
| 64752. |
Hutcheson F. |
Logic, Metaphysics, and the Natural Sociability of Mankind (Natural Law and Enlightenment Classics) | 2006 |
|
| 64753. |
Suppes P. |
Logic, Methodology and Philosophy of Science IV | 1973 |
|
| 64754. |
Cohen J. |
Logic, Methodology and Philosophy of Science: 6th: International Congress Proceedings: 6th | 1982 |
|
| 64755. |
Nagel E. Suppes P. Tarski A. |
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress | 1962 |
|
| 64756. |
Nagel E. Suppes P. Tarski A. |
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress | 1962 |
|
| 64757. |
Nilsson U. Maluszynski J. |
Logic, Programming and Prolog | 2000 |
|
| 64758. |
Nilsson U. Maluszynski J. |
Logic, programming and Prolog (2nd edition) | 1995 |
|
| 64759. |
Nilsson U. Mauszynski J. |
Logic, programming and prolog (2nd edition) | 1995 |
|
| 64760. |
Grossi D. Roy O. Huang H. |
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings | 2013 |
|
| 64761. |
Tarski A. |
Logic, semantics, metamathematics: Papers from 1923 to 1938 | 1956 |
|
| 64762. |
Causey R.L. |
Logic, Sets, and Recursion | 1994 |
|
| 64763. |
Minker J. |
Logic-based artificial intelligence | 2000 |
|
| 64764. |
Jeroslow R. |
Logic-Based Decision Support: Mixed Integer Model Formulation | 1989 |
|
| 64765. |
Jeroslow R. |
Logic-Based Decision Support: Mixed Integer Model Formulation (Annals of Discrete Mathematics) | 1989 |
|
| 64766. |
Baader F. |
Logic-Based Knowledge Representation | 1999 |
|
| 64767. |
Hanus M. |
Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008 | 2009 |
|
| 64768. |
Puebla G. |
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers | 2007 |
|
| 64769. |
King A. |
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised | 2008 |
|
| 64770. |
Schreye D.D. |
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 | 2010 |
|
| 64771. |
Bellido M.J. Juan J. Valencia M. |
Logic-timing Simulation And the Degradation Delay Model | 2005 |
|
| 64772. |
Manuel J. Bellido Jorge Juan Manuel Valencia |
Logic-timing Simulation And the Degradation Delay Model | 2006 |
|
| 64773. |
J. Blair |
Logic: A Very Short Introduction | n/a |
|
| 64774. |
Restall G. |
Logic: An Introduction (1st edition) | 2005 |
|
| 64775. |
Newton-Smith W. |
Logic: An Introductory Course (revised and corrected edition) | 1985 |
|
| 64776. |
Macintyre A. Pacholski L. |
Logic: Colloquium Proceedings, 1977 | 1978 |
|
| 64777. |
Kant I. |
Logica | n/a |
|
| 64778. |
Asperti A. Ciabattoni A. |
Logica a informatica | 1997 |
|
| 64779. |
Husserl E. |
Logica formal y logica transcendental | 1962 |
|
| 64780. |
Raedt L.D. |
Logical and Relational Learning | 2008 |
|
| 64781. |
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 (1 edition) | 2001 |
|
| 64782. |
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 |
|
| 64783. |
Blache Ph. Stabler E. Busquets J. |
Logical Aspects of Computational Linguistics: 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings (1 edition) | 2005 |
|
| 64784. |
Retore C. |
Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers | 1997 |
|
| 64785. |
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 |
|
| 64786. |
Michael Moortgat |
Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers (1 edition) | 2001 |
|
| 64787. |
Chmura A. Heumann J. |
Logical Data Modeling: What it is and How to do it | 2004 |
|
| 64788. |
Chmura A. Heumann J. |
Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) | 2005 |
|
| 64789. |
John W. Dawson J. |
Logical Dilemmas. The life and work of Kurt Gedel | 1997 |
|
| 64790. |
Dawson Jh.W. |
Logical Dilemmas: The Life and Work of Kurt Godel | 2005 |
|
| 64791. |
Sutherland I. Sproull R. Harris D. |
Logical Effort: Designing Fast CMOS Circuits | 1998 |
|
| 64792. |
Nerode A. Matiyasevich Y. |
Logical Foundations of Computer Science 3 conf., LFCS'94 | 1994 |
|
| 64793. |
Adian S. Nerode A. |
Logical Foundations of Computer Science 4 conf., LFCS'97 | 1997 |
|
| 64794. |
Nerode A. Taitslin M. |
Logical Foundations of Computer Science, LFCS '92 | 1992 |
|
| 64795. |
Artemov S.(ed.) Nerode A.(ed.) |
Logical Foundations of Computer Science, LFCS 2009 | 2009 |
|
| 64796. |
Artemov S. |
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings | 2007 |
|
| 64797. |
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 |
|
| 64798. |
Cook S. Nguyen P. |
Logical foundations of proof complexity (1 edition) | 2008 |
|
| 64799. |
Cantini A. |
Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) | 1996 |
|
| 64800. |
Cantini A. |
Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) | 1996 |
|
|
|
О проекте