Home
 
Popular
Sciences
 
Physics
& Astronomy
 
Chemistry
 
Biological
Sciences
 
Medicine
 
More
 
 
 
877
 
 
Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings (Lecture Notes in Computer Science)
 
 
 
Introduction to Formal Languages and Automata
 
 
 
Fuzzy Probabilities: New Approach and Applications (Studies in Fuzziness & Soft Computing)
 
 
 
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
 
 
 
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (De Gruyter Series in Logic & Its Applications)
 
 
 
Fuzzy Set Theory: And Its Applications
 
 
 
AI 2006, Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings (Lecture Notes in Computer Science)
 
 
 
The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathematics and Its Applications)
 
 
 
Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings (Lecture Notes in Computer Science)
 
 
 
Abstract Computing Machines: A Lambda-Calculus Perspective (Texts in Theoretical Computer Science: An EATCS)
 
 
 
Scientific Computing with Matlab: Problems and Exercises Solved by MATLAB (Texts in Computational Science & Engineering)
 
 
 
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability
 
 
 
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library)
 
 
 
Machine Learning - ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings (Lecture Notes in Computer Science)
 
 
 
Rough Sets and Knowledge Technology: First International Conference, Rskt 2006, Chongquing, China, July 24-26, 2006, Proceedings (Lecture Notes in Computer Science)
 
 
 
Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzziness & Soft Computing)
 
 
 
Advances in Natural Language Processing: 5th International Conference, Fintal 2006 Turku, Finland, August 23-25, 2006 Proceedings (Lecture Notes in Computer Science)
 
 
 
Applications and Theory of Petri Nets: 24th International Conference, Icatpn 2003, Eindhoven, the Netherlands, June 23-27, 2003, Proceedings (Lecture Notes in Computer Science)
 
 
 
Ernst Zermelo: An Approach to His Life and Work
 
 
 
