| 65301. |
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 |
 |
| 65302. |
Craig W. |
Logic in Algebraic Form, Three Languages and Theories | 1974 |
|
| 65303. |
Michael Huth Mark Ryan |
Logic in computer science (2 edition) | 2004 |
|
| 65304. |
Huth M. Ryan M. |
Logic in computer science: modelling and reasoning about systems (0 edition) | 1999 |
|
| 65305. |
Huth M. Ryan M. |
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition (2nd edition) | 2004 |
|
| 65306. |
Pedreschi D. Zaniolo C. |
Logic in Databases: International Workshop (1 edition) | 1996 |
|
| 65307. |
Seligman J. Westerstahl D. |
Logic language and computation. Volume 1 | 1996 |
|
| 65308. |
Reyle U. (ed.) Ohlbach H.J. |
Logic Language and Reasoning | n/a |
|
| 65309. |
MARTIN GARDNER |
LOGIC MACHINES AND DIAGRAMS | 1958 |
|
| 65310. |
Bennett D.J. |
Logic Made Easy: How to Know When Language Deceives You | 2004 |
|
| 65311. |
Brayton R.K. Hachtel G.D. |
Logic Minimization Algorithms for VLSI Synthesis | 1984 |
|
| 65312. |
Buzaglo M. |
Logic of Concept Expansion | 2002 |
|
| 65313. |
Popper K. |
Logic of Scientific Discovery (15th edition) | 2002 |
|
| 65314. |
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 |
|
| 65315. |
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 |
|
| 65316. |
Voronkov A. |
Logic Programming | 1992 |
|
| 65317. |
Catuscia Palamidessi |
Logic Programming | 2003 |
|
| 65318. |
Wada E. |
Logic Programming '85, 4 conf. | 1986 |
|
| 65319. |
Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (1 edition) | 1991 |
|
| 65320. |
Furukawa K. Tanaka H. Fujisaki T. |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 | 1991 |
|
| 65321. |
Voronkov A. |
Logic Programming and Automated Reasoning | 1993 |
|
| 65322. |
Pfenning F. |
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings | 1994 |
|
| 65323. |
Voronkov A. |
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings | 1992 |
|
| 65324. |
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 |
|
| 65325. |
Pereira L. Przymusinski T. |
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers | 1998 |
|
| 65326. |
Erdem E. Lin F. Schaub T. |
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (Lecture ... Lecture Notes in Artificial Intelligence) | 2009 |
|
| 65327. |
Brewka G. Cabalar P. Son T. |
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings | 2013 |
|
| 65328. |
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 |
|
| 65329. |
Eiter T. Faber W. Trusczynksi M. |
Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings | 2001 |
|
| 65330. |
Lifschitz V. Niemela I. |
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings | 2004 |
|
| 65331. |
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 |
|
| 65332. |
Baral C. Greco G. Leone N. |
Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings | 2005 |
|
| 65333. |
Baral C. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings | 2007 |
|
| 65334. |
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 |
|
| 65335. |
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 |
|
| 65336. |
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 |
|
| 65337. |
Comyn G. Fuchs N. Ratcliffe M. |
Logic Programming in Action, 2 school, LPSS '92 | 1992 |
|
| 65338. |
Gallagher J. |
Logic Programming Synthesis and Transformation | 1997 |
|
| 65339. |
Proietti M. |
Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95 | 1996 |
|
| 65340. |
Fuchs N. |
Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97 | 1998 |
|
| 65341. |
Flener P. |
Logic Programming Synthesis and Transformation, 8 conf., LOPSTR'98 | 1999 |
|
| 65342. |
Annalisa Bossi |
Logic Programming Synthesis and Transformation, 9 conf. (1 edition) | 2000 |
|
| 65343. |
Fribourg L. Turini F. |
Logic Programming Synthesis and Transformation. Meta-Programming in Logic | 1994 |
|
| 65344. |
Bramer M. |
Logic Programming with Prolog | 2005 |
|
| 65345. |
Bramer M. |
Logic Programming with Prolog | 2005 |
|
| 65346. |
Bramer M. |
Logic Programming with Prolog | 2005 |
|
| 65347. |
Bramer M. |
Logic Programming With Prolog | 2005 |
|
| 65348. |
Banda M. Pontelli E. |
Logic Programming, 24 conf., ICLP 2008 | 2008 |
|
| 65349. |
Codognet P. |
Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings | 2001 |
|
| 65350. |
Stuckey P.J. |
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings | 2002 |
|
| 65351. |
Bart Demoen Vladimir Lifschitz |
Logic programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 (1 edition) | 2004 |
|
| 65352. |
Demoen B. Lifschitz V. |
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings | 2004 |
|
| 65353. |
Maurizio Gabbrielli Gopal Gupta |
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings (1 edition) | 2005 |
|
| 65354. |
Etalle S. Truszczynski M. |
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
|
| 65355. |
Dahl V. Niemela I. |
Logic programming: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007; proceedings | 2007 |
|
| 65356. |
Andrews J.H. |
Logic Programming: Operational Semantics and Proof Theory (New Ed edition) | 1993 |
|
| 65357. |
Muller G. Takeuti G. Tugue T. |
Logic Symposia, Hakone, 1979, 1980 | 1981 |
|
| 65358. |
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 |
|
| 65359. |
Lenski W. (Editor) |
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday (1 edition) | 2004 |
|
| 65360. |
Lenski W. |
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) | 2005 |
|
| 65361. |
Amey P. |
Logic versus Magic in Critical Systems | 2001 |
|
| 65362. |
Howson C. |
Logic with Trees: An Introduction to Symbolic Logic | 1997 |
|
| 65363. |
Lerman M. Schmerl J.H. Soare R.I. |
Logic Year 1979-80 | 1981 |
|
| 65364. |
Lerman M. Schmerl J. Soare R. |
Logic Year 1979-80 | 1981 |
|
| 65365. |
Aiserman M. Gusev L. Rozonoer L. |
Logic, automata, and algorithms | 1971 |
|
| 65366. |
Forster T. |
Logic, Computation and Set Theory | 2002 |
|
| 65367. |
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 |
|
| 65368. |
Forster T. |
Logic, Induction and Sets | 2003 |
|
| 65369. |
Forster T. |
Logic, induction and sets | 2003 |
|
| 65370. |
Seligman J. Westerstahl D. |
Logic, Language and Computation | 1996 |
|
| 65371. |
Jones N.D. Hagiya M. Sato M. |
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science) | 1994 |
|
| 65372. |
Hodges W. (ed.) de Queiroz R. (ed.) |
Logic, Language, Information and Computation | 2008 |
|
| 65373. |
Leivant D. |
Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 (1 edition) | 2007 |
|
| 65374. |
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 |
|
| 65375. |
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 |
|
| 65376. |
Alechina N. Libkin L. Kohlenbach U. |
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings | 2013 |
|
| 65377. |
Boolos G.S. |
Logic, Logic, and Logic | 1998 |
|
| 65378. |
Hutcheson F. |
Logic, Metaphysics, and the Natural Sociability of Mankind (Natural Law and Enlightenment Classics) | 2006 |
|
| 65379. |
Suppes P. |
Logic, Methodology and Philosophy of Science IV | 1973 |
|
| 65380. |
Cohen J. |
Logic, Methodology and Philosophy of Science: 6th: International Congress Proceedings: 6th | 1982 |
|
| 65381. |
Nagel E. Suppes P. Tarski A. |
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress | 1962 |
|
| 65382. |
Nagel E. Suppes P. Tarski A. |
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress | 1962 |
|
| 65383. |
Nilsson U. Maluszynski J. |
Logic, Programming and Prolog | 2000 |
|
| 65384. |
Nilsson U. Maluszynski J. |
Logic, programming and Prolog (2nd edition) | 1995 |
|
| 65385. |
Nilsson U. Mauszynski J. |
Logic, programming and prolog (2nd edition) | 1995 |
|
| 65386. |
Grossi D. Roy O. Huang H. |
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings | 2013 |
|
| 65387. |
Tarski A. |
Logic, semantics, metamathematics: Papers from 1923 to 1938 | 1956 |
|
| 65388. |
Causey R.L. |
Logic, Sets, and Recursion | 1994 |
|
| 65389. |
Minker J. |
Logic-based artificial intelligence | 2000 |
|
| 65390. |
Jeroslow R. |
Logic-Based Decision Support: Mixed Integer Model Formulation | 1989 |
|
| 65391. |
Jeroslow R. |
Logic-Based Decision Support: Mixed Integer Model Formulation (Annals of Discrete Mathematics) | 1989 |
|
| 65392. |
Baader F. |
Logic-Based Knowledge Representation | 1999 |
|
| 65393. |
Hanus M. |
Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008 | 2009 |
|
| 65394. |
Puebla G. |
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers | 2007 |
|
| 65395. |
King A. |
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised | 2008 |
|
| 65396. |
Schreye D.D. |
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 | 2010 |
|
| 65397. |
Bellido M.J. Juan J. Valencia M. |
Logic-timing Simulation And the Degradation Delay Model | 2005 |
|
| 65398. |
Manuel J. Bellido Jorge Juan Manuel Valencia |
Logic-timing Simulation And the Degradation Delay Model | 2006 |
|
| 65399. |
J. Blair |
Logic: A Very Short Introduction | n/a |
|
| 65400. |
Restall G. |
Logic: An Introduction (1st edition) | 2005 |
|
|
|
О проекте