| 65401. |
Macintyre A. Pacholski L. |
Logic: Colloquium Proceedings, 1977 | 1978 |
 |
| 65402. |
Kant I. |
Logica | n/a |
|
| 65403. |
Asperti A. Ciabattoni A. |
Logica a informatica | 1997 |
|
| 65404. |
Husserl E. |
Logica formal y logica transcendental | 1962 |
|
| 65405. |
Steinkrüger P. Hasper P.S. |
Logical Analysis and History of Philosophy: Philosophiegeschichte Und Logische Analyse. From Leibniz to Kant | 2018 |
|
| 65406. |
Raedt L.D. |
Logical and Relational Learning | 2008 |
|
| 65407. |
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 |
|
| 65408. |
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 |
|
| 65409. |
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 |
|
| 65410. |
Retore C. |
Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers | 1997 |
|
| 65411. |
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 |
|
| 65412. |
Michael Moortgat |
Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers (1 edition) | 2001 |
|
| 65413. |
Chmura A. Heumann J. |
Logical Data Modeling: What it is and How to do it | 2004 |
|
| 65414. |
Chmura A. Heumann J. |
Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) | 2005 |
|
| 65415. |
John W. Dawson J. |
Logical Dilemmas. The life and work of Kurt Gedel | 1997 |
|
| 65416. |
Dawson Jh.W. |
Logical Dilemmas: The Life and Work of Kurt Godel | 2005 |
|
| 65417. |
Sutherland I. Sproull R. Harris D. |
Logical Effort: Designing Fast CMOS Circuits | 1998 |
|
| 65418. |
Nerode A. Matiyasevich Y. |
Logical Foundations of Computer Science 3 conf., LFCS'94 | 1994 |
|
| 65419. |
Adian S. Nerode A. |
Logical Foundations of Computer Science 4 conf., LFCS'97 | 1997 |
|
| 65420. |
Nerode A. Taitslin M. |
Logical Foundations of Computer Science, LFCS '92 | 1992 |
|
| 65421. |
Artemov S.(ed.) Nerode A.(ed.) |
Logical Foundations of Computer Science, LFCS 2009 | 2009 |
|
| 65422. |
Artemov S. |
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings | 2007 |
|
| 65423. |
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 |
|
| 65424. |
Cook S. Nguyen P. |
Logical foundations of proof complexity (1 edition) | 2008 |
|
| 65425. |
Cantini A. |
Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) | 1996 |
|
| 65426. |
Cantini A. |
Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135) | 1996 |
|
| 65427. |
Cantini A. |
Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study (Studies in Logic and the Foundations of Mathematics) (1 edition) | 1996 |
|
| 65428. |
Cantini A. |
Logical Frameworks for Truth and Abstraction, Volume 135: An Axiomatic Study (Studies in Logic and the Foundations of Mathematics) | 1996 |
|
| 65429. |
Husserl E. |
Logical Investigations. Volume II | 2001 |
|
| 65430. |
Omnes R. |
Logical Reformulation of Quantum Mechanics. I. Foundations | 1988 |
|
| 65431. |
Omnes R. |
Logical Reformulation of Quantum Mechanics. II. Interferences and the Einstein-Podolsky-Rosen Experiment | 1988 |
|
| 65432. |
Omnes R. |
Logical Reformulation of Quantum Mechanics. III. Classical Limit and Irreversibility | 1988 |
|
| 65433. |
Omnes R. |
Logical Reformulation of Quantum Mechanics. IV. Projectors in Semiclassical Physics | 1989 |
|
| 65434. |
Dov M. Gabbay Karl Schlechta |
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies) (1st Edition.) | 2009 |
|
| 65435. |
Klement E.P. Mesiar R. |
Logical, algebraic, analytic, and probabilistic aspects of triangular norms (0 edition) | 2005 |
|
| 65436. |
Fant K.M. |
Logically Determined Design | 2005 |
|
| 65437. |
Thomason R.H. |
Logicism: Exact Philosophy, Linguistics and Artificial Intelligence | 1995 |
|
| 65438. |
Singh A. |
Logics for Computer Science | 2003 |
|
| 65439. |
Moller F. Birtwistle G. |
Logics for Concurrency - Structure versus Automata, 8 conf (1 edition) | 1996 |
|
| 65440. |
Moller F. Birtwistle G. |
Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science) | 1996 |
|
| 65441. |
Eijck J. |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings | 1991 |
|
| 65442. |
Pearce D. Wagner G. |
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings | 1992 |
|
| 65443. |
Flesca S. Ianni G. |
Logics in Artificial Intelligence | 2002 |
|
| 65444. |
Alferes J. Pereira L. Orlowska E. |
Logics in Artificial Intelligence (1st edition) | 1996 |
|
| 65445. |
Faber W. (ed.) Friedrich G. (ed.) Gebser M. (ed.) |
Logics in Artificial Intelligence | 2021 |
|
| 65446. |
Ojeda-Aciego M. Guzman I.P. Brewka G. |
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga | 2000 |
|
| 65447. |
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 |
|
| 65448. |
Fisher M. Hoek W. Konev B. |
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings | 2006 |
|
| 65449. |
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 |
|
| 65450. |
Jose J.A. (ed.) Leite J. (ed.) |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings | 2004 |
|
| 65451. |
Alferes J. Leite J. |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings | 2004 |
|
| 65452. |
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) (1 edition) | 2004 |
|
| 65453. |
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 |
|
| 65454. |
MacNish C. Pearce D. Pereira L. |
Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings | 1994 |
|
| 65455. |
Mogavero F. |
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics Atlantis Studies in Computing Volume 3 | 2013 |
|
| 65456. |
Engeler E. |
Logics of Programs 1979 | 1981 |
|
| 65457. |
Kozen D. |
Logics of Programs 1981 | 1982 |
|
| 65458. |
Parikh R. |
Logics of Programs 1985 | 1985 |
|
| 65459. |
Salwicki A. |
Logics of Programs and Their Applications | 1983 |
|
| 65460. |
Goldblatt R. |
Logics of time and computation | 1992 |
|
| 65461. |
Goldblatt R. |
Logics of time and computation | 1992 |
|
| 65462. |
Tarski A. |
Logics, Semantics, Mathematics | 1956 |
|
| 65463. |
Atzeni P. |
LOGIDATA+: Deductive Databases with Complex Objects (1 edition) | 1993 |
|
| 65464. |
Atzeni P. |
LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science) | 1993 |
|
| 65465. |
Schoning U. |
Logik fur Informatiker (5. Auflage edition) | 2000 |
|
| 65466. |
Setzer A. |
Logik MN2 | 1997 |
|
| 65467. |
Meinel C. |
Logikminimierung | 1995 |
|
| 65468. |
Smolka G. Schulte C. |
Logische Programmierung | 1993 |
|
| 65469. |
Thiele H. |
Logische Systeme der Informatik | n/a |
|
| 65470. |
David G. Kleinbaum Mitchel Klein |
Logistic Regression: A Self-learning Text (3rd ed. edition) | 2002 |
|
| 65471. |
Christopher M. |
Logistics & Supply Chain Management: creating value-adding networks (3d edition) | 2005 |
|
| 65472. |
Fernie J. Sparks L. |
Logistics and Retail Management (2nd edition) | 2004 |
|
| 65473. |
G. Don Taylor (editor) |
Logistics Engineering Handbook | 2007 |
|
| 65474. |
Daganzo C.F. |
Logistics Systems Analysis (4 edition) | 1996 |
|
| 65475. |
Waters D. |
Logistics: An Introduction to Supply Chain Management | 2003 |
|
| 65476. |
Kreczmar A. Salwicki A. Warpechowski M. |
LOGLAN '88 - Report on the Programming Language | 1990 |
|
| 65477. |
Weinersmith K. Weinersmith Z. |
Logo, logo: Dez novas tecnologias que vão melhorar e/ou arruinar tudo | 2018 |
|
| 65478. |
Gardner B. Fishel C. |
LogoLounge 2. 2,000 International Identities by Leading Designers | 2005 |
|
| 65479. |
Erich Gräßer |
Logos Festschrift für Luise Abramowski | 1993 |
|
| 65480. |
Carl Andresen |
Logos und Nomos die polemik des kelsos wider das christentum | 1955 |
|
| 65481. |
Sandru I. |
Loi de translation des reperes sur les courbes integrales d'un champ vectoriel et connexions | 1992 |
|
| 65482. |
Gabriel P. Ulmer F. |
Lokal prasentierbare Kategorien | 1971 |
|
| 65483. |
Bostelmann H. |
Lokale Algebren und Operatorprodukte am Punkt | 2000 |
|
| 65484. |
Bingener J. |
Lokale Modulräume in der analytischen Geometrie II | 1987 |
|
| 65485. |
Cassis Y. Bussiere E. |
London and Paris as International Finance Centres, 1890-2000 | 2005 |
|
| 65486. |
Olson D. |
London For Dummies (fifth edition) | 2008 |
|
| 65487. |
Theodora Bynon |
London Oriental and African Language Library | 2011 |
|
| 65488. |
Genta G. |
Lonely Minds in the Universe: The Search for Extraterrestrial Intelligence | 2007 |
|
| 65489. |
Teunis C. Dorlas Philippe A. Martin Joseph V. Pule |
Long Cycles in a Perturbed Mean Field Model of a Boson Gas | 2005 |
|
| 65490. |
Teyssière G. Kirman A.P. |
Long Memory in Economics | 2007 |
|
| 65491. |
Teyssière G. Kirman A. |
Long Memory in Economics | 2007 |
|
| 65492. |
Ugarkovic D. |
Long Non-Coding RNAs (Progress in Molecular and Subcellular Biology, Volume 51) | 2011 |
|
| 65493. |
Turova T.S. |
Long Paths and Cycles in Dynamical Graphs | 2003 |
|
| 65494. |
0 |
Long Sword Techniques and History | n/a |
|
| 65495. |
Sukenick R. |
Long Talking Bad Conditions Blues | 1979 |
|
| 65496. |
Lang A. Hennrich K. Dikau R. |
Long Term Hillslope and Fluvial System Modelling | 2003 |
|
| 65497. |
Borghoff U.M. Scheffczyk J. Schmitz L. |
Long Term Preservation of Digital Documnets: Principles and Practices | 2006 |
|
| 65498. |
Graffi S. Martinez A. |
Long Time Behaviour of Classical and Quantum Systems: Proceedings of the Bologna Aptex International Conference, Bologna, Italy 13-17 September 1999 (Series on Concrete and Applicable Mathematics 1) | 2001 |
|
| 65499. |
Machta J. Ernst M.H. |
Long Time Tails in Stationary Random Media II: Applications | 1984 |
|
| 65500. |
Ernst M. H. Machta J. Dorfman J. R. |
Long Time Tails in Stationary Random Media. I. Theory | 1983 |
|
|
|
О проекте