Value-Based Metrics for Improving Results: An Enterprise Project Management Toolkit
 


      1 - 200

Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sappo ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Introduction to Formal Languages and Automata ~ Peter Linz Jones and Bartlett Publishers International Peter Linz
Fuzzy Probabilities: New Approach and Applications (Studies in Fuzziness & ~ James J. Buckley Springer-Verlag Berlin and Heidelberg GmbH & Co. K James J. Buckley
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundati ~ Morten Heine Sørensen - Pawel Urzyczyn Elsevier Science Morten Heine Sørensen - Pawel Urzyczyn
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (De ~ Walter de Gruyter & Co
Fuzzy Set Theory: And Its Applications ~ Hans-Jurgen Zimmermann Kluwer Academic Publishers Hans-Jurgen Zimmermann
AI 2006, Advances in Artificial Intelligence: 19th Australian Joint Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathe ~ John P. Mayberry Cambridge University Press John P. Mayberry
Applications of Fuzzy Sets Theory: 7th International Workshop on Fuzzy Logi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Abstract Computing Machines: A Lambda-Calculus Perspective (Texts in Theore ~ Werner Kluge Springer-Verlag Berlin and Heidelberg GmbH & Co. K Werner Kluge
Scientific Computing with Matlab: Problems and Exercises Solved by MATLAB ( ~ Alfio Quarteroni - Fausto Saleri Springer-Verlag Berlin and Heidelberg GmbH & Co. K Alfio Quarteroni...
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmi ~ Marcus Hutter Springer-Verlag Berlin and Heidelberg GmbH & Co. K Marcus Hutter
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese L ~ Mark van Atten Kluwer Academic Publishers Mark van Atten
Machine Learning - ECML 2005: 16th European Conference on Machine Learning, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Rough Sets and Knowledge Technology: First International Conference, Rskt 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzzines ~ Irina Georgescu Springer-Verlag Berlin and Heidelberg GmbH & Co. K Irina Georgescu
Advances in Natural Language Processing: 5th International Conference, Fint ~ 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
Ernst Zermelo: An Approach to His Life and Work ~ Heinz-Dieter Ebbinghaus Springer-Verlag Berlin and Heidelberg GmbH & Co. K Heinz-Dieter Ebbinghaus
Value-Based Metrics for Improving Results: An Enterprise Project Management ~ Mel Schnapper - Steven Rollins J. Ross Publishing Mel Schnapper - Steven Rollins
Knowledge Discovery in Databases PKDD 2006: 10th European Conference on Pri ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedica ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computability Theory (Chapman & Hall/CRC Mathematics) ~ S. Barry Cooper Chapman & Hall/CRC S. Barry Cooper
Advances in Case-based Reasoning: 8th European Conference, ECCBR 2006fethiy ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Essentials of Constraint Programming (Cognitive Technologies) ~ Thom Fruhwirth - Slim Abdennadher Springer-Verlag Berlin and Heidelberg GmbH & Co. K Thom Fruhwirth ...
Two Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath
One Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath
Computational Complexity ~ Christos H. Papadimitriou Addison Wesley Christos H. Papadimitriou
Mathematical Logic: A Course with Exercises: Propositional Calculus, Booela ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar
Game Set and Math: Enigmas and Conundrums (Dover Classics of Science & Math ~ Ian Stewart Dover Publications Inc. Ian Stewart
Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis ~ Olaf Wolkenhauer John Wiley & Sons Inc Olaf Wolkenhauer
Constructing Correct Software: The Basics (Formal Approaches to Computing & ~ John Cooke Springer-Verlag Berlin and Heidelberg GmbH & Co. K John Cooke
Fuzzy Sets and Their Application to Clustering and Training (International ~ Beatrice B. Lazzerini CRC Press Inc Beatrice B. Lazzerini
Unconventional Models of Computation: Proceedings of the First Internationa ~ National University of Singapore,Singapore
Term Rewriting and Applications: 17th International Conference, Rta 2006sea ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundati ~ Morten Heine Sørensen - Pawel Urzyczyn Elsevier Science Morten Heine Sørensen - Pawel Urzyczyn
Schaum's Outline of Logic (Schaum's Outline) ~ John Nolt - Dennis Rohatyn - Achille C. Varzi McGraw-Hill Publishing Co. John Nolt - Dennis Rohatyn ...
Atheism from the Reformation to the Enlightenment ~ Clarendon Press
Fuzzy Systems Design Principles: Building Fuzzy IfThen Rule Bases: Solving ~ Riza C. Berkan - Sheldon L. Trubatch John Wiley & Sons Riza C. Berkan - Sheldon L. Trubatch
Introduction to Computer Theory ~ Daniel I.A. Cohen John Wiley and Sons (WIE) Daniel I.A. Cohen
Information and Randomness: An Algorithmic Perspective (Texts in Theoretica ~ Cristian S. Calude Springer-Verlag Berlin and Heidelberg GmbH & Co. K Cristian S. Calude
Introduction to Mathematical Logic ~ Elliott Mendelson CRC Press Inc Elliott Mendelson
Ontology Matching ~ Jerome Euzenat - Pavel Shvaiko Springer-Verlag Berlin and Heidelberg GmbH & Co. K Jerome Euzenat - P...
Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Appro ~ Kazuao Tanaka - Hua O. Wang John Wiley & Sons Inc Kazuao Tanaka - Hua O. Wang
Theory and Practice of Uncertain Programming: v. 102 (Studies in Fuzziness ~ B. Liu Physica-Verlag GmbH & Co B. Liu
Haskell Road to Logic, Maths and Programming, The (Texts in Computing S.) ~ Kees Doets - Jan van Eijck King's College Publications Kees Doets - Jan van Eijck
Fuzzy Sets in the Management of Uncertainty: v. 145 (Studies in Fuzziness & ~ Jaime Gil-Aluja Springer-Verlag Berlin and Heidelberg GmbH & Co. K Jaime Gil-Aluja
Vorlesungen Uber Die Algebra Der Logik (Key Works in the History of Logic & ~ Ernst Schroder Thoemmes Continuum Ernst Schroder
Symbolic Asymptotics (Algorithms & Computation in Mathematics) ~ John R. Shackell Springer-Verlag Berlin and Heidelberg GmbH & Co. K John R. Shackell
AI 2004 - Advances in Artificial Intelligence: 17th Australian Joint Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Artificial Intelligence and Soft Computing -- Icaisc 2004: 7th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formal Methods in Computer-Aided Design: First International Conference, FM ~ 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
Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms ~ Kluwer Academic Publishers
Rough Sets and Intelligent Systems Paradigms: International Conference, RSE ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Advent of the Algorithm: The Idea That Rules the World ~ David Berlinski Harcourt Publishers Ltd College Publishers David Berlinski
Cellular Automata Machines: A New Environment for Modelling (MIT Press Seri ~ Tommaso Toffoli - Norman Margolus The MIT Press Tommaso Toffoli - Norman Margolus
The Mathematical Olympiad Handbook: An Introduction to Problem Solving Base ~ Anthony Gardiner Oxford University Press Anthony Gardiner
Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Sys ~ 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...
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictu ~ James Robert Brown Routledge James Robert Brown
Fuzzy Logic: The Revolutionary Computer Technology That Is Changing Our World ~ Daniel McNeill - Paul Freiberger Simon & Schuster Ltd Daniel McNeill - Paul Freiberger
Rewriting Techniques and Applications: 9th International Conference, RTA-98 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Georg Cantor: His Mathematics and Philosophy of the Infinite ~ Joseph W. Dauben Princeton University Press Joseph W. Dauben
Adavnces in Modal Logic: v. 3 ~ World Scientific Publishing
Automated Model Building (Applied Logic) ~ Ricardo Caferra - Alexander Leitsch - Nicolas Peltier Kluwer Academic Publishers Ricardo Caferra - A...
Learning Theory: 20th Annual Conference on Learning Theory, Colt 2007, San ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy and Neuro-Fuzzy Intelligent Systems (Studies in Fuzziness & Soft Comp ~ A.E. Czoga - J. Eski Physica-Verlag GmbH & Co A.E. Czoga - J. Eski
Automated Deduction - Cade 21: 21st International Conference on Automated D ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Practical Foundations of Business System Specifications ~ Kluwer Academic Publishers
Implementation and Application of Automata: 9th International Conference, C ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Methods of Shape-preserving Spline Approximation ~ Boris I. Kvasov World Scientific Publishing Boris I. Kvasov
Fuzzy Equational Logic (Studies in Fuzziness & Soft Computing) ~ Radim Belohlavek - Vilem Vychodil Springer-Verlag Berlin and Heidelberg GmbH & Co. K Radim Belohlave...
Modeling Decisions for Artificial Intelligence: 4th International Conferenc ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Understanding the Many (Studies in Philosophy: Outstanding Dissertations) ~ Byeong-uk Yi Routledge, Inc Byeong-uk Yi
Janos Bolyai, Non-Euclidean Geometry, and the Nature of Space ~ Jeremy J. Gray The MIT Press Jeremy J. Gray
Algebraic Methodology and Software Technology: 5th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Flexible Neuro-Fuzzy Systems: Structures, Learning and Performance Evaluati ~ Leszek Rutkowski Kluwer Academic Publishers Leszek Rutkowski
Kelly:The Essence of Logic_p (Prentice-Hall Essence of Computing) ~ John Kelly Prentice Hall John Kelly
Term Rewriting and Applications: 18th International Conference, Rta 2007, P ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Abstraction, Reformulation, and Approximation: 7th International Symposium, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computability: An Introduction to Recursive Function Theory ~ N.J. Cutland Cambridge University Press N.J. Cutland
Agent Technology from a Formal Perspective (NASA Monographs in Systems and ~ Springer-Verlag London Ltd
Schaum's Outline of Logic (Schaum's Outline) ~ John Nolt - Dennis Rohatyn - Achille C. Varzi McGraw-Hill Publishing Co. John Nolt - Dennis Rohatyn ...
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foun ~ Ivor Grattan-Guinness Princeton University Press Ivor Grattan-Guinness
Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Log ~ John Gregg John Wiley & Sons Inc John Gregg
Introduction to Automata Theory, Languages, and Computation, 2nd Ed. ~ John E. Hopcroft - Rajeev Motwani - Jeffrey D. Ullman Addison Wesley John E. Hopcroft - Rajeev Motwa...
Principles of Artificial Intelligence (Symbolic Computation) ~ Nils J. Nilsson Springer-Verlag Berlin and Heidelberg GmbH & Co. K Nils J. Nilsson
Algorithmic Number Theory: 6th International Symposium, Ants-VI, Burlington ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computer Aided Verification: 7th International Conference, Cav '95, Liege, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Automated Reasoning with Analytic Tableaux and Related Methods: 16th Intern ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Program Development in Computational Logic: A Decade of Research Advances i ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Theory and Applications of Satisfiability Testing: 6th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Interactive Theorem Proving and Program Development: Coq'Art: the Calculus ~ Yves Bertot - Pierre Casteran Springer-Verlag Berlin and Heidelberg GmbH & Co. K Yves Bertot - Pierr...
Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Optimization in Economic Theory ~ Avinash K. Dixit Oxford University Press Avinash K. Dixit
Algorithmic Language and Program Development (Monographs in Computer Science) ~ F.L. Bauer - Hans Wossner Springer-Verlag Berlin and Heidelberg GmbH & Co. K F.L. Bauer - Hans Wossn...
Soft Computing: Integrating Evolutionary, Neural and Fuzzy Systems ~ Andrea Tettamanzi - Marco Tomassini Springer-Verlag Berlin and Heidelberg GmbH & Co. K Andrea Tettam...
Artificial Intelligence and Symbolic Computation: 7th International Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Studies ~ Nikolaos Galatos - Peter Jipsen - Tomasz Kowalski - Hiroakira Ono Elsevier Science Nikolaos Galatos ...
Computational Logic in Multi-Agent Systems: 4th International Workshop, Cli ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Schaum's Outline of Set Theory and Related Topics (Schaum's Outline) ~ Seymour Lipschutz McGraw-Hill Publishing Co. Seymour Lipschutz
Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Mode ~ Raymond S.T. Lee Springer-Verlag Berlin and Heidelberg GmbH & Co. K Raymond S.T. Lee
The Schur Algorithm, Reproducing Kernel Spaces and System Theory (SMF/AMS T ~ Daniel Alpay American Mathematical Society Daniel Alpay
Foundations of Software Technology and Theoretical Computer Science: 16th C ~ 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
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoreti ~ Hans Kleine Buning - Theodor Lettmann Cambridge University Press Hans Kleine Buning - Theodor Lettma...
The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbook ~ Oxford University Press Inc, USA
Logic Based Program Synthesis and Transformation: 13th International Sympos ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Two-Valued Iterative Systems of Mathematical Logic (Annals of Mathemati ~ Emil L. Post Princeton University Press Emil L. Post
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ~ Claude Girault - R. Valk Springer-Verlag Berlin and Heidelberg GmbH & Co. K Claude Girault - R. Valk...
Georg Cantor: His Mathematics and Philosophy of the Infinite ~ Joseph W. Dauben Princeton University Press Joseph W. Dauben
The Concept of Logical Consequence (Hume) ~ John Etchemendy Center for the Study of Language and Information John Etchemendy
Fuzzy Mathematics in Economics and Engineering (Studies in Fuzziness & Soft ~ James J. Buckley - Esfandiar Eslami - Thomas Feuring Physica-Verlag GmbH & Co James J. Buckley - Esf...
Axiomatic Design: Advances and Applications (MIT - Pappalardo Series in Mec ~ Nam P. Suh Oxford University Press Inc, USA Nam P. Suh
Formal Engineering for Industrial Software Development: Using the Sofl Method ~ Shaoying Liu Springer-Verlag Berlin and Heidelberg GmbH & Co. K Shaoying Liu
Mathematical Logic (Oxford Texts in Logic) ~ Ian Chiswell - Wilfrid Hodges Oxford University Press Ian Chiswell - Wilfrid Hodges
Finite-model Theory and Its Applications (Texts in Theoretical Computer Sci ~ Erich Gradel - Phokion G. Kolaitis - L. Libkin - M. Marx - J. Spencer - Moshe Y. Vardi - Scott Weins...
Algorithmic Graph Theory ~ James A. McHugh Prentice-Hall James A. McHugh
Structural Proof Theory ~ Sara Negri - Jan Von Plato Cambridge University Press Sara Negri - Jan Von Plato
Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter
Journey Through Genius: Great Theorems of Mathematics (Wiley Science Editions) ~ William Dunham John Wiley & Sons Inc William Dunham
Mathematical Logic ~ Stephen Cole Kleene Dover Publications Inc. Stephen Cole Kleene
Fuzzy Sets in Decision Analysis, Operations Research and Statistics (Handbo ~ Kluwer Academic Publishers
Principia Mathematica to *56 (Cambridge Mathematical Library) (Cambridge Ma ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra...
Modern Uses of Multiple-Valued Logic: International Symposium on Multiple-V ~ Kluwer Academic Publishers
Introducing Logic (Introducing) ~ Sharron Shatil - Dan Cryan - Bill Mayblin Icon Books Ltd Sharron Shatil - Dan Cryan - Bill Mayblin
Rough Sets: Mathematical Foundations (Advances in Soft Computing) ~ Lech Polkowski Physica-Verlag GmbH & Co Lech Polkowski
Philosophical Logic: An Introduction ~ Sybil Wolfram Routledge Sybil Wolfram
Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl ~ Kluwer Academic Publishers
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. ...
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History ~ Reviel Netz Cambridge University Press Reviel Netz
Lectures on the Foundations of Mathematics: Cambridge ~ Ludwig Wittgenstein University of Chicago Press Ludwig Wittgenstein
Complexity: Knots, Colourings and Countings (London Mathematical Society Le ~ Dominic Welsh Cambridge University Press Dominic Welsh
The Logic of Provability ~ George Boolos Cambridge University Press George Boolos
Fuzzy Mathematics: An Introduction for Engineers and Scientists (Studies in ~ John N. Mordeson - Premchand S. Nair Physica-Verlag GmbH & Co John N. Mordeson - Premchand S. Nair
Mathematical Logic: A Course with Exercises: Recursion Theory, Godel's Theo ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
Artificial Intelligence and Symbolic Computation: 8th International Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Introduction to Computer Theory ~ Daniel I.A. Cohen John Wiley and Sons (WIE) Daniel I.A. Cohen
Cellular Computing (Genomics & Bioinformatics) ~ Oxford University Press Inc, USA
Journey Through Genius: Great Theorems of Mathematics (Wiley Science Editions) ~ William Dunham John Wiley & Sons Inc William Dunham
Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis ~ Olaf Wolkenhauer John Wiley & Sons Inc Olaf Wolkenhauer
Essentials of Constraint Programming (Cognitive Technologies) ~ Thom Fruhwirth - Slim Abdennadher Springer-Verlag Berlin and Heidelberg GmbH & Co. K Thom Fruhwirth ...
The Pea and the Sun: A Mathematical Paradox ~ Leonard M. Wapner A K Peters Leonard M. Wapner
Handbook of Combinatorial Designs (Discrete Mathematics and Its Application ~ Jeffrey H. Dinitz - C.J. Colbourn CRC Press Inc Jeffrey H. Dinitz - C.J. Colbourn
Images of Excellence: Plato's Critique of the Arts ~ Christopher Janaway Clarendon Press Christopher Janaway
Logic, Induction and Sets (London Mathematical Society Student Texts) ~ Thomas Forster Cambridge University Press Thomas Forster
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...
A Say in the End of the World: Morals and British Nuclear Weapons Policy 19 ~ Roger Ruston Clarendon Press Roger Ruston
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History ~ Reviel Netz Cambridge University Press Reviel Netz
Specifying Systems: The TLA+ Language and Tools for Hardware and Software E ~ Leslie Lamport Addison Wesley Leslie Lamport
Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Log ~ John Gregg John Wiley & Sons Inc John Gregg
Fuzzy Modeling and Control: Selected Works of M. Sugeno ~ CRC Press Inc
Principles and Practice of Semantic Web Reasoning: Second International Wor ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Introducing Logic (Introducing) ~ Sharron Shatil - Dan Cryan - Bill Mayblin Icon Books Ltd Sharron Shatil - Dan Cryan - Bill Mayblin
Parameterized and Exact Computation: Second International Workshop, IWPEC 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Model Based Reasoning in Science and Engineering (Logic) ~ College Publications
The Cloud of Unknowing ~ Evelyn Underhill Cosimo Evelyn Underhill
The Market Revolution: Jacksonian America, 1815-46 ~ Charles Sellers Oxford University Press Inc, USA Charles Sellers
Grammatical Inference, Algorithms and Applications: 8th International Collo ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
OMDOC, an Open Markup Format for Mathematical Documents: Version 1.2 (Lectu ~ Michael Kohlhase Springer-Verlag Berlin and Heidelberg GmbH & Co. K Michael Kohlhase
A Course in Model Theory: An Introduction to Contemporary Mathematical Logi ~ Bruno Poizat Springer-Verlag New York Inc. Bruno Poizat
How to Prove It: A Structured Approach ~ Daniel J. Velleman Cambridge University Press Daniel J. Velleman
Advances in Artificial Intelligence - Iberamia-Sbia 2006: 2nd International ~ 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
MULTI-OBJECTIVE GROUP DECISION MAKING: METHODS SOFTWARE AND APPLICATIONS WI ~ RUAN DA ET AL ICP RUAN DA ET AL
Introduction to Fuzzy Logic Using Matlab ~ S.N. Sivanandam - Sai Sumathi - N. Deepa Springer-Verlag Berlin and Heidelberg GmbH & Co. K S.N. Siv...
The Law of Non-contradiction: New Philosophical Essays ~ Clarendon Press
Deontic Logic and Artificial Normative Systems: 8th International Workshop ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Consistency of the Continuum Hypothesis (Annals of Mathematics Studies) ~ Kurt Godel Princeton University Press Kurt Godel
Fuzzy-Set Social Science ~ Charles C. Ragin University of Chicago Press Charles C. Ragin
Fuzzy Model Identification for Control (Systems & Control: Foundations & Ap ~ J. Abonyi Birkhauser Verlag AG J. Abonyi
Definition ~ Richard Robinson Oxford University Press Richard Robinson
Turing's World 3.0 for the Macintosh : an Introduction to Computability (Cs ~ Jon Barwise Cambridge University Press Jon Barwise
Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Obje ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compiler Construction: 16th International Conference, Cc 2007, Held as Part ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
A New Introduction to Modal Logic ~ George Edward Hughes - M.J. Cresswell Routledge George Edward Hughes - M.J. Cresswell
Mathematics and Music: A Diderot Mathematical Forum ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
An Investigation of the Laws of Thought ~ George Boole Dover Publications Inc. George Boole
Metamathematics of Fuzzy Logic (Trends in Logic) ~ Petr Hajek Kluwer Academic Publishers Petr Hajek
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
Memoirs of a Proof Theorist: Godel and Other Logicians ~ Mariko Yasugi - Nicholas Passell World Scientific Publishing Mariko Yasugi - Nicholas Passell
An Introduction to Fuzzy Logic for Practical Applications ~ Kazuao Tanaka Springer-Verlag New York Inc. Kazuao Tanaka
The Equations: Icons of Knowledge ~ Sander Bais Harvard University Press Sander Bais
The Concept of Logical Consequence (Hume) ~ John Etchemendy Center for the Study of Language and Information John Etchemendy
Mathematical Logic in the 20th Century ~ World Scientific Publishing
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmi ~ Marcus Hutter Springer-Verlag Berlin and Heidelberg GmbH & Co. K Marcus Hutter
The Cloud of Unknowing: The Classic of Medieval Mysticism ~ Evelyn Underhill Dover Publications Inc. Evelyn Underhill
God Created the Integers: The Mathematical Breakthroughs That Changed History ~ Running Press
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History ~ Jean van Heijenoort Harvard University Press Jean van Heijenoort
The Moment of Proof: Mathematical Epiphanies ~ Donald C. Benson Oxford University Press Inc, USA Donald C. Benson
Intermediate Logic ~ David Bostock Oxford University Press David Bostock
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Trac ~ Lawrence C. Paulson Cambridge University Press Lawrence C. Paulson
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applic ~ Richard W. Kaye Cambridge University Press Richard W. Kaye
John Napier: Logarithm John ~ Lynne Gladstone-Millar NMS Enterprises Limited - Publishing Lynne Gladstone-Millar
The Philosophy of Set Theory: An (Dover Books on Mathematics) ~ Mary Tiles Dover Publications Inc. Mary Tiles
Concise Introduction to Pure Mathematics (Chapman & Hall/CRC Mathematics) ~ Martin Liebeck Chapman & Hall/CRC Martin Liebeck
 
      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
 
      401 - 600

TITLE NOT SUPPLIED (Ludwig Wittgenstein, Wiener Ausgabe) ~ M. Nedo - L. Wittgenstein Springer-Verlag, Austria M. Nedo - L. Wittgenstein
Labelled Non-classical Logics ~ Luca Vigano Kluwer Academic Publishers Luca Vigano
Theorem Proving with Analytic Tableaux and Related Methods: 5th Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Foundations of Arithmetic ~ Gottlob Frege Blackwell Publishers Gottlob Frege
Fuzzy Set Theory: And Its Applications ~ Hans-Jurgen Zimmermann Kluwer Academic Publishers Hans-Jurgen Zimmermann
AI Ia 2005 Advances in Artificial Intelligence: 9th Congress of the Italian ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Random Iterative Models (Stochastic Modeling and Applied Probability) ~ Marie Duflo Springer-Verlag Berlin and Heidelberg GmbH & Co. K Marie Duflo
Science and Method (Key Texts: Classic Studies in the History of Ideas) ~ Jules Henri Poincare Thoemmes Continuum Jules Henri Poincare
Analysis and Evaluation of Fuzzy Systems (International Series in Intellige ~ Akira Ishikawa - Terry L. Wilson Kluwer Academic Publishers Akira Ishikawa - Terry L. Wilson
Current Topics in Artificial Intelligence: 11th Conference of the Spanish A ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Mathematical Olympiad Handbook: An Introduction to Problem Solving Base ~ Anthony Gardiner Oxford University Press Anthony Gardiner
Knowledge Discovery in Databases: PKDD 2004, 8th European Conference on Pri ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Possibility And Reality: Metaphysics And Logic: Metaphysics and Logic ~ ontos verlag
Where Mathematics, Computer Science, Linguistics and Biology Meet ~ Kluwer Academic Publishers
Knowledge Discovery in Databases - PKDD 2005: 9th European Conference on Pr ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
An Introduction to Non-Classical Logic ~ Graham Priest Cambridge University Press Graham Priest
Gesammelte Abhandlungen/collected Works: v. 1 ~ Hans Hahn Springer-Verlag, Austria Hans Hahn
Quantifiers, Deduction, and Context (CSLI Lecture Notes) ~ Center for the Study of Language and Information
Compiler Construction: 14th International Conference, CC 2005, Held as Part ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Measures and Integrals: Theory and Applications (Studies in Fuzziness ~ Physica-Verlag GmbH & Co
Learning Theory: 20th Annual Conference on Learning Theory, Colt 2007, San ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Set Theory: Applications in the Social Sciences: 147 (Quantitative Ap ~ Michael J. Smithson - Jay Verkuilen Sage Publications, Inc Michael J. Smithson - Jay Verkuilen
Abstract State Machines 2003: Advances in Theory and Practice - 10th Intern ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Philosophical Logic: An Introduction ~ Sybil Wolfram Routledge Sybil Wolfram
Infinity or Not? An Arithmetical Satire ~ Valery Chaldize Universal Publishers,US Valery Chaldize
Neural Nets: 16th Italian Workshop on Neural Nets, WIRN 2005, International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Adavnces in Modal Logic: v. 3 ~ World Scientific Publishing
Haskell Road to Logic, Maths and Programming, The (Texts in Computing S.) ~ Kees Doets - Jan van Eijck King's College Publications Kees Doets - Jan van Eijck
Algorithmic Number Theory: 7th International Symposium, Ants-VII, Berlin, G ~ M. Pohst Springer-Verlag Berlin and Heidelberg GmbH & Co. K M. Pohst
Computational Complexity ~ Christos H. Papadimitriou Addison Wesley Christos H. Papadimitriou
Computational Linguistics and Intelligent Text Processing: 7th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Reason and Reality (Acta Jutlandica) ~ Stig Jorgensen Aarhus University Press Stig Jorgensen
Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computer Science Logic: 18th International Workshop, Csl 2004, 13th Annual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Continuum: A Critical Examination of the Foundation of Analysis ~ Hermann Weyl Dover Publications Inc. Hermann Weyl
Lectures on the Foundations of Mathematics: Cambridge ~ Ludwig Wittgenstein University of Chicago Press Ludwig Wittgenstein
ZB 2002, Formal Specification and Development in Z and B: 2nd International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Vorlesungen Uber Die Algebra Der Logik (Key Works in the History of Logic & ~ Ernst Schroder Thoemmes Continuum Ernst Schroder
Automated Reasoning with Analytic Tableaux and Related Methods: 16th Intern ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzzines ~ Irina Georgescu Springer-Verlag Berlin and Heidelberg GmbH & Co. K Irina Georgescu
Knowledge Discovery in Databases: PKDD 2004, 8th European Conference on Pri ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Handbook on Splines for the User ~ Eugene V. Shikin - Alexander I. Plis CRC Press Inc Eugene V. Shikin - Alexander I. Plis
Relational Methods in Computer Science (Advances in Computing Sciences) ~ Springer-Verlag, Austria
New Trends in Fuzzy Logic: Proceedings of the WILF '97 - Italian Workshop o ~ World Scientific Publishing
The Two-Valued Iterative Systems of Mathematical Logic (Annals of Mathemati ~ Emil L. Post Princeton University Press Emil L. Post
Machine Intelligence: Quo Vadis? (Advances in Fuzzy Systems: Applications a ~ World Scientific Publishing
Nonmonotonic Reasoning: An Overview (CSLI Lecture Notes) ~ Kurt Konolige - Gerhard Brewka - Jurgen Dix Center for the Study of Language and Information Kurt Ko...
Algorithmic Learning Theory: 17th International Conference, Alt 2006, Barce ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Information, Randomness and Incompleteness: Papers on Algorithmic Informati ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin
Learning Theory: 18th Annual Conference on Learning Theory, Colt 2005, Bert ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
On Formally Undecidable Propositions of "Principia Mathematica" and Related ~ Kurt Godel Dover Publications Inc. Kurt Godel
AI 2004 - Advances in Artificial Intelligence: 17th Australian Joint Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Machine Learning - Ecml 2003: 14th European Conference on Machine Learning, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fusion of Neural Networks, Fuzzy Sets, and Genetic Algorithms: Industrial A ~ Lakhmi C. Jain CRC Press Inc Lakhmi C. Jain
Modeling Decisions for Artificial Intelligence: Third International Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Information, Randomness and Incompleteness: Papers on Algorithmic Informati ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin
Artificial Intelligence and Neural Networks: 14th Turkish Symposium, Tainn ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Labelled Deduction (Applied Logic) ~ Kluwer Academic Publishers
Implementation and Application of Automata: 11th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Quantitative Development in Infancy and Early Childhood ~ Oxford University Press Inc, USA
Mathematics of Quantum Computation (Computational Mathematics) ~ R. Brylinski CRC Press Inc R. Brylinski
Logic Programming and Nonmonotonic Reasoning: 8th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer: Hope and Di ~ D.van Dalen Oxford University Press D.van Dalen
Theory and Applications of Satisfiability Testing: 8th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ~ Claude Girault - R. Valk Springer-Verlag Berlin and Heidelberg GmbH & Co. K Claude Girault - R. Valk...
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
Quantum Logic (Discrete Mathematics & Theoretical Computer Science) ~ K. Svozil National University of Singapore,Singapore K. Svozil
Mathematics and Sports (Mathematical World) ~ L.E. Sadovskii - A.L. Sadovskii American Mathematical Society L.E. Sadovskii - A.L. Sadovskii
Abstraction, Reformulation, and Approximation: 7th International Symposium, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Mystic, Geometer and Intuitionist: The Life of L.E.J. Brouwer: Dawning Revo ~ D.van Dalen Clarendon Press D.van Dalen
Fuzzy Sets in the Management of Uncertainty: v. 145 (Studies in Fuzziness & ~ Jaime Gil-Aluja Springer-Verlag Berlin and Heidelberg GmbH & Co. K Jaime Gil-Aluja
Contributions to the Science of Text and Language: Word Length Studies and ~ Kluwer Academic Publishers
Fleeting Footsteps: Tracing the Conception of Arithmetic and Algebra in Anc ~ Lam Lay Yong - Ang Tian Se World Scientific Publishing Lam Lay Yong - Ang Tian Se
Algorithmic Number Theory: 6th International Symposium, Ants-VI, Burlington ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logistics Dictionary: Fachworter Der Logistik ~ J. Kiesel Wiley-VCH J. Kiesel
Logic, Semantics, Metamathematics: Papers from 1923-38 ~ Alfred Tarski - John Corcoran Hackett Publishing Co, Inc Alfred Tarski - John Corcoran
Euclides Vindicatus ~ Girolamo Saccheri American Mathematical Society Girolamo Saccheri
Advances in Modal Logic: v. 6 ~ College Publications
Logic and Knowledge Representation: Introduction for Systems Analysts ~ Alwyn Jones Financial Times Prentice Hall Alwyn Jones
Handbook of Combinatorial Designs (Discrete Mathematics and Its Application ~ Jeffrey H. Dinitz - C.J. Colbourn CRC Press Inc Jeffrey H. Dinitz - C.J. Colbourn
International Library of Philosophy: Set E (International Library of Philosophy) ~ William C. Madsen Routledge William C. Madsen
Learning Classifier Systems: 5th International Workshop, IWLCS 2002, Granad ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Machine Learning - Ecml 2003: 14th European Conference on Machine Learning, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Zb 2005 - Formal Specification and Development in Z and B: 4th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Deterministic and Statistical Methods in Machine Learning: First Internatio ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Algebraic Methodology and Software Technology: 4th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Triangulations and Applications (Mathematics & Visualization) ~ Oyvind Hjelle - Morten Daehlen Springer-Verlag Berlin and Heidelberg GmbH & Co. K Oyvind Hjelle - Mo...
Computational Linguistics and Intelligent Text Processing: 7th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Games and Full Abstraction for a Functional Metalanguage with Recursive Typ ~ Guy McCusker Springer-Verlag Berlin and Heidelberg GmbH & Co. K Guy McCusker
Fuzzy Logic: A Framework for the New Millennium (Studies in Fuzziness & Sof ~ Physica-Verlag GmbH & Co
Introduction to Logic and to the Methodology of Deductive Sciences ~ Alfred Tarksi Dover Publications Inc. Alfred Tarksi
Metamathematics of Fuzzy Logic (Trends in Logic) ~ Petr Hajek Kluwer Academic Publishers Petr Hajek
The Frege Reader (Blackwell Readers) ~ Blackwell Publishers
Fuzzy Sets in Decision Analysis, Operations Research and Statistics (Handbo ~ Kluwer Academic Publishers
Rough Sets and Intelligent Systems Paradigms: International Conference, RSE ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Mathematics: An Introduction for Engineers and Scientists (Studies in ~ John N. Mordeson - Premchand S. Nair Physica-Verlag GmbH & Co John N. Mordeson - Premchand S. Nair
Deterministic and Statistical Methods in Machine Learning: First Internatio ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Systems and Knowledge Discovery: Third International Conference, Fskd ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logical Structures for Representation of Knowledge and Uncertainty (Studies ~ Ellen Hisdal Physica-Verlag GmbH & Co Ellen Hisdal
An Introduction to Fuzzy Logic for Practical Applications ~ Kazuao Tanaka Springer-Verlag New York Inc. Kazuao Tanaka
A Half-century of Automata Theory: Celebration and Inspiration ~ World Scientific Publishing
Cellular Automata Machines: A New Environment for Modelling (MIT Press Seri ~ Tommaso Toffoli - Norman Margolus The MIT Press Tommaso Toffoli - Norman Margolus
Algorithms and Complexity: 5th Italian Conference, CIAC 2003, Rome, Italy, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Modeling and Retrieval of Context: Second International Workshop, MRC 2005, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Case-Based Reasoning Research and Development: 6th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Knowledge Discovery in Databases - PKDD 2005: 9th European Conference on Pr ~ 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
Computer Processing of Oriental Languages. Beyond the Orient, the Research ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) ~ Oxford University Press Inc, USA
Fuzzy Equational Logic (Studies in Fuzziness & Soft Computing) ~ Radim Belohlavek - Vilem Vychodil Springer-Verlag Berlin and Heidelberg GmbH & Co. K Radim Belohlave...
Information and Randomness: An Algorithmic Perspective (Texts in Theoretica ~ Cristian S. Calude Springer-Verlag Berlin and Heidelberg GmbH & Co. K Cristian S. Calude
Computability and Logic ~ George S. Boolos - John P. Burgess - Richard C. Jeffrey Cambridge University Press George S. Boolos ...
Janos Bolyai, Non-Euclidean Geometry, and the Nature of Space ~ Jeremy J. Gray The MIT Press Jeremy J. Gray
AI 2003, Advances in Artificial Intelligence (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Modeling with Spatial Information for Geographic Problems ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy and Multiobjective Games for Conflict Resolution (Studies in Fuzzines ~ Ichiro Nishizaki - Masatoshi Sakawa Physica-Verlag GmbH & Co Ichiro Nishizaki - Masatoshi Sakawa
Kurt Godel: Collected Works: Selected Correspondence, A-G Vol 4 (Mathematics) ~ Kurt Godel Clarendon Press Kurt Godel
The Dynamics of Judicial Proof: Computation, Logic and Common Sense (Studie ~ Physica-Verlag GmbH & Co
Kurt Godel: Correspondence, H-Z: 005 (Collected Works) ~ Kurt Godel Clarendon Press Kurt Godel
Practical Foundations of Business System Specifications ~ Kluwer Academic Publishers
Algorithms and Complexity in Durham 2006: Proceedings of the Second ACiD Wo ~ College Publications
Handbook of Logic and Proof Techniques for Computer Science ~ Steven G. Krantz Birkhauser Verlag AG Steven G. Krantz
TITLE NOT SUPPLIED (Ludwig Wittgenstein, Wiener Ausgabe) ~ M. Nedo - L. Wittgenstein Springer-Verlag, Austria M. Nedo - L. Wittgenstein
Similarity and Compatibility in Fuzzy Set Theory: Assessment and Applicatio ~ Valerie V. Cross - Thomas A. Sudkamp Physica-Verlag GmbH & Co Valerie V. Cross - Thomas A. Sudkamp
Constructing Correct Software: The Basics (Formal Approaches to Computing & ~ John Cooke Springer-Verlag Berlin and Heidelberg GmbH & Co. K John Cooke
Transactions on Rough Sets: v. 4 (Lecture Notes in Computer Science) ~ 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
Computer Supported Cooperative Work in Design: 8th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computational Intelligence: International Conference on Intelligent Computi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Implementation and Application of Automata: 9th International Conference, C ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Compiler Construction: 16th International Conference, Cc 2007, Held as Part ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Newton's "Principia" for the Common Reader ~ S. Chandrasekhar Clarendon Press S. Chandrasekhar
Platonism and Anti-platonism in Mathematics ~ Mark Balaguer Oxford University Press Inc, USA Mark Balaguer
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Advances in Natural Language Processing: 5th International Conference, Fint ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathem ~ Jose Ferreiros Birkhauser Verlag AG Jose Ferreiros
Selected Papers on Analysis of Algorithms (Center for the Study of Language ~ Donald E. Knuth Cambridge University Press Donald E. Knuth
Numbers and Proofs (Modular Mathematics Series) ~ Reg Allenby Butterworth-Heinemann Reg Allenby
Coincidences, Chaos and All That Math Jazz: Making Light of Weighty Ideas ~ E.B. Burger - Michael Starbird W W Norton & Co Ltd E.B. Burger - Michael Starbird
Types for Proofs and Programs: International Workshop, Types 2000, Durham, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computational Logic in Multi-Agent Systems: 4th International Workshop, Cli ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Theory of Logical Calculi: Basic Theory of Consequence Operations (Synthese ~ Ryszard Wojcicki Kluwer Academic Publishers Ryszard Wojcicki
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...
Formal Techniques in Real-time and Fault-tolerant Systems: Second Internati ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Rough Sets and Knowledge Technology: Second International Conference, Rskt ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Automated Deduction: A Basis for Applications: Systems and Implementation T ~ Kluwer Academic Publishers
OMDOC, an Open Markup Format for Mathematical Documents: Version 1.2 (Lectu ~ Michael Kohlhase Springer-Verlag Berlin and Heidelberg GmbH & Co. K Michael Kohlhase
Algorithmic Learning Theory: 14th International Conference, ALT 2003, Sappo ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Modeling and Retrieval of Context: Second International Workshop, MRC 2005, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictu ~ James Robert Brown Routledge James Robert Brown
Advanced Fuzzy-Neural Control 2001: A Proceedings Volume from the Ifac Work ~ Pergamon
Fuzzy-Set Social Science ~ Charles C. Ragin University of Chicago Press Charles C. Ragin
Parameterized and Exact Computation: Second International Workshop, IWPEC 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fixing Frege (Princeton Monographs in Philosophy) ~ J. Burgess Princeton University Press J. Burgess
Theorem Proving with Analytic Tableaux and Related Methods: 5th Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Symbolic Logic (AMS Chelsea Publishing) ~ John Venn American Mathematical Society John Venn
Value-Based Metrics for Improving Results: An Enterprise Project Management ~ Mel Schnapper - Steven Rollins J. Ross Publishing Mel Schnapper - Steven Rollins
To Mock a Mockingbird: And Other Logic Puzzles ~ Raymond M. Smullyan Oxford University Press Raymond M. Smullyan
Abstraction, Reformulation and Approximation: 6th International Symposium, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
AI 2005, Advances in Artificial Intelligence: 18th Australian Joint Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
MULTI-OBJECTIVE GROUP DECISION MAKING: METHODS SOFTWARE AND APPLICATIONS WI ~ RUAN DA ET AL ICP RUAN DA ET AL
The Moment of Proof: Mathematical Epiphanies ~ Donald C. Benson Oxford University Press Inc, USA Donald C. Benson
Godel's Theorem: An Incomplete Guide to Its Use and Abuse ~ Torkel Franzen A K Peters Torkel Franzen
Mathematical Logic in the 20th Century ~ World Scientific Publishing
Inductive Logic Programming: 14th International Conference, Ilp 2004, Porto ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Natural Language Processing - IJCNLP 2005: Second International Joint Confe ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Principia Mathematica to *56 (Cambridge Mathematical Library) (Cambridge Ma ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra...
Automated Deduction, Cade-13: 13th International Conference on Automated De ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Foundations of Mathematics ~ Ian Stewart - David Tall Oxford University Press Ian Stewart - David Tall
Term Rewriting and Applications: 16th International Conference, Rta 2005, N ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Automated Deduction, Cade-13: 13th International Conference on Automated De ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Conceptual Structures, Inspiration and Application: 14th International Conf ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Flexible Neuro-Fuzzy Systems: Structures, Learning and Performance Evaluati ~ Leszek Rutkowski Kluwer Academic Publishers Leszek Rutkowski
The Music of the Primes: Why an Unsolved Problem in Mathematics Matters ~ Marcus du Sautoy Fourth Estate Marcus du Sautoy
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foun ~ Ivor Grattan-Guinness Princeton University Press Ivor Grattan-Guinness
Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Sys ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Game Set and Math: Enigmas and Conundrums (Dover Classics of Science & Math ~ Ian Stewart Dover Publications Inc. Ian Stewart
Automated Deduction - Cade 21: 21st International Conference on Automated D ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Labelled Deduction (Applied Logic) ~ Kluwer Academic Publishers
Computational Learning and Cognition: Proceedings of the Third NEC Symposium ~ Society for Industrial & Applied Mathematics,U.S.
Similarity and Compatibility in Fuzzy Set Theory: Assessment and Applicatio ~ Valerie V. Cross - Thomas A. Sudkamp Physica-Verlag GmbH & Co Valerie V. Cross - Thomas A. Sudkamp
Rewriting Techniques and Applications: 15th International Conference, Rta 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Annual Meeting of the North American Fuzzy Information Processing Society ~ Institute of Electrical and Electronics Engineers I.E.E.E.Press Institute of Electrical and Electron...
Modeling Decisions for Artificial Intelligence: Third International Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
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
Learning Theory: 18th Annual Conference on Learning Theory, Colt 2005, Bert ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computability, Complexity, and Languages: Fundamentals of Theoretical Compu ~ Martin Davis - Ron Sigal - Elaine J. Weyuker Morgan Kaufmann Martin Davis - Ron Sigal - Elaine J. We...
Program Development in Computational Logic: A Decade of Research Advances i ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logic-based Program Synthesis and Transformation: 16th International Sympos ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Frege Reader (Blackwell Readers) ~ Blackwell Publishers
Logic, Semantics, Metamathematics: Papers from 1923-38 ~ Alfred Tarski - John Corcoran Hackett Publishing Co, Inc Alfred Tarski - John Corcoran
Computer Science Logic: 18th International Workshop, Csl 2004, 13th Annual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
How to Prove It: A Structured Approach ~ Daniel J. Velleman Cambridge University Press Daniel J. Velleman
Briefings on Existence (SUNY Series, Intersactions: Politics & Critical Theory) ~ Alain Badiou State University of New York Press Alain Badiou
DNA Computing: 10th International Workshop on DNA Computing, Dna10, Milan, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, ~ Juraj Hromkovic Springer-Verlag Berlin and Heidelberg GmbH & Co. K Juraj Hromkovic
Automated Deduction: A Basis for Applications: Systems and Implementation T ~ Kluwer Academic Publishers
 
      601 - 800

Applications and Theory of Petri Nets 2002: 23rd International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Abstract State Machines: Theory and Applications - International Workshop, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Sets Engineering ~ Witold Pedrycz CRC Press Inc Witold Pedrycz
Principles and Practice of Semantic Web Reasoning: Second International Wor ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
From Logic to Logic Programming (Foundations of Computing) ~ K Doets MIT Press K Doets
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec (Distin ~ Masahito Hasegawa Springer-Verlag London Ltd Masahito Hasegawa
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedica ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logic: A Very Short Introduction (Very Short Introductions) ~ Graham Priest Oxford Paperbacks Graham Priest
Foundations of Software Technology and Theoretical Computer Science: 16th C ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Knowledge Discovery in Databases PKDD 2006: 10th European Conference on Pri ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Theory of Logical Calculi: Basic Theory of Consequence Operations (Synthese ~ Ryszard Wojcicki Kluwer Academic Publishers Ryszard Wojcicki
Introduction to Lattices and Order ~ B. A. Davey - H. A. Priestley Cambridge University Press B. A. Davey - H. A. Priestley
Selected Papers on Analysis of Algorithms (Center for the Study of Language ~ Donald E. Knuth Cambridge University Press Donald E. Knuth
DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
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...
Future Directions of Fuzzy Theory and Systems ~ World Scientific Publishing
Computational Learning and Cognition: Proceedings of the Third NEC Symposium ~ Society for Industrial & Applied Mathematics,U.S.
Machine Translation, from Real Users to Research: 6th Conference of the Ass ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Contributions to the Science of Text and Language: Word Length Studies and ~ Kluwer Academic Publishers
Logics in Artificial Intelligence: 10th European Conference, Jelia 2006 Liv ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Coincidences, Chaos and All That Math Jazz: Making Light of Weighty Ideas ~ E.B. Burger - Michael Starbird W W Norton & Co Ltd E.B. Burger - Michael Starbird
Platonism and Anti-platonism in Mathematics ~ Mark Balaguer Oxford University Press Inc, USA Mark Balaguer
Random Iterative Models (Stochastic Modeling and Applied Probability) ~ Marie Duflo Springer-Verlag Berlin and Heidelberg GmbH & Co. K Marie Duflo
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer: Hope and Di ~ D.van Dalen Oxford University Press D.van Dalen
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th Internatio ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Completeness and Reduction in Algebraic Complexity Theory (Algorithms & Com ~ P. Burgisser Springer-Verlag Berlin and Heidelberg GmbH & Co. K P. Burgisser
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLI ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Triangulations and Applications (Mathematics & Visualization) ~ Oyvind Hjelle - Morten Daehlen Springer-Verlag Berlin and Heidelberg GmbH & Co. K Oyvind Hjelle - Mo...
AI*Ia 2003: Advances in Artificial Intelligence: 8th Congress of the Italia ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Quantifiers, Deduction, and Context (CSLI Lecture Notes) ~ Center for the Study of Language and Information
Introduction to Logic and to the Methodology of Deductive Sciences ~ Alfred Tarksi Dover Publications Inc. Alfred Tarksi
Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Mechanical Intelligence: 523256-v1.gif: Mechanical Intelligence (Advances i ~ North Holland
Advances in Case-based Reasoning: 8th European Conference, ECCBR 2006fethiy ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Basic Category Theory for Computer Scientists (Foundations of Computing) ~ Benjamin C. Pierce The MIT Press Benjamin C. Pierce
The Dynamics of Judicial Proof: Computation, Logic and Common Sense (Studie ~ Physica-Verlag GmbH & Co
Zb 2005 - Formal Specification and Development in Z and B: 4th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logics in Artificial Intelligence: 10th European Conference, Jelia 2006 Liv ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms ~ Kluwer Academic Publishers
Applications and Theory of Petri Nets 2002: 23rd International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Abstraction, Reformulation and Approximation: 6th International Symposium, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
A Handbook of Small Data Sets (Chapman & Hall Statistics Texts) ~ D.J. Hand - F. Galy - D. Lunn - E. Ostrowski Chapman & Hall/CRC D.J. Hand - F. Galy - D. Lunn - E. O...
Machine Learning, ECML 2006: 17th European Conference on Machine Learning B ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Cloud of Unknowing: The Classic of Medieval Mysticism ~ Evelyn Underhill Dover Publications Inc. Evelyn Underhill
Theory and Applications of Satisfiability Testing: 7th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Finite-model Theory and Its Applications (Texts in Theoretical Computer Sci ~ Erich Gradel - Phokion G. Kolaitis - L. Libkin - M. Marx - J. Spencer - Moshe Y. Vardi - Scott Weins...
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Automated Deduction: A Basis for Applications: Foundations - Calculi and Me ~ Kluwer Academic Publishers
Foundations of Software Technology and Theoretical Computer Science: 18th C ~ 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
Future Directions of Fuzzy Theory and Systems ~ World Scientific Publishing
Multi-valued Logics (Journal of Applied Non-classical Logics) ~ Hermes,France
Fuzziness in Petri Nets (Studies in Fuzziness & Soft Computing) ~ Physica-Verlag GmbH & Co
Rough Sets in Knowledge Discovery: Applications, Case Studies and Software ~ Physica-Verlag GmbH & Co
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'9 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Modern Uses of Multiple-Valued Logic: International Symposium on Multiple-V ~ Kluwer Academic Publishers
Symbolic Logic (AMS Chelsea Publishing) ~ John Venn American Mathematical Society John Venn
Fuzzy Logic: A Framework for the New Millennium (Studies in Fuzziness & Sof ~ Physica-Verlag GmbH & Co
Mystic, Geometer and Intuitionist: The Life of L.E.J. Brouwer: Dawning Revo ~ D.van Dalen Clarendon Press D.van Dalen
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Deontic Logic and Artificial Normative Systems: 8th International Workshop ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gain ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Infinity or Not? An Arithmetical Satire ~ Valery Chaldize Universal Publishers,US Valery Chaldize
Transactions on Rough Sets: v. 4 (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
John Napier: Logarithm John ~ Lynne Gladstone-Millar NMS Enterprises Limited - Publishing Lynne Gladstone-Millar
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applic ~ Richard W. Kaye Cambridge University Press Richard W. Kaye
Developments in Language Theory: 5th International Conference, DLT 2001, Vi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Simulating Continuous Fuzzy Systems (Studies in Fuzziness & Soft Computing) ~ James J. Buckley - Leonard J. Jowers Springer-Verlag Berlin and Heidelberg GmbH & Co. K James J. Buc...
Fuzzy Logic for Business, Finance, and Management (Advances in Fuzzy System ~ George Bojadziev - Maria Bojadziev World Scientific Publishing George Bojadziev - Maria Bojadziev
Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter
Advances in Modal Logic: v. 6 ~ College Publications
Nonmonotonic Reasoning: An Overview (CSLI Lecture Notes) ~ Kurt Konolige - Gerhard Brewka - Jurgen Dix Center for the Study of Language and Information Kurt Ko...
Collected Papers of Stig Kanger with Essays on His Life and Work: v. 1 (Syn ~ Kluwer Academic Publishers
Fuzzy Classifier Design (Studies in Fuzziness & Soft Computing) ~ Ludmila I. Kuncheva Physica-Verlag GmbH & Co Ludmila I. Kuncheva
Concise Introduction to Pure Mathematics (Chapman & Hall/CRC Mathematics) ~ Martin Liebeck Chapman & Hall/CRC Martin Liebeck
Transactions on Rough Sets: v. 3 (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Conditionals, Information, and Inference: International Workshop, Wcii 2002 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Algorithms and Complexity in Durham 2006: Proceedings of the Second ACiD Wo ~ College Publications
Reason and Reality (Acta Jutlandica) ~ Stig Jorgensen Aarhus University Press Stig Jorgensen
Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Obje ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
God Created the Integers: The Mathematical Breakthroughs That Changed History ~ Running Press
Algebraic Theory of Automata and Languages ~ Masami Ito World Scientific Publishing Masami Ito
Implementing Typed Feature Structure Grammars (CSLI Lecture Notes) ~ Ann Copestake University of Chicago Press Ann Copestake
Computational Quantum Chemistry: An Interactive Introduction to Basis Set Theory ~ Charles M. Quinn Academic Press Charles M. Quinn
Interactive Theorem Proving and Program Development: Coq'Art: the Calculus ~ Yves Bertot - Pierre Casteran Springer-Verlag Berlin and Heidelberg GmbH & Co. K Yves Bertot - Pierr...
The Computational Logic Handbook (Perspectives in Computing, Vol 23) ~ Robert S. Boyer - J.Strother Moore Academic Press Inc.,U.S. Robert S. Boyer - J.Strother Moore
Rewriting Techniques and Applications: 9th International Conference, RTA-98 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Godel's Proof ~ Ernest Nagel - James R. Newman New York University Press Ernest Nagel - James R. Newman
H-Infinity Control for Distributed Parameter Systems: A State-Space Approac ~ Bert van Keulen Birkhauser Verlag AG Bert van Keulen
The Foundations of Mathematics ~ Ian Stewart - David Tall Oxford University Press Ian Stewart - David Tall
Logical Aspects of Computational Linguistics: 5th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logical Structures for Representation of Knowledge and Uncertainty (Studies ~ Ellen Hisdal Physica-Verlag GmbH & Co Ellen Hisdal
AI 2006, Advances in Artificial Intelligence: 19th Australian Joint Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory o ~ Calixto Badesa Princeton University Press Calixto Badesa
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: 10th Internati ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Godels Proof (Routledge Classics) ~ Ernest Nagel - James R. Newman Routledge Ernest Nagel - James R. Newman
The Limits of Mathematics: A Course on Information Theory and the Limits of ~ G. J. Chaitin National University of Singapore,Singapore G. J. Chaitin
Ernst Zermelo: An Approach to His Life and Work ~ Heinz-Dieter Ebbinghaus Springer-Verlag Berlin and Heidelberg GmbH & Co. K Heinz-Dieter Ebbinghaus
Perspectives on the History of Mathematical Logic ~ Birkhauser Verlag AG
Constraint Logic Programming Using Eclipse ~ Krzysztof R. Apt - Mark Wallace Cambridge University Press Krzysztof R. Apt - Mark Wallace
To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paper ~ Eli Maor Princeton University Press Eli Maor
Mathematical Logic: A Course with Exercises: Propositional Calculus, Booela ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar
AI 2005, Advances in Artificial Intelligence: 18th Australian Joint Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Machine Learning - ECML 2005: 16th European Conference on Machine Learning, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Graphs and Algorithms (Contemporary Mathematics) ~ Bruce R. Richter American Mathematical Society Bruce R. Richter
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History ~ Jean van Heijenoort Harvard University Press Jean van Heijenoort
Logical Aspects of Computational Linguistics: 5th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Case-Based Reasoning Research and Development: 6th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Logic Foundations and Industrial Applications (International Series i ~ Kluwer Academic Publishers
Rough Sets in Knowledge Discovery: Methodology and Applications v. 1 (Studi ~ Physica-Verlag GmbH & Co
Logical Dilemmas: Life and Work of Kurt Godel ~ John Dawson A K Peters John Dawson
A Roadmap for Formal Property Verification ~ Pallab Dasgupta Kluwer Academic Publishers Pallab Dasgupta
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: v. ~ Kurt Jensen Springer-Verlag Berlin and Heidelberg GmbH & Co. K Kurt Jensen
Rough Sets and Knowledge Technology: First International Conference, Rskt 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Automated Model Building (Applied Logic) ~ Ricardo Caferra - Alexander Leitsch - Nicolas Peltier Kluwer Academic Publishers Ricardo Caferra - A...
Symbolic Asymptotics (Algorithms & Computation in Mathematics) ~ John R. Shackell Springer-Verlag Berlin and Heidelberg GmbH & Co. K John R. Shackell
Category Theory and Computer Science: 7th International Conference, CTCS'97 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Types for Proofs and Programs: International Workshop, Types 2003, Torino, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Essays in Radical Empiricism ~ William James Dover Publications Inc. William James
Algebraic Methodology and Software Technology: 4th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoreti ~ Hans Kleine Buning - Theodor Lettmann Cambridge University Press Hans Kleine Buning - Theodor Lettma...
Complexity Classifications of Boolean Constraint Satisfaction Problems (Mon ~ Nadia Creignou - Sanjeev Khanna - Madhu Sudan Society for Industrial & Applied Mathematics,U.S. Nadi...
Meaning and Argument: An Introduction to the Logic of Natural Language (Phi ~ Ernest LePore Blackwell Publishers Ernest LePore
Structural Proof Theory ~ Sara Negri - Jan Von Plato Cambridge University Press Sara Negri - Jan Von Plato
The Music of the Primes: Why an Unsolved Problem in Mathematics Matters ~ Marcus du Sautoy Fourth Estate Marcus du Sautoy
Mathematical Logic ~ Stephen Cole Kleene Dover Publications Inc. Stephen Cole Kleene
Fuzzy Thinking: The New Science of Fuzzy Logic ~ Bart Kosko Flamingo Bart Kosko
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...
Types for Proofs and Programs: International Workshop, Types 2000, Durham, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computer Aided Verification: 7th International Conference, Cav '95, Liege, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
On-line Algorithms (Series in Discrete Mathematics & Theoretical Computer S ~ American Mathematical Society
How to Pass Numerical Reasoning Tests: A Step-by-step Guide to Learning Key ~ Heidi Smith Kogan Page Ltd Heidi Smith
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese L ~ Mark van Atten Kluwer Academic Publishers Mark van Atten
Conceptual Modeling - ER 2005: 24th International Conference on Conceptual ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
A Half-century of Automata Theory: Celebration and Inspiration ~ World Scientific Publishing
Fuzzy Set Theory: Foundations and Applications ~ George J. Klir - Ute St. Clair - Bo Yuan Prentice Hall George J. Klir - Ute St. Clair - Bo Yuan
From Logic to Logic Programming (Foundations of Computing) ~ K Doets MIT Press K Doets
Jewels of Stringology: Text Algorithms ~ Maxime Crochemore - Wojciech Rytter World Scientific Publishing Maxime Crochemore - Wojciech Rytter
Artificial Intelligence and Symbolic Computation: 7th International Confere ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Meaning and Argument: An Introduction to the Logic of Natural Language (Phi ~ Ernest LePore Blackwell Publishers Ernest LePore
The Growth of Mathematical Knowledge (Synthese Library) ~ Emily Grosholz Kluwer Academic Publishers Emily Grosholz
Logic Programming and Nonmonotonic Reasoning: 8th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Automated Deduction: A Basis for Applications: Foundations - Calculi and Me ~ Kluwer Academic Publishers
Fuzzy Modeling and Control: Selected Works of M. Sugeno ~ CRC Press Inc
Implementation and Application of Automata: 11th International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Collected Papers of Stig Kanger with Essays on His Life and Work: v. 1 (Syn ~ Kluwer Academic Publishers
Logical Dilemmas: The Life and Work of Kurt Godel ~ John W. Dawson A K Peters John W. Dawson
MICAI 2005 - Advances in Artificial Intelligence: 4th Mexican International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (De ~ Walter de Gruyter & Co
Algorithms and Complexity: 5th Italian Conference, CIAC 2003, Rome, Italy, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
A Logical Journey from Godel to Philosophy (Representation and Mind) ~ Hao Wang The MIT Press Hao Wang
Dynamic Fuzzy Systems and Chaos Applications (International Series on Compu ~ Horia-Nicolai L. Teodorescu - Abraham Kandel CRC Press Inc.,U.S. Horia-Nicolai L. Teodorescu - Abrah...
Classical and Fuzzy Concepts in Mathematical Logic and Applications ~ Mircea S. Reghis - Eugene Roventa CRC Press Inc Mircea S. Reghis - Eugene Roventa
Kelly:The Essence of Logic_p (Prentice-Hall Essence of Computing) ~ John Kelly Prentice Hall John Kelly
Constraint Logic Programming Using Eclipse ~ Krzysztof R. Apt - Mark Wallace Cambridge University Press Krzysztof R. Apt - Mark Wallace
Scientific Computing with Matlab: Problems and Exercises Solved by MATLAB ( ~ Alfio Quarteroni - Fausto Saleri Springer-Verlag Berlin and Heidelberg GmbH & Co. K Alfio Quarteroni...
Theory and Applications of Satisfiability Testing: 7th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Mathematics in Economics and Engineering (Studies in Fuzziness & Soft ~ James J. Buckley - Esfandiar Eslami - Thomas Feuring Physica-Verlag GmbH & Co James J. Buckley - Esf...
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Com ~ Shawn Hedman Oxford University Press Shawn Hedman
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
Fleeting Footsteps: Tracing the Conception of Arithmetic and Algebra in Anc ~ Lam Lay Yong - Ang Tian Se World Scientific Publishing Lam Lay Yong - Ang Tian Se
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Artificial Intelligence and Neural Networks: 14th Turkish Symposium, Tainn ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Algorithmic Language and Program Development (Monographs in Computer Science) ~ F.L. Bauer - Hans Wossner Springer-Verlag Berlin and Heidelberg GmbH & Co. K F.L. Bauer - Hans Wossn...
Attacking Faulty Reasoning: A Practical Guide to Fallacy-free Arguments ~ T.Edward Damer Wadsworth T.Edward Damer
Uncertainty-based Information: Elements of Generalized Information Theory ( ~ George J. Klir - Mark J. Wierman Physica-Verlag GmbH & Co George J. Klir - Mark J. Wierman
Logic-based Program Synthesis and Transformation: 16th International Sympos ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Principles of Artificial Intelligence (Symbolic Computation) ~ Nils J. Nilsson Springer-Verlag Berlin and Heidelberg GmbH & Co. K Nils J. Nilsson
Discrete Mathematics for Computer Scientists (International Computer Scienc ~ John Truss Addison Wesley John Truss
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Logic for Computer Scientists (Progress in Computer Science & Applied Logic) ~ Uwe Schoening Birkhauser Verlag AG Uwe Schoening
Quantum Logic (Discrete Mathematics & Theoretical Computer Science) ~ K. Svozil National University of Singapore,Singapore K. Svozil
On-line Algorithms (Series in Discrete Mathematics & Theoretical Computer S ~ American Mathematical Society
An Introduction to Formal Languages and Automata ~ Peter Linz Jones & Bartlett Publishers Inc.,U.S. Peter Linz
Logic ~ Wilfrid Hodges Penguin Books Ltd Wilfrid Hodges
A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality a ~ College Publications
Hyperproof: For Macintosh (CSLI Lecture Notes) ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et...
Neural Nets: 16th Italian Workshop on Neural Nets, WIRN 2005, International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Algebraic Methodology and Software Technology: 5th International Conference ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Logic for Beginners ~ Masao Mukaidono World Scientific Publishing Masao Mukaidono
Atheism from the Reformation to the Enlightenment ~ Clarendon Press
Kurt Godel: Correspondence, H-Z: 005 (Collected Works) ~ Kurt Godel Clarendon Press Kurt Godel
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...
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
Principles and Practiceof Semantic Web Reasoning: International Workshop, P ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concur ~ World Scientific Publishing
An Investigation of the Laws of Thought ~ George Boole Dover Publications Inc. George Boole
The Consistency of the Continuum Hypothesis (Annals of Mathematics Studies) ~ Kurt Godel Princeton University Press Kurt Godel
Fuzzy Thinking: The New Science of Fuzzy Logic ~ Bart Kosko Flamingo Bart Kosko
To Mock a Mockingbird: And Other Logic Puzzles ~ Raymond M. Smullyan Oxford University Press Raymond M. Smullyan
Fuzzy Systems Design Principles: Building Fuzzy IfThen Rule Bases: Solving ~ Riza C. Berkan - Sheldon L. Trubatch John Wiley & Sons Riza C. Berkan - Sheldon L. Trubatch
Foundations and Fundamental Concepts of Mathematics (Dover books on mathematics) ~ Howard Eves - Carroll V. Newson Dover Publications Inc. Howard Eves - Carroll V. Newson
Discrete Mathematics for Computer Scientists (International Computer Scienc ~ John Truss Addison Wesley John Truss
First Course in Fuzzy Logic ~ Hung T. Nguyen Chapman & Hall/CRC Hung T. Nguyen
Abstract State Machines: Theory and Applications - International Workshop, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
 
      801 - 877

Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) ~ Rebecca Goldstein W W Norton & Co Ltd Rebecca Goldstein
Optimization in Economic Theory ~ Avinash K. Dixit Oxford University Press Avinash K. Dixit
Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) ~ Rebecca Goldstein W W Norton & Co Ltd Rebecca Goldstein
A Roadmap for Formal Property Verification ~ Pallab Dasgupta Kluwer Academic Publishers Pallab Dasgupta
Foundations and Fundamental Concepts of Mathematics (Dover books on mathematics) ~ Howard Eves - Carroll V. Newson Dover Publications Inc. Howard Eves - Carroll V. Newson
Foundations of Arithmetic ~ Gottlob Frege Blackwell Publishers Gottlob Frege
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th Internatio ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Rough Sets and Knowledge Technology: Second International Conference, Rskt ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Proofs and Refutations: The Logic of Mathematical Discovery ~ Cambridge University Press
Independent Component Analysis: A Tutorial Introduction (Bradford Books) ~ James V. Stone Bradford Book James V. Stone
An Introduction to Non-Classical Logic ~ Graham Priest Cambridge University Press Graham Priest
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Sc ~ Gregory J. Chaitin Cambridge University Press Gregory J. Chaitin
Introduction to Mathematical Logic ~ Elliott Mendelson CRC Press Inc Elliott Mendelson
An Introduction to Formal Languages and Automata ~ Peter Linz Jones & Bartlett Publishers Inc.,U.S. Peter Linz
Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Appro ~ Kazuao Tanaka - Hua O. Wang John Wiley & Sons Inc Kazuao Tanaka - Hua O. Wang
On Formally Undecidable Propositions of "Principia Mathematica" and Related ~ Kurt Godel Dover Publications Inc. Kurt Godel
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science) ~ Richard Lassaigne - Michel De Rougemont Springer-Verlag London Ltd Richard Lassaigne - Michel De Rou...
Rough Sets in Knowledge Discovery: Applications, Case Studies and Software ~ Physica-Verlag GmbH & Co
Learning Classifier Systems: 5th International Workshop, IWLCS 2002, Granad ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computability and Logic ~ George S. Boolos - John P. Burgess - Richard C. Jeffrey Cambridge University Press George S. Boolos ...
The Mathematician's Mind: The Psychology of Invention in the Mathematical F ~ Jacques Hadamard Princeton University Press Jacques Hadamard
Fuzzy and Multiobjective Games for Conflict Resolution (Studies in Fuzzines ~ Ichiro Nishizaki - Masatoshi Sakawa Physica-Verlag GmbH & Co Ichiro Nishizaki - Masatoshi Sakawa
Logic: A Very Short Introduction (Very Short Introductions) ~ Graham Priest Oxford Paperbacks Graham Priest
Jewels of Stringology: Text Algorithms ~ World Scientific Publishing
Numbers and Proofs (Modular Mathematics Series) ~ Reg Allenby Butterworth-Heinemann Reg Allenby
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
Intermediate Logic ~ David Bostock Oxford University Press David Bostock
Logic for Dummies (For Dummies) ~ Mark Zegarelli Hungry Minds Inc,U.S. Mark Zegarelli
How to Pass Numerical Reasoning Tests: A Step-by-step Guide to Learning Key ~ Heidi Smith Kogan Page Ltd Heidi Smith
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Mathematical Fallacies and Paradoxes ~ Bryan H. Bunch Dover Publications Inc. Bryan H. Bunch
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
The Seventeen Provers of the World (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Mathematician's Mind: The Psychology of Invention in the Mathematical F ~ Jacques Hadamard Princeton University Press Jacques Hadamard
AI 2003, Advances in Artificial Intelligence (Lecture Notes in Computer Science) ~ 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 - ...
Computability Theory (Chapman & Hall/CRC Mathematics) ~ S. Barry Cooper Chapman & Hall/CRC S. Barry Cooper
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Com ~ Shawn Hedman Oxford University Press Shawn Hedman
Axiomatic Design: Advances and Applications (MIT - Pappalardo Series in Mec ~ Nam P. Suh Oxford University Press Inc, USA Nam P. Suh
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Trac ~ Lawrence C. Paulson Cambridge University Press Lawrence C. Paulson
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Sc ~ Gregory J. Chaitin Cambridge University Press Gregory J. Chaitin
The Logic of Provability ~ George Boolos Cambridge University Press George Boolos
First Course in Fuzzy Logic ~ Hung T. Nguyen Chapman & Hall/CRC Hung T. Nguyen
Self-reference (CSLI Lecture Notes) ~ Thomas Bolander - Vincent F. Hendricks - Stig Andur Pedersen Centre for the Study of Language & Info...
The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathe ~ John P. Mayberry Cambridge University Press John P. Mayberry
Ontology Matching ~ Jerome Euzenat - Pavel Shvaiko Springer-Verlag Berlin and Heidelberg GmbH & Co. K Jerome Euzenat - P...
Symbolic Logic ~ Lewis Carroll Dover Publications Inc. Lewis Carroll
Inductive Logic Programming: 14th International Conference, Ilp 2004, Porto ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Complexity: Knots, Colourings and Countings (London Mathematical Society Le ~ Dominic Welsh Cambridge University Press Dominic Welsh
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History ~ Reviel Netz Cambridge University Press Reviel Netz
A Handbook of Small Data Sets (Chapman & Hall Statistics Texts) ~ D.J. Hand - F. Galy - D. Lunn - E. Ostrowski Chapman & Hall/CRC D.J. Hand - F. Galy - D. Lunn - E. O...
Fuzzy Logic: The Revolutionary Computer Technology That Is Changing Our World ~ Daniel McNeill - Paul Freiberger Simon & Schuster Ltd Daniel McNeill - Paul Freiberger
Fuzzy Modeling with Spatial Information for Geographic Problems ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formal Correctness of Security Protocols (Information Security & Cryptography) ~ Giampaolo Bella Springer-Verlag Berlin and Heidelberg GmbH & Co. K Giampaolo Bella
Simulating Continuous Fuzzy Systems (Studies in Fuzziness & Soft Computing) ~ James J. Buckley - Leonard J. Jowers Springer-Verlag Berlin and Heidelberg GmbH & Co. K James J. Buc...
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History ~ Reviel Netz Cambridge University Press Reviel Netz
Symbolic Logic ~ Lewis Carroll Dover Publications Inc. Lewis Carroll
Algorithmic Learning Theory: 17th International Conference, Alt 2006, Barce ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fundamentals of Logic Design ~ Charles H. Roth Brooks Cole Charles H. Roth
Recent Trends in Algebraic Development Techniques: 18th International Works ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Mathematics of Quantum Computation (Computational Mathematics) ~ R. Brylinski CRC Press Inc R. Brylinski
Atlas for Computing Mathematical Functions: An Illustrated Guide for Practi ~ William J. Thompson John Wiley & Sons Inc William J. Thompson
Completeness and Reduction in Algebraic Complexity Theory (Algorithms & Com ~ P. Burgisser Springer-Verlag Berlin and Heidelberg GmbH & Co. K P. Burgisser
Natural Reasons: Personality and Polity ~ S. L. Hurley Oxford University Press S. L. Hurley
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Natural Language Processing - IJCNLP 2005: Second International Joint Confe ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Mathematics and Sports (Mathematical World) ~ L.E. Sadovskii - A.L. Sadovskii American Mathematical Society L.E. Sadovskii - A.L. Sadovskii
Algebraic Theory of Automata and Languages ~ Masami Ito World Scientific Publishing Masami Ito
Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathem ~ Jose Ferreiros Birkhauser Verlag AG Jose Ferreiros
Foundations of Software Technology and Theoretical Computer Science: 18th C ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy Sets Engineering ~ Witold Pedrycz CRC Press Inc Witold Pedrycz
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'9 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fusion of Neural Networks, Fuzzy Sets, and Genetic Algorithms: Industrial A ~ Lakhmi C. Jain CRC Press Inc Lakhmi C. Jain
A Logical Journey from Godel to Philosophy (Representation and Mind) ~ Hao Wang The MIT Press Hao Wang
Abstract State Machines 2003: Advances in Theory and Practice - 10th Intern ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Advanced Digital Design with the Verilog HDL (Prentice Hall Xilinx Design S ~ Michael D. Ciletti Prentice-Hall Michael D. Ciletti
Fuzzy Logic Foundations and Industrial Applications (International Series i ~ Kluwer Academic Publishers
 

 






(c) 2007 sciencenin.co.uk



Structural Bioinformatics (Methods of Biochemical Analysis)
The Correspondence of Charles Darwin: 1844-1846 v. 3 (Correspondence of Charles Darwin)
Perennial Weeds: Characteristics and Identification of Selected Herbaceous Species
Robotics and Manufacturing: Recent Trends in Research, Education and Applications: v. 5 (Jamshidi, M.)
The Geometrical Tolerancing Desk Reference: Creating and Interpreting ISO Standard Technical Drawings
The Evolution of Communication
Applied Optimization with MATLAB Programming
Surrogates and Other Mothers: The Debates Over Assisted Reproduction
Dharma Rain: Sources of Buddhist Environmentalism
Fundamentals of Earthquake Resistant Construction (Wiley Series of Practical Construction Guides)
Polyhedra
The Stars
Keeping Buildings Healthy (A Wiley-Interscience publication)
Seeds: Time Capsules of Life
Help for the Struggling Student: Ready-to-use Strategies and Lessons to Build Attention, Memory and Organizational Skills
Reading the River: Voyage Down the Yukon
Contested Natures (Published in association with Theory, Culture & Society)
Science and Its Times: 19th Century Vol 5 (Science and Its Times)
Soils in Archaeological Research
David Livingstone: Mission and Empire
Chemical Engineering Faculty Directory: 55 (Chemical Engineering Faculty Directory)
Fallout: The Environmental Consequences of the World Trade Centre Collapse
America's Forgotten Pandemic: The Influenza of 1918
Lighthouses of the South: Your Guide to the Lighthouses of Virginia, North Carolina, South Carolina, Georgia, and Florida (Pictorial Discovery Guide)
The Origins of Humankind (Cambridge Social Biology Topics)
Cats in the Louvre
Design of Seismic Isolated Structures (contains disk)
We Shall Live Again: The 1870 and 1890 Ghost Dance Movements as Demographic Revitalization (American Sociological Association Rose Monographs): The 1870 ... Sociological Association Rose Monographs)
Concrete and Clay: Reworking Nature in New York City (The Urban & Industrial Environment Series)
Oxford Handbook of Occupational Health (Oxford Handbooks)