| 201 - 400 |
|
| Machine Intelligence: Quo Vadis? (Advances in Fuzzy Systems: Applications a ~ World Scientific Publishing |
| Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) ~ R. Goldstein W W Norton & Co Ltd R. Goldstein |
| The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory o ~ Calixto Badesa Princeton University Press Calixto Badesa |
| Logical Dilemmas: The Life and Work of Kurt Godel ~ John W. Dawson A K Peters John W. Dawson |
| Labelled Non-classical Logics ~ Luca Vigano Kluwer Academic Publishers Luca Vigano |
| Mathematical Fallacies and Paradoxes ~ Bryan H. Bunch Dover Publications Inc. Bryan H. Bunch |
| Godel's Proof ~ Ernest Nagel - James R. Newman New York University Press Ernest Nagel - James R. Newman |
| Rapid Math Without a Calculator: Shortcuts for Mastering Fast Addition, Sub ~ A.Frederick Collins Citadel Press Inc.,U.S. A.Frederick Collins |
| Euclides Vindicatus ~ Girolamo Saccheri American Mathematical Society Girolamo Saccheri |
| Mechanical Intelligence: 523256-v1.gif: Mechanical Intelligence (Advances i ~ North Holland |
| The Philosophy of Set Theory: An (Dover Books on Mathematics) ~ Mary Tiles Dover Publications Inc. Mary Tiles |
| A Mathematical Introduction to Logic ~ Herbert B. Enderton Academic Press Herbert B. Enderton |
| To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paper ~ Eli Maor Princeton University Press Eli Maor |
| Hyperproof: For Macintosh (CSLI Lecture Notes) ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et... |
| The Logic of Time: A Model-Theoretic Investigation into the Varieties of Te ~ Johan F.A.K. van Benthem Kluwer Academic Publishers Johan F.A.K. van Benthem |
| Fuzzy Mathematical Programming and Fuzzy Matrix Games (Studies in Fuzziness ~ C R. Bector - Suresh Chandra Springer-Verlag Berlin and Heidelberg GmbH & Co. K C R. Bector - Suresh... |
| Fuzzy Logic: Intelligence, Control, and Information ~ John Yen - Reza Langari Prentice Hall John Yen - Reza Langari |
| One Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath |
| Godel's Theorem: An Incomplete Guide to Its Use and Abuse ~ Torkel Franzen A K Peters Torkel Franzen |
| Fuzzy Logic for Beginners ~ Masao Mukaidono World Scientific Publishing Masao Mukaidono |
| Essays in Radical Empiricism ~ William James Dover Publications Inc. William James |
| Schaum's Outline of Set Theory and Related Topics (Schaum's Outline) ~ Seymour Lipschutz McGraw-Hill Publishing Co. Seymour Lipschutz |
| The Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Fou ~ H.P. Barendregt North Holland H.P. Barendregt |
| Introduction to Lattices and Order ~ B. A. Davey - H. A. Priestley Cambridge University Press B. A. Davey - H. A. Priestley |
| The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) ~ Oxford University Press Inc, USA |
| Computational Quantum Chemistry: An Interactive Introduction to Basis Set Theory ~ Charles M. Quinn Academic Press Charles M. Quinn |
| Fuzzy Set Theory: Applications in the Social Sciences: 147 (Quantitative Ap ~ Michael J. Smithson - Jay Verkuilen Sage Publications, Inc Michael J. Smithson - Jay Verkuilen |
| Logic ~ Wilfrid Hodges Penguin Books Ltd Wilfrid Hodges |
| Basic Category Theory for Computer Scientists (Foundations of Computing) ~ Benjamin C. Pierce The MIT Press Benjamin C. Pierce |
| Handbook of Logic and Proof Techniques for Computer Science ~ Steven G. Krantz Birkhauser Verlag AG Steven G. Krantz |
| Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter |
| Briefings on Existence (SUNY Series, Intersactions: Politics & Critical Theory) ~ Alain Badiou State University of New York Press Alain Badiou |
| Multiple Time Series Models (Quantitative Applications in the Social Sciences) ~ Patrick T. Brandt - John T. (Taylor) Williams Sage Publications, Inc Patrick T. Brandt - John T. (Ta... |
| Introduction to the Theory of Computation ~ Michael Sipser PWS Michael Sipser |
| Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions ~ Jerry M. Mendel Prentice Hall Jerry M. Mendel |
| Uncertainty-based Information: Elements of Generalized Information Theory ( ~ George J. Klir - Mark J. Wierman Physica-Verlag GmbH & Co George J. Klir - Mark J. Wierman |
| A New Introduction to Modal Logic ~ George Edward Hughes - M.J. Cresswell Routledge George Edward Hughes - M.J. Cresswell |
| A Say in the End of the World: Morals and British Nuclear Weapons Policy 19 ~ Roger Ruston Clarendon Press Roger Ruston |
| Fuzziness in Petri Nets (Studies in Fuzziness & Soft Computing) ~ Physica-Verlag GmbH & Co |
| DNA Computing: 10th International Workshop on DNA Computing, Dna10, Milan, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization ~ E. L. Lawler - Jan Karel Lenstra - A. H. G. Rinnooy Kan - D. B. Shmoys John Wiley & Sons E. L. Lawle... |
| Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) ~ R. Goldstein W W Norton & Co Ltd R. Goldstein |
| Logic, Induction and Sets (London Mathematical Society Student Texts) ~ Thomas Forster Cambridge University Press Thomas Forster |
| Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl ~ Kluwer Academic Publishers |
| Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Unconventional Models of Computation: Proceedings of the First Internationa ~ National University of Singapore,Singapore |
| Fuzzy Sets and Their Application to Clustering and Training (International ~ Beatrice B. Lazzerini CRC Press Inc Beatrice B. Lazzerini |
| Computer Processing of Oriental Languages. Beyond the Orient, the Research ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Anaphora -analysis, Algorithms and Applications: 6th Discourse Anaphora and ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Applications and Theory of Petri Nets: 24th International Conference, Icatp ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| AI Ia 2005 Advances in Artificial Intelligence: 9th Congress of the Italian ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Computational Intelligence: International Conference on Intelligent Computi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Recent Trends in Algebraic Development Techniques: 17th International Works ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Quantitative Development in Infancy and Early Childhood ~ Oxford University Press Inc, USA |
| MICAI 2005 - Advances in Artificial Intelligence: 4th Mexican International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Fuzzy Model Identification for Control (Systems & Control: Foundations & Ap ~ J. Abonyi Birkhauser Verlag AG J. Abonyi |
| Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Growth of Mathematical Knowledge (Synthese Library) ~ Emily Grosholz Kluwer Academic Publishers Emily Grosholz |
| Recent Trends in Algebraic Development Techniques: 17th International Works ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Market Revolution: Jacksonian America, 1815-46 ~ Charles Sellers Oxford University Press Inc, USA Charles Sellers |
| Mathematical Logic (Oxford Texts in Logic) ~ Ian Chiswell - Wilfrid Hodges Oxford University Press Ian Chiswell - Wilfrid Hodges |
| Formal Correctness of Security Protocols (Information Security & Cryptography) ~ Giampaolo Bella Springer-Verlag Berlin and Heidelberg GmbH & Co. K Giampaolo Bella |
| Fixing Frege (Princeton Monographs in Philosophy) ~ J. Burgess Princeton University Press J. Burgess |
| Introduction to Fuzzy Logic Using Matlab ~ S.N. Sivanandam - Sai Sumathi - N. Deepa Springer-Verlag Berlin and Heidelberg GmbH & Co. K S.N. Siv... |
| Computer Supported Cooperative Work in Design: 8th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Jewels of Stringology: Text Algorithms ~ Maxime Crochemore - Wojciech Rytter World Scientific Publishing Maxime Crochemore - Wojciech Rytter |
| Artificial Intelligence and Symbolic Computation: 8th International Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Rapid Math Without a Calculator: Shortcuts for Mastering Fast Addition, Sub ~ A.Frederick Collins Citadel Press Inc.,U.S. A.Frederick Collins |
| Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter |
| Term Rewriting and Applications: 18th International Conference, Rta 2007, P ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Logic Based Program Synthesis and Transformation: 13th International Sympos ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Computer Science Logic: 20th International Workshop, Csl 2006, 15th Annual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Grammatical Inference, Algorithms and Applications: 8th International Collo ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| All About Maude - A High-performance Logical Framework: How to Specify, Pro ~ Manuel Clavel - Francisco Duran - Steven Eker - Patrick Lincoln - Narciso Marti-Oliet - Jose Mesegue... |
| Transactions on Rough Sets: v. 3 (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Memoirs of a Proof Theorist: Godel and Other Logicians ~ Mariko Yasugi - Nicholas Passell World Scientific Publishing Mariko Yasugi - Nicholas Passell |
| Natural Language Processing - IJCNLP 2004: First International Joint Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Category Theory and Computer Science: 7th International Conference, CTCS'97 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Two Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: 10th Internati ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| An Introduction to Fuzzy Logic and Fuzzy Sets (Advances in Soft Computing) ~ James J. Buckley - Esfandiar Eslami Physica-Verlag GmbH & Co James J. Buckley - Esfandiar Eslami |
| Theory and Applications of Satisfiability Testing: 6th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Machine Learning and Data Mining in Pattern Recognition: 5th International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Pea and the Sun: A Mathematical Paradox ~ Leonard M. Wapner A K Peters Leonard M. Wapner |
| Problems of Form (Writing Science) ~ Stanford University Press |
| Term Rewriting and Applications: 16th International Conference, Rta 2005, N ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. ~ Kurt Jensen Springer-Verlag Berlin and Heidelberg GmbH & Co. K Kurt Jensen |
| The Continuum: A Critical Examination of the Foundation of Analysis ~ Hermann Weyl Dover Publications Inc. Hermann Weyl |
| Advances in Artificial Intelligence - Iberamia-Sbia 2006: 2nd International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Computational Logic in Multi-Agent Systems: 5th International Workshop, CLI ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Rough Sets: Mathematical Foundations (Advances in Soft Computing) ~ Lech Polkowski Physica-Verlag GmbH & Co Lech Polkowski |
| Logic and Complexity (Discrete Mathematics & Theoretical Computer Science) ~ Richard Lassaigne - Michel De Rougemont Springer-Verlag London Ltd Richard Lassaigne - Michel De Rou... |
| Artificial Intelligence and Soft Computing -- Icaisc 2004: 7th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Language of First-Order Logic, Including the Macintosh Program Tarski's ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et... |
| The Schur Algorithm, Reproducing Kernel Spaces and System Theory (SMF/AMS T ~ Daniel Alpay American Mathematical Society Daniel Alpay |
| Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Natural Language Processing - IJCNLP 2004: First International Joint Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Introduction to Networks and Algorithms ~ A. Dolan - J. Aldous John Wiley and Sons Ltd A. Dolan - J. Aldous |
| The Law of Non-contradiction: New Philosophical Essays ~ Clarendon Press |
| Modeling Decisions for Artificial Intelligence: Second International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Log ~ Michael Detlefsen - David Charles McCarty - John B. Bacon Routledge Michael Detlefsen - David Charle... |
| Formal Engineering for Industrial Software Development: Using the Sofl Method ~ Shaoying Liu Springer-Verlag Berlin and Heidelberg GmbH & Co. K Shaoying Liu |
| Recent Trends in Algebraic Development Techniques: 18th International Works ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Automated Reasoning with Analytic Tableaux and Related Methods: Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Mathematics of Inheritance Systems (Research Notes in Artificial Intell ~ Touretzky Morgan Kaufmann Publishers Inc,US Touretzky |
| Current Topics in Artificial Intelligence: 11th Conference of the Spanish A ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Applied Interval Analysis: With Examples in Parameter and State Estimation, ~ Luc Jaulin - Michel Kieffer - Olivier Didrit - Erich Walter Springer-Verlag London Ltd Luc Jaulin - ... |
| Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, ~ Juraj Hromkovic Springer-Verlag Berlin and Heidelberg GmbH & Co. K Juraj Hromkovic |
| Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG |
| Fuzzy Systems and Knowledge Discovery: Third International Conference, Fskd ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Equivalence of Elementary Particle Theories and Computer Languages: Qua ~ Stephen Blaha Pingree-Hill Publishing Stephen Blaha |
| Computability, Complexity, and Languages: Fundamentals of Theoretical Compu ~ Martin Davis - Ron Sigal - Elaine J. Weyuker Morgan Kaufmann Martin Davis - Ron Sigal - Elaine J. We... |
| Logic Programming and Nonmonotonic Reasoning: 9th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Principia Mathematica 3 Volume Set: v. 1-3 ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra... |
| Foundations of Software Science and Computational Structures: 10th Internat ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| New Constructions in Cellular Automata (Santa Fe Institute Studies in the S ~ David Griffeath - Cristopher Moore Oxford University Press Inc, USA David Griffeath - Cristopher Moo... |
| Agent Technology from a Formal Perspective (NASA Monographs in Systems and ~ Springer-Verlag London Ltd |
| Neuro-fuzzy Architectures and Hybrid Learning (Studies in Fuzziness & Soft ~ Danuta Rutkowska Physica-Verlag GmbH & Co Danuta Rutkowska |
| A Course in Model Theory: An Introduction to Contemporary Mathematical Logi ~ Bruno Poizat Springer-Verlag New York Inc. Bruno Poizat |
| Logic for Computer Scientists (Progress in Computer Science & Applied Logic) ~ Uwe Schoening Birkhauser Verlag AG Uwe Schoening |
| Essays on Non-classical Logic: v. 1 (Advances in Logic) ~ World Scientific Publishing |
| Modeling Decisions for Artificial Intelligence: Second International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Machine Learning, ECML 2006: 17th European Conference on Machine Learning B ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Works ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Newton's "Principia" for the Common Reader ~ S. Chandrasekhar Clarendon Press S. Chandrasekhar |
| Quantifiers: Logics, Models, and Computation: Contributions v. 2 (Synthese ~ Kluwer Academic Publishers |
| A Mathematical Introduction to Logic ~ Herbert B. Enderton Academic Press Herbert B. Enderton |
| Software Engineering Mathematics ~ J. Woodcock Taylor & Francis Ltd J. Woodcock |
| Machine Learning and Data Mining in Pattern Recognition: 4th International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality a ~ College Publications |
| Formal Methods in Computer-Aided Design: First International Conference, FM ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Applied and Algorithmic Graph Theory ~ G. Chartrand - Ortrud Oellermann McGraw-Hill Education G. Chartrand - Ortrud Oellermann |
| Introduction to Logic for Systems Modelling (Information Technology and Systems) ~ Vaclav Pinkava Harwood Academic (Medical, Reference and Social Sc Vaclav Pinkava |
| Transactions on Rough Sets: Rough Sets and Fuzzy Sets: v. 2 (Lecture Notes ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Understanding the Many (Studies in Philosophy: Outstanding Dissertations) ~ Byeong-uk Yi Routledge, Inc Byeong-uk Yi |
| Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concur ~ World Scientific Publishing |
| Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Fuzzy Logic for Business, Finance, and Management (Advances in Fuzzy System ~ George Bojadziev - Maria Bojadziev World Scientific Publishing George Bojadziev - Maria Bojadziev |
| Classical and Fuzzy Concepts in Mathematical Logic and Applications ~ Mircea S. Reghis - Eugene Roventa CRC Press Inc Mircea S. Reghis - Eugene Roventa |
| Mathematical Logic: A Course with Exercises: Recursion Theory, Godel's Theo ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar |
| Quantifiers: Logics, Models, and Computation: Contributions v. 2 (Synthese ~ Kluwer Academic Publishers |
| Images of Excellence: Plato's Critique of the Arts ~ Christopher Janaway Clarendon Press Christopher Janaway |
| Conceptual Modeling - ER 2005: 24th International Conference on Conceptual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Transactions on Rough Sets: v. 5 (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Handbook of Automated Reasoning: 002 ~ MIT Press |
| Model Based Reasoning in Science and Engineering (Logic) ~ College Publications |
| The Equivalence of Elementary Particle Theories and Computer Languages: Qua ~ Stephen Blaha Pingree-Hill Publishing Stephen Blaha |
| Independent Component Analysis: A Tutorial Introduction (Bradford Books) ~ James V. Stone Bradford Book James V. Stone |
| Meaning and Argument: An Introduction to the Logic of Natural Language (Phi ~ Ernest LePore Blackwell Publishers Ernest LePore |
| Developments in Language Theory: 5th International Conference, DLT 2001, Vi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Applying Soft Computing in Defining Spatial Relations (Studies in Fuzziness ~ Physica-Verlag GmbH & Co |
| Contributions to the Science of Text and Language: Word Length Studies and ~ Kluwer Academic Publishers |
| Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam |
| Logic for Dummies (For Dummies) ~ Mark Zegarelli Hungry Minds Inc,U.S. Mark Zegarelli |
| Jewels of Stringology: Text Algorithms ~ World Scientific Publishing |
| ZB 2002, Formal Specification and Development in Z and B: 2nd International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Where Mathematics, Computer Science, Linguistics and Biology Meet ~ Kluwer Academic Publishers |
| Mathematics and Music: A Diderot Mathematical Forum ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| AI*Ia 2003: Advances in Artificial Intelligence: 8th Congress of the Italia ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Methods of Shape-preserving Spline Approximation ~ Boris I. Kvasov World Scientific Publishing Boris I. Kvasov |
| Intelligent Control: Aspects of Fuzzy Logic and Neural Nets (Series in Robo ~ C.J. Harris - C.G. Moore - M. Brown World Scientific Publishing C.J. Harris - C.G. Moore - M. Brown |
| Fuzzy Classifier Design (Studies in Fuzziness & Soft Computing) ~ Ludmila I. Kuncheva Physica-Verlag GmbH & Co Ludmila I. Kuncheva |
| Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Studies in ~ Physica-Verlag GmbH & Co |
| Rewriting Techniques and Applications: 15th International Conference, Rta 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Transactions on Rough Sets: Rough Sets and Fuzzy Sets: v. 2 (Lecture Notes ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Equations: Icons of Knowledge ~ Sander Bais Harvard University Press Sander Bais |
| Term Rewriting and Applications: 17th International Conference, Rta 2006sea ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Neuro-fuzzy Architectures and Hybrid Learning (Studies in Fuzziness & Soft ~ Danuta Rutkowska Physica-Verlag GmbH & Co Danuta Rutkowska |
| Principles and Practiceof Semantic Web Reasoning: International Workshop, P ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Log ~ Michael Detlefsen - David Charles McCarty - John B. Bacon Routledge Michael Detlefsen - David Charle... |
| The Seventeen Provers of the World (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Computability: An Introduction to Recursive Function Theory ~ N.J. Cutland Cambridge University Press N.J. Cutland |
| Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Studies ~ Nikolaos Galatos - Peter Jipsen - Tomasz Kowalski - Hiroakira Ono Elsevier Science Nikolaos Galatos ... |
| Implementing Typed Feature Structure Grammars (CSLI Lecture Notes) ~ Ann Copestake University of Chicago Press Ann Copestake |
| Possibility And Reality: Metaphysics And Logic: Metaphysics and Logic ~ ontos verlag |
| Handbook on Splines for the User ~ Eugene V. Shikin - Alexander I. Plis CRC Press Inc Eugene V. Shikin - Alexander I. Plis |
| Kurt Godel: Collected Works: Selected Correspondence, A-G Vol 4 (Mathematics) ~ Kurt Godel Clarendon Press Kurt Godel |
| Types for Proofs and Programs: International Workshop, Types 2003, Torino, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Theory and Practice of Uncertain Programming: v. 102 (Studies in Fuzziness ~ B. Liu Physica-Verlag GmbH & Co B. Liu |
| Modeling Decisions for Artificial Intelligence: 4th International Conferenc ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Serial Data Computation (International Series in Engineering and Computer S ~ Stewart G. Smith - P.B. Denyer Kluwer Academic Publishers Stewart G. Smith - P.B. Denyer |
| Principia Mathematica 3 Volume Set: v. 1-3 ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra... |
| Definition ~ Richard Robinson Oxford University Press Richard Robinson |
| Analysis and Evaluation of Fuzzy Systems (International Series in Intellige ~ Akira Ishikawa - Terry L. Wilson Kluwer Academic Publishers Akira Ishikawa - Terry L. Wilson |
| Foundations of Software Science and Computational Structures: 10th Internat ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Theory of Algorithms (Mathematics and Its Applications) ~ A.A. Markov - N.M. Nagorny Kluwer Academic Publishers A.A. Markov - N.M. Nagorny |
| The Complexity Theory Companion (Texts in Theoretical Computer Science: An ~ Lane A. Hemaspaandra - Mitsunori Ogihara Springer-Verlag Berlin and Heidelberg GmbH & Co. K Lane A. ... |
| Cellular Computing (Genomics & Bioinformatics) ~ Oxford University Press Inc, USA |
| The Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Fou ~ H.P. Barendregt North Holland H.P. Barendregt |
| The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbook ~ Oxford University Press Inc, USA |
| Godels Proof (Routledge Classics) ~ Ernest Nagel - James R. Newman Routledge Ernest Nagel - James R. Newman |
| Order, Disorder and Chaos in Quantum Systems (Operator Theory: Advances and ~ Birkhauser Verlag AG |
| Applying Soft Computing in Defining Spatial Relations (Studies in Fuzziness ~ Physica-Verlag GmbH & Co |
| Anaphora -analysis, Algorithms and Applications: 6th Discourse Anaphora and ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Conditionals, Information, and Inference: International Workshop, Wcii 2002 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Machine Translation, from Real Users to Research: 6th Conference of the Ass ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Complexity Classifications of Boolean Constraint Satisfaction Problems (Mon ~ Nadia Creignou - Sanjeev Khanna - Madhu Sudan Society for Industrial & Applied Mathematics,U.S. Nadi... |
| Algorithmic Number Theory: 7th International Symposium, Ants-VII, Berlin, G ~ M. Pohst Springer-Verlag Berlin and Heidelberg GmbH & Co. K M. Pohst |
| Proofs and Refutations: The Logic of Mathematical Discovery ~ Cambridge University Press |
