Research Books: Mathematics/Pure-Mathematics/Logic

John Martin (2010) Introduction to Languages and the Theory of Computation; McGraw-Hill Science/Engineering/Math; 0073191469

Jon Williamson (2010) In Defence of Objective Bayesianism; Oxford University Press, USA; 0199228000

Steve Awodey (2010) Category Theory (Oxford Logic Guides); Oxford University Press, USA; 0199237182

Kees van Deemter (2010) Not Exactly: In Praise of Vagueness; Oxford University Press, USA; 0199545901

Steve Awodey (2010) Category Theory (Oxford Logic Guides); Oxford University Press; 0199587361

Robert F. Blitzer (2010) Student's Solutions Manual for Thinking Mathematically; Prentice Hall; 0321646371

David Chudnovsky, Gregory Chudnovsky (2010) Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson; Springer; 0387370293

Steven G. Krantz (2010) The Proof is in the Pudding: The Changing Nature of Mathematical Proof; Springer; 0387489088

Robin Wilson (2010) Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life; W. W. Norton & Company; 0393304523

David Foster Wallace, Neal Stephenson (2010) Everything and More: A Compact History of Infinity; W. W. Norton & Company; 0393339289

Dov M. Gabbay, John Woods (2010) Logic: A History of its Central Concepts, Volume 11: LOGIC: HISTORY OF ITS CENT CONCEPTS (Handbook of the History of Logic); North Holland; 0444529373

Michael O'Leary (2010) Revolutions of Geometry (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts); Wiley; 0470167556

Michael O'Leary (2010) Revolutions of Geometry, Student Solutions Manual (Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts); Wiley-Interscience; 0470167564

Bernd S. W. Schroder (2010) Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers; Wiley; 0470551380

Horst R. Beyer (2010) Calculus and Analysis: A Combined Approach; Wiley; 0470617950

Reinhard Viertl (2010) Fuzzy Data and Statistics (Wiley Series in Probability and Statistics); John Wiley & Sons; 0470699450

Timothy Ross (2010) Fuzzy Logic with Engineering Applications, Third Edition; Wiley; 047074376X

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams (2010) What is Mathematical Logic?; Dover Publications; 0486264041

Patrick Suppes, Shirley Hill (2010) First Course in Mathematical Logic; Dover Publications; 0486422593

R. L. Goodstein (2010) Recursive Analysis (Dover Books on Mathematics); Dover Publications; 0486477517

J. Eldon Whitesitt (2010) Boolean Algebra and Its Applications; Dover Publications; 0486477673

Susanna S. Epp (2010) Discrete Mathematics with Applications; Brooks Cole; 0495391328

Solomon Feferman, Charles Parsons, Stephen G. Simpson (2010) Kurt Godel: Essays for his Centennial (Lecture Notes in Logic); Cambridge University Press; 0521115140

Adamek J., Rosicky J., Vitale E. M. (2010) Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics); Cambridge University Press; 0521119227

Lerman Manuel (2010) A Framework for Priority Arguments (Lecture Notes in Logic); Cambridge University Press; 0521119693

Deirdre Haskell, Anand Pillay, Charles Steinhorn (2010) Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications); Cambridge University Press; 0521143497

Jaan Oitmaa, Chris Hamer, Weihong Zheng (2010) Series Expansion Methods for Strongly Interacting Lattice Models; Cambridge University Press; 0521143594

Stephen Simpson (2010) Subsystems of Second Order Arithmetic (Perspectives in Logic); Cambridge University Press; 0521150140

Jan Kraji ek (2010) Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series); Cambridge University Press; 0521154332

Stephen Cook, Phuong Nguyen (2010) Logical Foundations of Proof Complexity (Perspectives in Logic); Cambridge University Press; 052151729X

Boris Zilber (2010) Zariski Geometries: Geometry from the Logician's Point of View (London Mathematical Society Lecture Note Series); Cambridge University Press; 0521735602

W. D. Hart (2010) The Evolution of Logic (The Evolution of Modern Philosophy); Cambridge University Press; 0521747724

Francoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan (2010) Logic Colloquium 2007 (Lecture Notes in Logic); Cambridge University Press; 0521760658

Gunther Schmidt (2010) Relational Mathematics (Encyclopedia of Mathematics and its Applications); Cambridge University Press; 0521762685

Colin de la Higuera (2010) Grammatical Inference: Learning Automata and Grammars; Cambridge University Press; 0521763169

W. D. Hart (2010) The Evolution of Logic (The Evolution of Modern Philosophy); Cambridge University Press; 0521766818

Yves Crama (2010) Boolean Functions; Cambridge Univ Pr (Sd); 0521847516

Stevo Todorcevic (2010) Introduction to Ramsey Spaces (AM-174) (Annals of Mathematics Studies); Princeton University Press; 0691145415

Stevo Todorcevic (2010) Introduction to Ramsey Spaces (AM-174) (Annals of Mathematics Studies); Princeton University Press; 0691145423

Harry J. Gensler (2010) The A to Z of Logic (The a to Z Guide Series); The Scarecrow Press, Inc.; 0810875969

L. Nguyen Van The (2010) Structural Ramsey Theory of Metric Spaces and Topological Dynamics of Isometry Groups (Memoirs of the American Mathematical Society); Amer Mathematical Society; 0821847112

Stephen Blaha (2010) Operator Metaphysics: A New Metaphysics based on a New Operator Logic and a New Quantum Operator Logic that Lead to a Mathematical Basis for Plato's Theory of Ideas and Reality; Pingree-Hill Publishing; 0981904963

Stephen Blaha (2010) Relativistic Quantum Metaphysics: A First Principles Basis for the Standard Model of Elementary Particles; Pingree-Hill Publishing; 0981904971

Stephen Blaha (2010) Quantum Relativistic Metaphysics: A First principles Basis for the Standard Model of Elementary Particles; Pingree-Hill Publishing; 0984553002

John Venn (2010) Symbolic Logic; Nabu Press; 1142041409

Matthew Foreman, Akihiro Kanamori (2010) Handbook of Set Theory; Springer; 1402048432

Graham Priest (2010) Logic (A Brief Insight); Sterling; 1402768966

Katalin Bimbo (2010) Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications); Chapman & Hall/CRC; 1439800006

Ashwin Srinivasan (2010) Handbook of Relational Learning (Chapman & Hall/CRC Machine Learning & Pattern Recognition); Crc Pr I Llc; 1439812942

Evangelos Triantaphyllou (2010) Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications (Springer Optimization and Its Applications); Springer; 1441916296

Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (2010) Specification and Verification of Multi-agent Systems; Springer; 1441969837

Matthias Beck, Ross Geoghegan (2010) The Art of Proof: Basic Training for Deeper Mathematics (Undergraduate Texts in Mathematics); Springer; 1441970223

Richard Lipton (2010) A Guide To The P=NP Question; Springer; 1441971548

Carveth Read (2010) Logic; General Books LLC; 1443217565

John Stillwell (2010) Roads to Infinity: The Mathematics of Truth and Proof; A K Peters; 1568814666

Shiu-Kai Chin, Susan Beth Older (2010) Access Control, Security, and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series); Chapman and Hall/CRC; 1584888628

George Boole (2010) An Investigation of the Laws of Thought; Watchmaker Publishing; 160386315X

Guo-jun Wang (2010) Introduction to Mathematical Logic and Resolution Principle; Alpha Science Intl Ltd; 1842655663

S. Nanda, N. R. Das (2010) Fuzzy Mathematical Concepts; Alpha Science Intl Ltd; 1842655809

Joanna Moutafi, Marianna Moutafi (2010) Perfect Numerical and Logical Test Results; Random House UK; 1847945465

Faron Moller, Georg Struth (2010) Modelling Computer Systems: The Mathematics of Computer Science (Undergraduate Topics in Computer Science); Springer; 1848003218

Alain Lecomte (2010) Meaning, Logic and Ludics; Imperial College Press; 1848164564

Carlos Martin-Vide (2010) Scientific Applications of Language Methods (Mathematics, Computing, Language, and Life: Frontiers in Mat); Imperial College Press; 1848165447

Christian Constanda (2010) Dude, Can You Count? Stories, Challenges and Adventures in Mathematics; Springer; 1848825382

Michal Pelis (2010) The Logica Yearbook 2009; College Publications; 1848900090

Gordon Burt, Gordon Burt (2010) Conflict, Complexity and Mathematical Social Science (Contributions to Conflict Management, Peace Economics and Development); Emerald Group Publishing Limited; 1849509727

Peter B. Ladkin (2010) Causal System Analysis; Springer; 1852336536

Mirka Miller, Wada Koichi (2010) Proceedings of the International Workshop on Combinatorial Algorithms 2008; College Publications; 1904987745

W. Hugh Woodin (2010) AXIOM OF DETERMINACY, FORCING AXIOMS, AND THE NONSTATIONARY IDEAL (de Gruyter Series in Logic and Its Applications); Walter de Gruyter; 3110197022

Michael Hallett, William Ewald, Wilfried Sieg, Ulrich Majer, Dirk Schlimm (2010) David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 (English and German Edition); Springer; 3540205780

William Ewald, Michael Hallett, Ulrich Majer, Wilfried Sieg (2010) David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917 (English and German Edition); Springer; 3540206051

Ernst Zermelo, Heinz-Dieter Ebbinghaus, Akihiro Kanamori, Craig G. Fraser, Enzo de Pellegrin (2010) Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia (Schriften der Mathematisch-naturwissenschaftlichen ... Wissenschaften) (English and German Edition); Springer; 3540793836

Prof. Dr Satyanarayana Bhavanari, Mohiddin Shaw (2010) FUZZY DIMENSION OF MODULES OVER RINGS (Monograph): Fuzzy Dimension, Uniform Submodule, Linearly Independent Elements; VDM Verlag Dr. Muller; 363923197X

Prof. Dr Satyanarayana Bhavanari, Rama Prasad (2010) PRIME FUZZY SUBMODULES (MONOGRAPH): Prime Submodule, Fuzzy Submodule, Fuzzy Coset of a Fuzzy Submodule; VDM Verlag Dr. Muller; 3639243552

Francesca Rossi, Alexis Tsoukias (2010) Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642044271

Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller (2010) Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International ... Computer Science and General Issues); Springer; 364204638X

Roberto Serra, Rita Cucchiara (2010) AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence, Reggio ... / Lecture Notes in Artificial Intelligence); Springer; 3642102905

Juan A. Garay, Atsuko Miyaji, Akira Otsuka (2010) Cryptology and Network Security: 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology); Springer; 3642104320

Anupam Datta (2010) Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings ... Computer Science and General Issues); Springer; 3642106218

Bimal Roy, Nicolas Sendrier (2010) Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings (Lecture ... Computer Science / Security and Cryptology); Springer; 3642106277

Ying Fei Dong, Ding-Zhu Du, Oscar H. Ibarra (2010) Algorithms and Computation: 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642106307

Rene David, Hassane Alla (2010) Discrete, Continuous, and Hybrid Petri Nets; Springer; 3642106684

Zhenjiang Hu (2010) Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642106714

G. Lolli (2010) Recursion Theory and Computational Complexity: Lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 (CIME Summer Schools); Springer; 3642110711

E. Casari (2010) Aspects of Mathematical Logic: Lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 (CIME Summer Schools); Springer; 3642110789

P. Mangani (2010) Model Theory and Applications: Lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975 (CIME Summer Schools); Springer; 364211119X

Deasun O Conchuir (2010) Overview of the PMBOK(r) Guide: Short Cuts for PMP(r) Certification; Springer; 3642111874

Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg (2010) Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642111971

Jean-Raymond Abrial, Uwe Glasser (2010) Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science); Springer; 3642114466

Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa (2010) Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture Notes ... Computer Science and General Issues); Springer; 3642114660

James F. Peters, Andrzej Skowron (2010) Transactions on Rough Sets XI (Lecture Notes in Computer Science / Transactions on Rough Sets); Springer; 3642114784

James F. Peters, Andrzej Skowron (2010) Transactions on Rough Sets XI (Lecture Notes in Computer Science / Transactions on Rough Sets); Springer; 3642114806

Manuel Carro, Ricardo Pena (2010) Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Lecture Notes in ... / Programming and Software Engineering); Springer; 3642115020

Dennis Dams, Ulrich Hannemann, Martin Steffen (2010) Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 364211511X

Radomir S. Stankovic, Jaakko Astola (2010) From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence); Springer; 3642116817

Marc Frappier, Uwe Glasser, Sarfraz Khurshid, Regine Laleau, Steve Reeves (2010) Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 3642118100

Sebastian Link, Henri Prade (2010) Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI); Springer; 3642118283

Gabriele Puppis (2010) Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642118801

Leonard Kwuida, Baris Sertkaya (2010) Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science); Springer; 3642119271

Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (2010) Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers (Lecture Notes in Computer Science); Springer; 3642119301

Rajiv Gupta (2010) Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... Computer Science and General Issues); Springer; 3642119697

Santiago Escobar (2010) Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture ... Computer Science and General Issues); Springer; 3642119980

Luke Ong (2010) Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences ... Computer Science and General Issues); Springer; 3642120318

Alexander Gelbukh (2010) Computational Linguistics and Intelligent Text Processing: 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings (Lecture ... Computer Science and General Issues); Springer; 3642121152

Pandelis Dodos (2010) Banach Spaces and Descriptive Set Theory: Selected Topics (Lecture Notes in Mathematics); Springer; 3642121527

Alejandro Lopez-Ortiz (2010) LATIN 2010: Theoretical Informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3642121993

Matthias Blume, Naoki Kobayashi, German Vidal (2010) Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3642122507

Antonio Branco, Aldebaro Klautau, Renata Vieira, Vera Lucia Strube de Lima, Thiago A.S. Pardo (2010) Computational Processing of the Portuguese Language: 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3642123198

Helmut Horacek, Elisabeth Metais, Rafael Munoz, Magdalena Wolska (2010) Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, ... Applications, incl. Internet/Web, and HCI); Springer; 3642125492

Danny De Schreye (2010) Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues); Springer; 3642125913

Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet (2010) Argumentation in Multi-Agent Systems: 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3642128041

Bob Coecke (2010) New Structures for Physics (Lecture Notes in Physics); Springer; 3642128203

Enrico Francesconi, Simonetta Montemagni, Wim Peters, Daniela Tiscornia (2010) Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 364212836X

H. Jaap van den Herik, Pieter Spronck (2010) Advances in Computer Games: 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3642129927

Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu (2010) Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3642130887

Farid Ablayev, Ernst W. Mayr (2010) Computer Science -- Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings ... Computer Science and General Issues); Springer; 3642131816

Claude Bolduc, Jules Desharnais, Bechir Ktari (2010) Mathematics of Program Construction: 10th International Conference, MPC 2010, Quebec City, Canada, June 21-23, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642133207

John Hatcliff, Elena Zucca (2010) Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... / Programming and Software Engineering); Springer; 3642134637

Christian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jonathan Timmis (2010) Unconventional Computation: 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3642135226

Jorge Real, Tullio Vardanega (2010) Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, ... / Programming and Software Engineering); Springer; 3642135498

Jan Kratochvil, Angsheng Li, Jiri Fiala, Petr Kolman (2010) Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 3642135617

Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti, Kim Williams (2010) Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles; Springer; 3642136052

Johan Lilius, Wojciech Penczek (2010) Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3642136745

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (2010) Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication ... / Programming and Software Engineering); Springer; 364213677X

Laurence Tratt, Martin Gogolla (2010) Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings (Lecture Notes ... / Programming and Software Engineering); Springer; 3642136877

Haim Kaplan (2010) Algorithm Theory - SWAT 2010: 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 364213730X

Zohar Manna, Doron A. Peled (2010) Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3642137539

Anuj Dawar, Ruy de Queiroz (2010) Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3642138233

Luc De Raedt (2010) Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 364213839X

Jan Vitek (2010) Objects, Models, Components, Patterns: 48th International Conference, TOOLS 2010, Malaga, Spain, June 28 - July 2, 2010, Proceedings (Lecture Notes in ... / Programming and Software Engineering); Springer; 3642139523

Fernando Ferreira, Benedikt Lowe, Elvira Mayordomo, Luis Mendes Gomes (2010) Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings ... Computer Science and General Issues); Springer; 3642139612

Gordon Fraser, Angelo Gargantini (2010) Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642139760

Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann (2010) Computational Intelligence for Knowledge-Based System Design: 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3642140483

Matt Kaufmann, Lawrence C. Paulson (2010) Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3642140513

Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann (2010) Information Processing and Management of Uncertainty in Knowledge-Based Systems: 13th International Conference, IPMU 2010, Dortmund, Germany, June 28July ... in Computer and Information Science); Springer; 3642140548

Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann (2010) Information Processing and Management of Uncertainty in Knowledge--Based Systems: 13th International Conference, IPMU 2010, Dortmund, Germany, June 28July ... in Computer and Information Science); Springer; 3642140572

Jacques Calmet, P.D.F. Ion, David Delahaye, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (2010) Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ... / Lecture Notes in Artificial Intelligence); Springer; 3642141277

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis (2010) Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues); Springer; 3642141617

Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis (2010) Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes in ... Computer Science and General Issues); Springer; 3642141641

Guido Governatori, Giovanni Sartor (2010) Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 364214182X

Ofer Strichman, Stefan Szeider (2010) Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture ... Computer Science and General Issues); Springer; 3642141854

Madalina Croitoru, Sebastien Ferre, Dickson Lukose (2010) Conceptual Structures: From Information to Intelligence: 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, ... / Lecture Notes in Artificial Intelligence); Springer; 364214196X

Jurgen Giesl, Reiner Hahnle (2010) Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642142028

Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz (2010) Amsterdam Colloquium: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science ... / Lecture Notes in Artificial Intelligence); Springer; 3642142869

Tayssir Touili, Byron Cook, Paul Jackson (2010) Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 364214294X

Agostino Dovier, Enrico Pontelli (2010) A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642143083

Christian Ebert, Gerhard Jager, Jens Michaelis (2010) The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, ... Computer Science and General Issues); Springer; 3642143210

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (2010) Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures (Lecture Notes in Computer Science); Springer; 3642143342

Norbert E. Fuchs (2010) Controlled Natural Language: Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3642144179

Hajnal Andreka, Istvan Nemeti, Ildiko Sain (2010) Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic); Birkhauser Basel; 3764385057

Wei Li (2010) Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS)); Birkhauser Basel; 3764399767

Liam O Donnell (2010) Forecasting English League Football Results: A Fuzzy Inference System approach; LAP Lambert Academic Publishing; 3838357817

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2010) Mathematical puzzle: Recreational mathematics, Multiplayer game, Logic puzzle, Fractal, Mathematical game, Four fours, Feynman Long Division Puzzles; Alphascript Publishing; 6130239262

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2010) Free Variables and Bound Variables: Formal Language, Mathematical Logic, Computer Science, Notation, Expression (mathematics), First-order Logic, Symbol, ... Proposition, Computer Programming.; Alphascript Publishing; 6130287232

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2010) Hermann Weyl; Alphascript Publishing; 6130629702

Andrzej Indrzejczak (2010) Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic); Springer; 9048187842

Vieri Benci, Mauro Di Nasso (2010) How to Measure the Infinite: Numerosities and Nonstandard Analysis; World Scientific Publishing Company; 9812836373

Ken Urai (2010) Fixed Points and Economic Equilibria (Series on Mathematical Economics and Game Theory); World Scientific Publishing Company; 9812837183

N. S. Hellerstein (2010) Diamond: A Paradox Logic (Knots and Everything) (Series on Knots and Everything); World Scientific Publishing Company; 981428713X

Siu-Ah Ng (2010) Nonstandard Methods in Functional Analysis: Lectures and Notes; World Scientific Publishing Company; 9814287547

T. Arai, J. Brendle, H. Kikyo, C. T. Chong, R. Downey, Q. Feng, H. Ono (2010) Proceedings of the 10th Asian Logic Conference: Kobe, Japan 1-6 September 2008; World Scientific Publishing Company; 9814293016

Nigel P. Cook (2009) Introductory Computer Mathematics (3rd Edition); Prentice Hall; 0131703595

Leila Haaparanta (2009) The Development of Modern Logic; Oxford University Press, USA; 0195137310

William Johnston, Alex McAllister (2009) A Transition to Advanced Mathematics: A Survey Course; Oxford University Press, USA; 0195310764

Andre Nies (2009) Computability and Randomness (Oxford Logic Guides); Oxford University Press, USA; 0199230765

George Boole (2009) An investigation of the laws of thought; General Books LLC; 0217682014

Mary Everest Boole (2009) The Mathematical Psychology of Gratry and Boole (1897); General Books LLC; 0217757480

Robert Geroch (2009) Perspectives in Computation (Chicago Lectures in Physics); University Of Chicago Press; 0226288544

Robert Geroch (2009) Perspectives in Computation (Chicago Lectures in Physics); University Of Chicago Press; 0226288552

Sally S. Simpson, David Weisburd (2009) The Criminology of White-Collar Crime (Topics in Applied Physics; V. 36); Springer; 0387095012

Antonio Badia (2009) Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages (Advances in Database Systems); Springer; 0387095632

Arnold L. Rosenberg (2009) The Pillars of Computation Theory: State, Encoding, Nondeterminism (Universitext); Springer; 0387096388

William McClain (2009) Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book; Springer; 0387734694

Alex M. Andrew (2009) A Missing Link in Cybernetics: Logic and Continuity (IFSR International Series on Systems Science and Engineering); Springer; 0387751637

H. Paul Williams (2009) Logic and Integer Programming (International Series in Operations Research & Management Science); Springer; 0387922792

Iyad Rahwan, Guillermo Simari (2009) Argumentation in Artificial Intelligence; Springer; 0387981969

Despina A. Stylianou, Maria L. Blanton, Eric J. Knuth (2009) Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series); Routledge; 0415989841

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman (2009) Quantification in Nonclassical Logic, Volume 153 (Studies in Logic and the Foundations of Mathematics); Elsevier Science; 0444520120

Daniel Solow (2009) How to Read and Do Proofs: An Introduction to Mathematical Thought Processes; Wiley; 0470392169

Raymond M. Smullyan (2009) Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Books on Mathematical & Word Recreations); Dover Publications; 0486470369

Murray Eisenberg (2009) Axiomatic Theory of Sets and Classes; Dover Publications; 0486472213

Jr., Charles H. Roth, Larry L Kinney (2009) Fundamentals of Logic Design w/ Companion CD; CL-Engineering; 0495471690

George Boolos (2009) The Unprovability of Consistency: An Essay in Modal Logic; Cambridge University Press; 0521092973

D. J. Shoesmith, T. J. Smiley (2009) Multiple-Conclusion Logic; Cambridge University Press; 0521093325

Sun-Joo Shin (2009) The Logical Status of Diagrams; Cambridge University Press; 0521102774

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Vaananen (2009) Logic Colloquium 2006 (Lecture Notes in Logic); Cambridge University Press; 0521110815

Manfred Stern (2009) Semimodular Lattices: Theory and Applications (Encyclopedia of Mathematics and its Applications); Cambridge University Press; 0521118840

Sanjeev Arora, Boaz Barak (2009) Computational Complexity: A Modern Approach; Cambridge University Press; 0521424267

Michel Grabisch, Jean-Luc Marichal, Radko Mesiar, Endre Pap (2009) Aggregation Functions (Encyclopedia of Mathematics and its Applications); Cambridge University Press; 0521519268

F. William Lawvere, Stephen H. Schanuel (2009) Conceptual Mathematics: A First Introduction to Categories; Cambridge University Press; 052171916X

Martin R. Bridson, Peter H. Kropholler, Ian J. Leary (2009) Geometric and Cohomological Methods in Group Theory (London Mathematical Society Lecture Note Series); Cambridge University Press; 052175724X

Jacques Sakarovitch, Reuben Thomas (2009) Elements of Automata Theory; Cambridge University Press; 0521844258

Zvi Kohavi, Niraj K. Jha (2009) Switching and Finite Automata Theory; Cambridge University Press; 0521857481

Stephen G. Simpson (2009) Subsystems of Second Order Arithmetic (Perspectives in Logic); Cambridge University Press; 052188439X

F. William Lawvere, Stephen H. Schanuel (2009) Conceptual Mathematics: A First Introduction to Categories; Cambridge University Press; 0521894859

Tracey Pilone, Dan Pilone (2009) Head First Algebra; O'Reilly Media; 0596514867

Jacob Lurie (2009) Higher Topos Theory (AM-170) (Annals of Mathematics Studies); Princeton University Press; 0691140480

Jacob Lurie (2009) Higher Topos Theory (AM-170) (Annals of Mathematics Studies); Princeton University Press; 0691140499

Roy T. Cook (2009) A Dictionary of Philosophical Logic; Edinburgh University Press; 0748622438

WEBB DOUGLAS (2009) Introduction to Logic; Kendall Hunt Publishing; 0757568831

Maxim Mozgovoy (2009) Algorithms, Languages, Automata, & Compilers: A Practical Approach; Jones and Bartlett Publishers, Inc.; 0763776270

Pierre-emmanuel Caprace (2009) Abstract Homomorphisms of Split Kac-moody Groups (Memoirs of the American Mathematical Society); American Mathematical Society; 0821842587

Yiannis N. Moschovakis (2009) Descriptive Set Theory (Mathematical Surveys and Monographs); American Mathematical Society; 0821848135

John T. Baldwin (2009) Categoricity (University Lecture Series); American Mathematical Society; 0821848933

H. F. Ullmann, H. F. Ullmann (2009) Logic Puzzles (Brainmatics); Ullmann; 0841611394

Ivan Moscovich, H. F. Ullmann (2009) Brainmatics: More Logic Puzzles; Ullmann; 0841611408

Stephen Cole Kleene, Michael Beeson (2009) Introduction to Metamathematics; Ishi Press; 0923891579

Stephen Blaha (2009) The Algebra of Thought & Reality: Second Edition: The Mathematical Basis for Plato's Theory of Ideas, and Reality Extended to Include A Priori Observers and Space-Time; Pingree-Hill Publishing; 0981904939

Richard Hammack (2009) Book of Proof; Virginia Commonwealth University Mathematics; 0982406207

Bertrand Russell (2009) Mysticism and Logic: And Other Essays; BiblioLife; 1103669494

Bertrand Russell (2009) Mysticism And Logic: And Other Essays (1919); Kessinger Publishing, LLC; 110414705X

George Boole (2009) A Treatise on the Calculus of Finite Differences (Cambridge Library Collection - Mathematics); Cambridge University Press; 1108000924

George Boole (2009) The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Cambridge Library Collection - Mathematics); Cambridge University Press; 1108001017

George Boole (2009) An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities (Cambridge Library Collection - Mathematics); Cambridge University Press; 110800153X

William Henry Young, Grace Chisholm Young (2009) The Theory of Sets of Points (Cambridge Library Collection - Mathematics); Cambridge University Press; 1108005306

Louis Couturat (2009) The Algebra of Logic; BiblioLife; 1116928280

Louis Couturat (2009) The Algebra of Logic; BiblioLife; 1116928302

Louis Couturat (2009) The Algebra of Logic; BiblioLife; 1116928310

John Venn (2009) Symbolic Logic; General Books LLC; 1150161620

Richard Dedekind (2009) Essays on the Theory of Numbers; General Books LLC; 1151677787

Ondrej Majer, Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo (2009) Games: Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science); Springer; 140209373X

Jean-Pierre Marquis (2009) From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science); Springer; 1402093977

Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo (2009) Games: Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science); Springer; 1402093985

Bernd Steinbach, Christian Posthoff (2009) Logic Functions and Equations: Examples and Exercises; Springer; 1402095945

Sekharipuram S. Ravi, Sandeep K. Shukla (2009) Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz; Springer; 1402096879

Nico F. Benschop (2009) Associative Digital Network Theory: An Associative Algebra Approach to Logic, Arithmetic and State Machines; Springer; 1402098286

Francesco Berto (2009) There's Something About Gdel: The Complete Guide to the Incompleteness Theorem; Wiley-Blackwell; 1405197668

Francesco Berto (2009) There's Something About Godel: The Complete Guide to the Incompleteness Theorem; Wiley-Blackwell; 1405197676

Charles Roberts (2009) Introduction to Mathematical Proofs: A Transition (Textbooks in Mathematics); Chapman & Hall; 1420069551

Darel W. Hardy, Fred Richman, Carol L. Walker (2009) Applied Algebra: Codes, Ciphers and Discrete Algorithms, Second Edition (Discrete Mathematics and Its Applications); Chapman & Hall; 1420071424

Steven G. Krantz (2009) Essentials of Topology with Applications (Textbooks in Mathematics); Chapman & Hall; 1420089749

Guy Vine (2009) The Pattern of The Primes; Trafford Publishing; 1425187560

Victor W. Marek (2009) Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series); Chapman & Hall; 1439801673

Rowan Garnier, John Taylor (2009) Discrete Mathematics: Proofs, Structures and Applications, Third Edition; Taylor & Francis; 1439812802

Charles Roberts (2009) Introduction to Mathematical Proofs: Solutions Manual (Textbooks in Mathematics); Chapman & Hall/CRC; 1439815380

Paulo Tabuada (2009) Verification and Control of Hybrid Systems: A Symbolic Approach; Springer; 1441902236

Gila Hanna, Hans Niels Jahnke, Helmut Pulte (2009) Explanation and Proof in Mathematics: Philosophical and Educational Perspectives; Springer; 1441905758

Yu. I. Manin, Neal Koblitz, B. Zilber (2009) A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics); Springer; 1441906142

Wolfgang Rautenberg (2009) A Concise Introduction to Mathematical Logic (Universitext); Springer; 1441912207

Edward N. Haas (2009) Esoptrics: The Logic Of The Mirror: (The Divine Algebraic Logic Used By God To Create And To Maintain The Universe); AuthorHouse; 1449048552

Louis Couturat (2009) The algebra of logic; General Books LLC; 1459004345

Arnold W. Miller (2009) Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4); A K Peters Ltd; 1568811764

Ed Pegg Jr., Alan H. Schoen, Tom Rodgers (2009) Homage to a Pied Puzzler; AK Peters; 1568813155

Raymond M. Smullyan (2009) Logical Labyrinths; AK Peters; 1568814437

Mikhail J. Atallah, Marina Blanton (2009) Algorithms and Theory of Computation Handbook, Second Edition - 2 Volume Set (Chapman & Hall/CRC Applied Algorithms and Data Structures series); Chapman & Hall; 1584888180

Mikhail J. Atallah, Marina Blanton (2009) Algorithms and Theory of Computation Handbook, Second Edition, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series); Chapman & Hall; 1584888202

Mikhail J. Atallah, Marina Blanton (2009) Algorithms and Theory of Computation Handbook, Second Edition, Volume 1: General Concepts and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series); Chapman & Hall; 1584888229

Elliott Mendelson (2009) Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications); Chapman & Hall; 1584888768

Daniel Lowd (2009) Markov Logic: An Interface Layer for Artificial Intelligence (Synthesis Lectures on Artificial Intelligence and Machine Learning); Morgan and Claypool Publishers; 1598296922

Ian Livingstone, Jamie Thomson (2009) Brain Teasers: 211 Logic Puzzles, Lateral Thinking Games, Mazes, Crosswords, and IQ Tests to Exercise Your Mind and Keep You Sharp 'til You're 100 (Brain Teasers Series); Skyhorse Publishing; 1602393451

Pierre Simon Marquis De Laplace, Frederick Wilson Truscott, Frederick Lincoln Emory (2009) A Philosophical Essay On Probabilities; Rough Draft Printing; 1603861807

Alfred North Whitehead, Bertrand Russell (2009) Principia Mathematica - Volume One; Merchant Books; 1603861823

S. Barry Cooper (2009) Computability In Context: Computation and Logic in the Real World; Imperial College Press; 1848162456

Michel Diaz (2009) Petri Nets: Fundamental Models, Verification and Applications; Wiley-ISTE; 1848210795

Chander Mohan (2009) An Introduction to Fuzzy Set Theory and Fuzzy Logic; Anshan Publishers; 184829025X

Stefano Crespi Reghizzi (2009) Formal Languages and Compilation (Texts in Computer Science); Springer; 1848820496

Raymond Turner (2009) Computable Models; Springer; 1848820518

Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (2009) Formal Methods: State of the Art and New Directions; Springer; 1848827350

Krzysztof R. Apt, Frank S. Boer, Ernst-Rudiger Olderog, Amir Pnueli (2009) Verification of Sequential and Concurrent Programs (Texts in Computer Science); Springer; 184882744X

Kenneth Kunen (2009) The Foundations of Mathematics (Logic); College Publications; 1904987141

Michal Pelis (2009) The Logica Yearbook 2008; College Publications; 190498746X

Hvedri Inassaridze (2009) Tbilisi Mathematical Journal. Volume 1 (2008); College Publications; 1904987478

John L Bell (2009) The Axiom of Choice (Studies in Logic Series); College Publications; 1904987540

Petr Cintula, Zuzana Hanikova, Vitesslav Svejdar (2009) Witnessed Years: Essays in Honour of Petr Hajek; College Publications; 190498763X

Saharon Shelah (2009) Classification Theory for Abstract Elementary Classes (Studies in Logic: Mathematical Logic and Foundations); College Publications; 1904987710

Saharon Shelah (2009) Classification Theory for Abstract Elementary Classes: Volume 2 (Logic); College Publications; 1904987729

Walter Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano (2009) The Many Sides of Logic (Studies in Logic Series); College Publications; 1904987788

Dov M Gabbay, John Woods (2009) The International Directory of Logicians: Who's Who in Logic; College Publications; 1904987907

Giuseppe Primiero, Shahid Rahman (2009) Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Goran Sundholm (Tributes); College Publications; 1904987923

Michael Holz, Karsten Steffens, E. Weitz (2009) Introduction to Cardinal Arithmetic (Modern Birkhauser Classics); Birkhauser Basel; 3034603274

J. Donald Monk (2009) Cardinal Invariants on Boolean Algebras (Modern Birkhauser Classics); Birkhauser Basel; 3034603339

Oleg M. Anshakov, Tamas Gergely, Tamas Gergely, Victor K. Finn, Sergei O. Kuznetsov (2009) Cognitive Research; Springer; 354043058X

Barry Jay (2009) Pattern Calculus: Computing with Functions and Structures; Springer; 3540891846

Henryk Rybinski, James F. Peters, Andrzej Skowron (2009) Transactions on Rough Sets IX (Lecture Notes in Computer Science / Transactions on Rough Sets) (Pt. 9); Springer; 3540898751

Tom Schrijvers, Thom Fruhwirth (2009) Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540922423

Sergei Artemov, Anil Nerode (2009) Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3540926860

R. Ramanujam, Sundar Sarukkai (2009) Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 354092700X

David Corne, Pierluigi Frisco, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (2009) Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540958843

DPRV Subba Rao (2009) Contributions to the Theory of Gamma-Semirings: Algebraic Logic and Application Series; VDM Verlag; 3639017625

Alexander Gelbukh (2009) Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings ... Computer Science and General Issues); Springer; 3642003818

Doron A. Peled, Michael Wooldridge (2009) Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence); Springer; 364200430X

Michael Hanus (2009) Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers ... Computer Science and General Issues); Springer; 3642005144

Luca Alfaro (2009) Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences ... Computer Science and General Issues); Springer; 3642005950

Giovanni Sommaruga (2009) Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3642006582

Peter Bosch, David Gabelaia, Jerome Lang (2009) Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, ... / Lecture Notes in Artificial Intelligence); Springer; 3642006647

Wenjie Li, Diego Molla-Aliod (2009) Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy: 22nd International Conference, ICCPOL 2009, Hong Kong, ... / Lecture Notes in Artificial Intelligence); Springer; 3642008305

Peter Bruza, Donald Sofge, William Lawless, C.J. Rijsbergen, Matthias Klusch (2009) Quantum Interaction: Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 364200833X

Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide (2009) Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 3642009816

Manfred Droste, Werner Kuich, Heiko Vogler (2009) Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series); Springer; 3642014917

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (2009) Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642017479

Sebastien Ferre, Sebastian Rudolph (2009) Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642018149

Jianer Chen, S. Barry Cooper (2009) Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 364202016X

Marina Lipshteyn, Vadim E. Levit, Ross McConnell (2009) Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday (Lecture Notes in ... Computer Science and General Issues); Springer; 3642020283

Yingxu Wang, Keith Chan, Marina Gavrilova, C. J. Kenneth Tan (2009) Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation (Lecture Notes in Computer Science / Transactions on Computational Science); Springer; 3642020968

Michael Heller (2009) Ultimate Explanations of the Universe; Springer; 3642021026

David Lee, Antonia Lopes, Arnd Poetzsch-Heffter (2009) Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE ... / Programming and Software Engineering); Springer; 3642021379

Andrew Goldberg, Yunhong Zhou (2009) Algorithmic Aspects in Information and Management: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI); Springer; 3642021573

Hiroakira Ono, Makoto Kanazawa, Ruy Queiroz (2009) Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 364202260X

Pierre-Louis Curien (2009) Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642022723

Vito Di Gesu, Sankar Kumar Pal, Alfredo Petrosino (2009) Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642022812

Ralf Treinen (2009) Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3642023479

Giuliana Franceschinis, Karsten Wolf (2009) Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642024238

Stefano Berardi, Ferruccio Damiani, Ugo Liguoro (2009) Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642024432

Ahmed Bouajjani, Oded Maler (2009) Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642026575

Martin Giese, Arild Waaler (2009) Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3642027156

Michael Fisher, Fariba Sadri, Michael Thielscher (2009) Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence); Springer; 3642027334

Volker Diekert, Dirk Nowotka (2009) Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642027369

Oliver Kullmann (2009) Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings ... Computer Science and General Issues); Springer; 3642027768

Patricia M. Hill, David S. Warren (2009) Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642028454

Claudio Sossai, Gaetano Chemello (2009) Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3642029051

Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (2009) Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I (Lecture Notes in ... Computer Science and General Issues); Springer; 3642029264

Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (2009) Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (Lecture Notes in ... Computer Science and General Issues); Springer; 3642029299

Renate A. Schmidt (2009) Automated Deduction CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3642029582

Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Y. Yao, Shusaku Tsumoto, Guoyin Wang (2009) Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3642029612

Sebastian Maneth (2009) Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3642029787

Ernst-Erich Doberkat (2009) Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series); Springer; 3642029949

Lorraine McGinty, David C. Wilson (2009) Case-Based Reasoning Research and Development: 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3642029973

Petra Perner (2009) Machine Learning and Data Mining in Pattern Recognition: 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3642030696

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov (2009) Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, ... / Lecture Notes in Artificial Intelligence); Springer; 3642030785

Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Lowe (2009) Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3642030912

Max Bramer (2009) Artificial Intelligence. An International Perspective (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3642032257

Jens Palsberg, Zhendong Su (2009) Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642032362

Angelo Oddi, Francois Fages, Francesca Rossi (2009) Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, ... / Lecture Notes in Artificial Intelligence); Springer; 3642032508

Mihir Chakraborty, Wei-Zhi Wu, Marcin Wolski, James F. Peters, Andrzej Skowron (2009) Transactions on Rough Sets X (Lecture Notes in Computer Science / Transactions on Rough Sets); Springer; 364203280X

Anna Frid, Andrei S. Morozov, Andrey Rybalchenko, Klaus W. Wagner (2009) Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, ... Computer Science and General Issues); Springer; 3642033504

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (2009) Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 364203358X

Miroslaw Kutylowski, Maciej Gebala, Witold Charatonik (2009) Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 364203408X

Andrea Corradini, Ugo Montanari (2009) Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture ... Computer Science and General Issues); Springer; 3642034284

Martin Leucker, Charles Carroll Morgan (2009) Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3642034659

Symeon Bozapalidis, George Rahonis (2009) Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642035639

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (2009) Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3642037402

Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie- Christine Rousset, Renate A. Schmidt (2009) Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, ... Applications, incl. Internet/Web, and HCI); Springer; 3642037534

Rastislav Kralovic, Damian Niwinski (2009) Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings ... Computer Science and General Issues); Springer; 3642038158

De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua (2009) Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence: 5th International Conference on Intelligent Computing, ... / Lecture Notes in Artificial Intelligence); Springer; 3642040195

Erich Gradel, Reinhard Kahle (2009) Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings ... Computer Science and General Issues); Springer; 3642040268

De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua (2009) Emerging Intelligent Computing Technology and Applications: 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September ... Computer Science and General Issues); Springer; 3642040691

Cerstin Mahlow, Michael Piotrowski (2009) State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September ... in Computer and Information Science); Springer; 3642041302

Jens Palsberg (2009) Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3642041639

Silvio Ghilardi, Roberto Sebastiani (2009) Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 364204221X

Esra Erdem, Fangzhen Lin, Torsten Schaub (2009) Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3642042376

Ian P. Gent (2009) Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings ... / Programming and Software Engineering); Springer; 3642042430

Lluis Godo, Andrea Pugliese (2009) Scalable Uncertainty Management: Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3642043879

Dov M. Gabbay, Karl Schlechta (2009) Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies); Springer; 3642044069

Olivier Bournez, Igor Potapov (2009) Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3642044190

Barbel Mertsching, Marcus Hund, Zaheer Aziz (2009) KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3642046169

Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (2009) Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642046517

Malgorzata Marciniak, Agnieszka Mykowiecka (2009) Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / Information ... Applications, incl. Internet/Web, and HCI); Springer; 3642047343

Zhiming Liu, Anders P. Ravn (2009) Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering); Springer; 3642047602

Vicenc Torra, Yasuo Narukawa, Masahiro Inuiguchi (2009) Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3642048196

Kurt Jensen, Jonathan Billington, Maciej Koutny (2009) Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency); Springer; 3642048544

Xiangdong He, John Horty, Eric Pacuit (2009) Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3642048927

Jeremy Gibbons, Jose Nuno Oliveira (2009) Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3642049117

Lalitha Devi Sobha, Antonio Branco, Ruslan Mitkov (2009) Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3642049745

Ana Cavalcanti, Dennis Dams (2009) FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3642050883

Joaquim Filipe, Mohammad S. Obaidat (2009) e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers (Communications in Computer and Information Science); Springer; 3642051960

John-Jules Charles Meyer, Jan M. Broersen (2009) Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised ... / Lecture Notes in Artificial Intelligence); Springer; 3642053009

Jiri Fiala, Jan Kratochvil, Mirka Miller (2009) Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues); Springer; 3642102166

Karin Breitman, Ana Cavalcanti (2009) Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, ... / Programming and Software Engineering); Springer; 3642103723

Ann Nicholson, Xiaodong Li (2009) AI 2009: Advances in Artificial Intelligence: 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 364210438X

Marcel Vinicius Medeiros Oliveira, Jim Woodcock (2009) Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering); Springer; 3642104517

Ciro Russo (2009) QUANTALE MODULES: WITH APPLICATIONS TO LOGIC AND IMAGE PROCESSING; LAP Lambert Academic Publishing; 3838324722

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2009) Relational Algebra: Relational Algebra. First-order logic, Unary operation, Binary relation, Idempotence, Logical conjunction, Logical disjunction; Alphascript Publishing; 6130025629

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2009) Boolean Algebras Canonically Defined; Alphascript Publishing; 6130077904

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2009) Introduction to Boolean Algebra; Alphascript Publishing; 6130090455

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2009) Axiom; Alphascript Publishing; 6130206534

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2009) Gottlob Frege; Alphascript Publishing; 6130213131

Frederic P. Miller, Agnes F. Vandome, John McBrewster (2009) Boolean Algebra (Logic): Introduction to Boolean algebra, Boolean algebra (structure), List of Boolean algebra topics, Boolean function, Boolean- valued function, Heyting algebra; Alphascript Publishing; 6130219954

Miriam Franchella, Edoardo Ballo (2009) Logic and Philosophy in Italy: Some trends and perspectives; Polimetrica, International Scientific Publisher; 8876990275

Francisco Miraglia (2009) An Introduction to Partially Ordered Structures and Sheaves; Polimetrica, International Scientific Publisher; 8876990356

Jean-Yves Beziau, Alexandre Costa-Leite (2009) Perspectives on Universal Logic; Polimetrica, International Scientific Publisher; 8876990771

Roy Wagner (2009) S(zp, zp): Post-Structural Readings of Godels Proof; Polimetrica, International Scientific Publisher; 8876991573

Johan F.A.K. Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser (2009) The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science); Springer; 9048124859

Stefania Centrone (2009) Logic and Philosophy of Mathematics in the Early Husserl (Synthese Library); Springer; 9048132452

Walter Carnielli, Claudio Pizzi, Juliana Bueno-Soler (2009) Modalities and Multimodalities (Logic, Epistemology, and the Unity of Science); Springer; 9048137624

Giacomo Bonanno, Wiebe van der Hoek, Michael Wooldridge (2009) Logic and the Foundations of Game and Decision Theory (LOFT 7) (Amsterdam University Press - Texts in Logic and Games); Amsterdam University Press; 9089640266

Benjamin Fine, Gerhard Rosenberger, Dennis Spellman (2009) Aspects of Infinite Groups: A Festschrift in Honor of Anthony Gaglione (Algebra and Discrete Mathematics); World Scientific Publishing Company; 9812793402

Gerald E. Sacks (2009) Saturated Model Theory; World Scientific Publishing Company; 9812833811

Leon O. Chua (2009) A Nonlinear Dynamics Perspective of WolframA's New Kind of Science: (Volume III) (World Scientific Series on Nonlinear Science, Series a) (World Scientific ... Science, Series a Monographs and Treatises); World Scientific Publishing Company; 9812837930

Steven Krantz (2008) Discrete Mathematics DeMYSTiFied; McGraw-Hill Professional; 007154948X

Randall Maddox (2008) A Transition to Abstract Mathematics, Second Edition: Learning Mathematical Thinking and Writing; Academic Press; 0123744806

Bernard Kolman, Robert Busby, Sharon C. Ross (2008) Discrete Mathematical Structures (6th Edition); Prentice Hall; 0132297515

Nino B. Cocchiarella, Max A. Freund (2008) Modal Logic: An Introduction to its Syntax and Semantics; Oxford University Press, USA; 0195366573

Nino B. Cocchiarella, Max A. Freund (2008) Modal Logic: An Introduction to its Syntax and Semantics; Oxford University Press, USA; 0195366581

Jody Azzouni (2008) Tracking Reason: Proof, Consequence, and Truth; Oxford University Press, USA; 0195370694

Mathieu Marion (2008) Wittgenstein, Finitism, and the Foundations of Mathematics (Oxford Philosophical Monographs); Oxford University Press, USA; 0199550476

Sophie Body-Gendrot, Pieter Spierenburg (2008) Violence in Europe: Historical and Contemporary Perspectives (Lecture Notes in Mathematics; 756); Springer; 038709704X

Dina Siegel, Hans Nelen (2008) Organized Crime: Culture, Markets and Policies (Studies of Organized Crime); Springer; 0387097104

David Cox, John Little, Donal O'Shea (2008) Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics); Springer; 0387356509

Melvyn B. Nathanson (2008) Additive Number Theory: Density Theorems and the Growth of Sumsets (Graduate Texts in Mathematics); Springer; 0387709983

Alexander Soifer, Branko Grunbaum, Peter Johnson Jr., Cecil Rousseau (2008) The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of its Creators; Springer; 0387746404

S.M. Srivastava (2008) A Course on Mathematical Logic (Universitext); Springer; 0387762752

Zhenyuan Wang, George J. Klir (2008) Generalized Measure Theory (IFSR International Series on Systems Science and Engineering); Springer; 0387768513

Tamar Kugler, J. Cole Smith, Terry Connolly, Young-Jun Son (2008) Decision Modeling and Behavior in Complex and Uncertain Environments (Springer Optimization and Its Applications); Springer; 0387771301

George Gratzer (2008) Universal Algebra; Springer; 0387774866

Evgueni D. Solojentsev (2008) Scenario Logic and Probabilistic Management of Risk in Business and Engineering (Springer Optimization and Its Applications); Springer; 0387779450

John M. Harris, Jeffry L. Hirst, Michael J. Mossinghoff (2008) Combinatorics and Graph Theory (Undergraduate Texts in Mathematics); Springer; 0387797106

Robin Wilson (2008) Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life; W. W. Norton & Company; 0393060276

Jaap van Oosten (2008) Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics); Elsevier Science; 0444515844

Dov M. Gabbay, John Woods (2008) Mediaeval and Renaissance Logic, Volume 2 (Handbook of the History of Logic); North Holland; 0444516255

Thomas Q. Sibley (2008) The Foundations of Mathematics; Wiley; 0470085010

S. David Promislow (2008) A First Course in Functional Analysis (Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts); Wiley-Interscience; 0470146192

Joel L. Schiff (2008) Cellular Automata: A Discrete View of the World (Wiley Series in Discrete Mathematics & Optimization); Wiley-Interscience; 047016879X

Charles Petzold (2008) The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine; Wiley; 0470229055

George Tourlakis (2008) Mathematical Logic; Wiley-Interscience; 0470280743

Edward B. Burger (2008) Extending the Frontiers of Mathematics: Inquiries into Proof and Augmentation (Key Curriculum Press); Wiley; 0470412224

Thomas J. Jech (2008) The Axiom of Choice; Dover Publications; 0486466248

Yiannis N. Moschovakis (2008) Elementary Induction on Abstract Structures (Dover Books on Mathematics); Dover Publications; 0486466787

J. Barkley Rosser (2008) Logic for Mathematicians; Dover Publications; 0486468984

J. Roger Hindley (2008) Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science); Cambridge University Press; 0521054222

Sally Popkorn (2008) First Steps in Modal Logic; Cambridge University Press; 0521057930

Francis Borceux (2008) Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) (v. 1); Cambridge University Press; 0521061199

Roberto M. Amadio, Pierre-Louis Curien (2008) Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science); Cambridge University Press; 0521062926

P. M. Cohn FRS (2008) Skew Fields: Theory of General Division Rings (Encyclopedia of Mathematics and its Applications); Cambridge University Press; 0521062942

V. Stoltenberg-Hansen, I. Lindstrom, E. R. Griffor (2008) Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science); Cambridge University Press; 0521064791

Wilfrid Hodges (2008) Model Theory (Encyclopedia of Mathematics and its Applications); Cambridge University Press; 0521066360

Professor Sara Negri, Jan von Plato, Aarne Ranta (2008) Structural Proof Theory; Cambridge University Press; 0521068428

Francis Borceux, George Janelidze (2008) Galois Theories (Cambridge Studies in Advanced Mathematics); Cambridge University Press; 0521070414

Paul Taylor (2008) Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics); Cambridge University Press; 0521070430

D. H. Fremlin (2008) Consequences of Martin's Axiom (Cambridge Tracts in Mathematics); Cambridge University Press; 0521089549

S. W. P. Steen (2008) Mathematical Logic with Special Reference to the Natural Numbers; Cambridge University Press; 052109058X

Graham Priest (2008) An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy); Cambridge University Press; 0521670268

Zoe Chatzidakis, Dugald Macpherson, Anand Pillay, Alex Wilkie (2008) Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series); Cambridge University Press; 0521694841

Zoe Chatzidakis, Dugald Macpherson, Anand Pillay, Alex Wilkie (2008) Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series) (v. 2); Cambridge University Press; 0521709083

Anita Burdman Feferman, Solomon Feferman (2008) Alfred Tarski: Life and Logic (Cambridge Concise Histories); Cambridge University Press; 052171401X

Douglas Walton, Christopher Reed, Fabrizio Macagno (2008) Argumentation Schemes; Cambridge University Press; 0521723744

Graham Priest (2008) An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy); Cambridge University Press; 0521854334

Jindrich Zapletal (2008) Forcing Idealized (Cambridge Tracts in Mathematics); Cambridge University Press; 0521874262

John P. Burgess (2008) Mathematics, Models, and Modality: Selected Philosophical Essays; Cambridge University Press; 0521880343

Merrie Bergmann (2008) An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems; Cambridge University Press; 0521881285

Oded Goldreich (2008) Computational Complexity: A Conceptual Perspective; Cambridge University Press; 052188473X

John L. Bell (2008) A Primer of Infinitesimal Analysis; Cambridge University Press; 0521887186

Douglas Walton, Christopher Reed, Fabrizio Macagno (2008) Argumentation Schemes; Cambridge University Press; 0521897904

J. Roger Hindley, Jonathan P. Seldin (2008) Lambda-Calculus and Combinators: An Introduction; Cambridge University Press; 0521898854

Alexander S. Kechris, Benedikt Lowe, John R. Steel (2008) Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I (Lecture Notes in Logic); Cambridge University Press; 0521899516

Evelyn Underhill (2008) The Cloud of Unknowing; BiblioLife; 0554393719

Kevin Ferland (2008) Discrete Mathematics: An Introduction to Proofs and Combinatorics; Brooks Cole; 0618415386

Timothy Gowers, June Barrow-Green, Imre Leader (2008) The Princeton Companion to Mathematics; Princeton University Press; 0691118809

Claude Rosental, Catherine Porter (2008) Weaving Self-Evidence: A Sociology of Logic (Princeton Studies in Cultural Sociology); Princeton University Press; 0691137412

Claude Rosental, Catherine Porter (2008) Weaving Self-Evidence: A Sociology of Logic (Princeton Studies in Cultural Sociology); Princeton University Press; 0691139407

Wayne Goddard (2008) Introducing the Theory of Computation; Jones & Bartlett Publishers; 0763741256

David J. Hunter (2008) Essentials of Discrete Mathematics (Jones and Bartlett Publishers Series in Mathematics); Jones & Bartlett Publishers; 0763748927

Lorne Szabolcsi, George Eglebretsen, Fred Sommers (2008) Numerical Term Logic; Edwin Mellen Press; 0773450270

Ernest Nagel, James Newman, Douglas R. Hofstadter (2008) Godel's Proof; NYU Press; 0814758371

Titu Andreescu, Cristinel Mortici (2008) Mathematical Bridges; Birkhauser Boston; 081764394X

Titu Andreescu, Razvan Gelca (2008) Mathematical Olympiad Challenges; Birkhauser Boston; 0817645284

Mark Kac, Gian-Carlo Rota, Jacob T. Schwartz (2008) Discrete Thoughts: Essays on Mathematics, Science and Philosophy (Modern Birkhauser Classics); Birkhauser Boston; 0817647740

Ira Gessel, Gian-Carlo Rota (2008) Classic Papers in Combinatorics (Modern Birkhauser Classics); Birkhauser Boston; 0817648410

Matthias Beck, Christian Haase, Bruce Reznick, Michele Vergne, Volkmar Welker (2008) Integer Points in Polyhedra (Contemporary Mathematics); American Mathematical Society; 0821841734

Yoshikata Kida (2008) The Mapping Class Group from the Viewpoint of Measure Equivalence Theory (Memoirs of the American Mathematical Society); American Mathematical Society; 0821841963

Tuna Altinel, Alexandre V. Borovik, and Gregory Cherlin (2008) Simple Groups of Finite Morley Rank (Mathematical Surveys and Monographs); American Mathematical Society; 0821843052

Vladimir Kanovei (2008) Borel Equivalence Relations (University Lecture Series); American Mathematical Society; 0821844539

Brian Hopkins, editor (2008) Resources for Teaching Discrete Mathematics (M a a Notes); Mathematical Association of America; 0883851849

Bonnie Gold & Roger A. Simons (2008) Proof and Other Dilemmas: Mathematics and Philosophy (Spectrum); Mathematical Association of America; 0883855674

Kurt Godel, Sam Sloan, Richard Laver (2008) The Consistency of the Continuum Hypothesis; Ishi Press; 0923891536

Richard L. Epstein, Walter A Carnielli (2008) Computability: Computable Functions, Logic, and the Foundations of Mathematics; Advanced Reasoning Forum; 098155072X

Stephen Blaha (2008) Algebra of Thought & Reality: A New Operator Formulation for Classical & Quantum Logic Obviating Logic Paradoxes & Godel's Theorem; & Realizing Plato's Theory of Ideas & Reality - The Standard Model; Pingree-Hill Publishing; 0981904912

Gorschwin Fey, Rolf Drechsler (2008) Robustness and Usability in Modern Design Flows; Springer; 1402065353

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas (2008) Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series); Springer; 140206781X

Walter A. Carnielli (2008) Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic); Springer; 1402067828

Sergei P. Odintsov (2008) Constructive Negations and Paraconsistency (Trends in Logic); Springer; 1402068662

Hiren D. Patel, Sandeep K. Shukla (2008) Ingredients for Successful System Level Design Methodology; Springer; 1402084714

Walter Carnielli, Claudio Pizzi (2008) Modalities and Multimodalities (Logic, Epistemology, and the Unity of Science); Springer; 1402085893

Piero Pagliani, Mihir Chakraborty (2008) A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns (Trends in Logic); Springer; 1402086210

David Makinson, David Makinson, Jacek Malinowski, Heinrich Wansing (2008) Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV; Springer; 1402090838

Coarna D. (2008) Extended Physics: SUBPHYSICS; Trafford Publishing; 142515929X

Lewis Carroll (2008) Miscellaneous Pieces (EasyRead Comfort Edition); ReadHowYouWant; 1427082642

COMAP (2008) For All Practical Purposes: Mathematical Literacy in Today's World; W. H. Freeman; 1429209003

COMAP (2008) For All Practical Purpose: Mathematical Literacy in Today's World, 8th Edition; W. H. Freeman; 1429215062

Peter Baofu (2008) The Future of Post-Human Mathematical Logic; Cambridge Scholars Publishing; 1443800333

Peter J. Bentley (2008) The Book of Numbers: The Secret of Numbers and How They Changed the World; Firefly Books; 1554073618

Katalin Bimbo, J. Michael Dunn (2008) Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (Center for the Study of Language and Information - Lecture Notes); Center for the Study of Language and Inf; 1575865742

Su Gao (2008) Invariant Descriptive Set Theory (Pure and Applied Mathematics); Chapman & Hall/CRC; 1584887931

Fanzhang Li (2008) Dynamic Fuzzy Logic and Its Applications; Nova Science Publishers; 1600214282

Cassius J. Keyser (2008) Mathematical Philosophy - A Study of Fate and Freedom; Merchant Books; 1603860894

Bertrand Russell (2008) The Principles Of Mathematics; Merchant Books; 160386119X

George Boole (2008) An Investigation Of The Laws Of Thought; Merchant Books; 1603861254

Mary Everest Boole (2008) Philosophy and Fun of Algebra; Merchant Books; 1603861262

James Byrnie Shaw (2008) Lectures On The Philosophy Of Mathematics; Merchant Books; 1603861408

Raymond E. Vargas (2008) Fuzzy Logic: Theory, Programming and Applications; Nova Science Publishers; 1604569158

Shan Gao (2008) God Does Play Dice with the Universe; abramis; 1845492668

Andras Kornai (2008) Mathematical Linguistics (Advanced Information and Knowledge Processing); Springer; 1846289866

Robert Lover (2008) Elementary Logic: For Software Development; Springer; 1848000812

Alan P. Parkes (2008) A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science); Springer; 1848001207

Martin Cooper (2008) Line Drawing Interpretation; Springer; 1848002289

Chenyi Hu, R. Baker Kearfott, Andre de Korvin, Vladik Kreinovich (2008) Knowledge Processing with Interval and Soft Computing (Advanced Information and Knowledge Processing); Springer; 1848003250

Ian Chiswell (2008) A Course in Formal Languages, Automata and Groups (Universitext); Springer; 1848009399

Cedric Degremont, Laurent Keiff, Helge Ruckert (2008) Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman (Tributes); College Publications; 1904987133

S Pihlstrom, P Raatikainen, M Sintonen (2008) Approaching Truth: Essays in Honour of Ilkka Niiniluoto (Tributes); College Publications; 1904987370

Carlos Areces, Robert Goldblatt (2008) Advances in Modal Logic Volume 7; College Publications; 1904987680

Christoph Benzmueller, Chad E Brown, Joerg Siekmann (2008) Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday; College Publications; 1904987702

Klaus Robering (2008) New Approaches to Classes and Concepts (Studies in Logic); College Publications; 1904987850

Marek Jarnicki and Peter Pflug (2008) First Steps in Several Complex Variables: Reinhardt Domains (EMS Textbooks in Mathematics); European Mathematical Society; 3037190493

Dzyadyk, Vladislav K. (2008) Theory of Uniform Approximation of Functions by Polynomials; Walter de Gruyter; 311020147X

Bernd Sturmfels, Peter Paule (2008) Algorithms in Invariant Theory (Texts and Monographs in Symbolic Computation); Springer; 3211774165

Vladimiro Sassone (2008) Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences ... Computer Science and General Issues); Springer; 3540253882

Jurgen Giesl (2008) Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540255966

Oliver Deiser (2008) Reelle Zahlen: Das klassische Kontinuum und die naturlichen Folgen (Springer-Lehrbuch) (German Edition); Springer; 3540453873

Fred Kroger, Stephan Merz (2008) Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series); Springer; 3540674012

Marino Miculan, Ivan Scagnetto, Furio Honsell (2008) Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues); Springer; 3540680845

Jorge Cuellar, Tom Maibaum (2008) FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 354068235X

Pierpaolo Degano, Rocco de Nicola, Jose Meseguer (2008) Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3540686762

Michal Baczynski, Balasubramaniam Jayaram (2008) Fuzzy Implications (Studies in Fuzziness and Soft Computing); Springer; 3540690808

Maria Alpuente, German Vidal (2008) Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540691634

Wolfram Pohlers (2008) Proof Theory: The First Step into Impredicativity (Universitext); Springer; 3540693181

Leszek Rutkowski, Leszek Rutkowski, Ryszard Tadeusiewicz, Lofti A. Zadeh, Jacek M. Zurada (2008) Artificial Intelligence and Soft Computing ICAISC 2008: 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540695729

Xiaodong Hu, Jie Wang (2008) Computing and Combinatorics: 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540697322

Orna Grumberg, Helmut Veith (2008) 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3540698493

Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou (2008) Natural Language and Information Systems: 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, ... Applications, incl. Internet/Web, and HCI); Springer; 3540698574

Wilfrid Hodges, Ruy de Queiroz (2008) Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540699368

Ron van der Meyden, Leendert van der Torre (2008) Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540705244

Aarti Gupta, Sharad Malik (2008) Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540705430

Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz (2008) Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I (Lecture Notes in ... Computer Science and General Issues); Springer; 3540705740

Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz (2008) Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues); Springer; 3540705821

Andrei Voronkov (2008) Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540705880

Philippe Audebaud, Christine Paulin-Mohring (2008) Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540705937

Peter Eklund, Ollivier Haemmerle (2008) Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July ... / Lecture Notes in Artificial Intelligence); Springer; 3540705953

Oscar H. Ibarra, Bala Ravikumar (2008) Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture ... Computer Science and General Issues); Springer; 354070843X

Alessandro Armando, Peter Baumgartner, Gilles Dowek (2008) Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540710698

Artur S. d'Avila Garcez, Luis C. Lamb, Dov M. Gabbay (2008) Neural-Symbolic Cognitive Reasoning (Cognitive Technologies); Springer; 3540732454

Daniel Kroening, Ofer Strichman, R.E. Bryant (2008) Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series); Springer; 3540741046

Symeon Bozapalidis, George Rahonis (2008) Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture Notes ... Computer Science and General Issues); Springer; 354075413X

Oscar Castillo, Patricia Melin (2008) Type-2 Fuzzy Logic: Theory and Applications (Studies in Fuzziness and Soft Computing); Springer; 3540762833

Felix Hausdorff, U. Felgner, H. Herrlich, M. Husek, V. Kanovei, P. Koepke, G. Preuss, W. Purkert, E. Scholz (2008) Felix Hausdorff - Gesammelte Werke Band III: Mengenlehre (1927,1935) Deskripte Mengenlehre und Topologie (German and English Edition) (v. 3); Springer; 3540768068

Michael D. Fried, Moshe Jarden (2008) Field Arithmetic (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics); Springer; 3540772693

George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (2008) Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540773118

Francisco Botana, Tomas Recio (2008) Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 354077355X

Peter P. Chen, Leah Y. Wong (2008) Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI); Springer; 3540775021

U. Kohlenbach (2008) Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics); Springer; 3540775323

Andrei A. Agrachev, A. Stephen Morse, Eduardo D. Sontag, Hector J. Sussmann, Vadim I. Utkin, Paolo Nistri, Gianna Stefani (2008) Nonlinear and Optimal Control Theory: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 19-29, 2004 (Lecture Notes in Mathematics / Fondazione C.I.M.E., Firenze); Springer; 3540776443

Alexander Gelbukh (2008) Computational Linguistics and Intelligent Text Processing: 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings ... Computer Science and General Issues); Springer; 354078134X

Gemma Bel-Enguix, M. Dolores Jimenez-Lopez, Carlos Martin-Vide (2008) New Developments in Formal Languages and Applications (Studies in Computational Intelligence); Springer; 3540782907

Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli (2008) Inductive Logic Programming: 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540784683

Roberto Amadio (2008) Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences ... Computer Science and General Issues); Springer; 3540784977

P. Hajicek, F. Meyer, J. Metzger (2008) An Introduction to the Relativistic Theory of Gravitation (Lecture Notes in Physics); Springer; 3540786589

Andy King (2008) Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected ... Computer Science and General Issues); Springer; 3540787682

Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria (2008) LATIN 2008: Theoretical Informatics: 8th Latin American Symposium, Buzios, Brazil, April 7-11, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3540787720

Laurie Hendren (2008) Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... Computer Science and General Issues); Springer; 3540787909

Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek (2008) Concept Lattices and Their Applications: Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540789200

Jacques Garrigue, Manuel Hermenegildo (2008) Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540789685

Bhanu Prasad, Bhanu Prasad (2008) Soft Computing Applications in Business (Studies in Fuzziness and Soft Computing); Springer; 3540790047

F. Chen, Bert Juttler (2008) Advances in Geometric Modeling and Processing: 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3540792457

Hans Kleine Buning, Xishun Zhao (2008) Theory and Applications of Satisfiability Testing SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture ... Computer Science and General Issues); Springer; 3540797181

Guoyin Wang, Tianrui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Y. Yao (2008) Rough Sets and Knowledge Technology: Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540797203

Jose Meseguer, Grigore Rosu (2008) Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering); Springer; 3540799796

Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida (2008) Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540851003

Harald Atmanspacher, Hans Primas (2008) Recasting Reality: Wolfgang Pauli's Philosophical Ideas and Contemporary Science; Springer; 3540851976

Aarne Ranta, Bengt Nordstrom (2008) Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540852867

Klaus-Dieter Althoff, Ralph Bergmann, Mirjam Minor, Alexandre Hanft (2008) Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540855017

Masami Ito, Masafumi Toyama (2008) Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540857796

Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas R. Roth-Berghofer (2008) KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 354085844X

Filip Zelezny, Nada Lavrac (2008) Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540859276

De-Shuang Huang, Donald C. II Wunsch, Daniel S. Levine, Kang-Hyun Jo (2008) Advanced Intelligent Computing Theories and Applications: With Aspects of Contemporary Intelligent Computing Techniques (Communications in Computer and Information Science); Springer; 3540859292

Peter J. Stuckey (2008) Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings (Lecture ... / Programming and Software Engineering); Springer; 3540859578

A. Joaquim da Silva Teixeira, Vera Lucia Strube de Lima, Luis Caldas de Oliveira, Paulo Quaresma (2008) Computational Processing of the Portuguese Language: 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540859799

De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo (2008) Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: Fourth International Conference on Intelligent Computing, ... / Lecture Notes in Artificial Intelligence); Springer; 3540859837

De-Shuang Huang, Donald C. Wunsch II, Daniel S. Levine, Kang-Hyun Jo (2008) Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues: Fourth International Conference on Intelligent ... Computer Science and General Issues); Springer; 3540874402

Walter Daelemans, Bart Goethals, Katharina Morik (2008) Machine Learning and Knowledge Discovery in Databases: European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 354087478X

Michael Kaminski, Simone Martini (2008) Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings ... Computer Science and General Issues); Springer; 3540875301

Egon Borger, Michael Butler, Jonathan P. Bowen, Paul Boca (2008) Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540876022

Steffen Holldobler, Carsten Lutz, Heinrich Wansing (2008) Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540878025

Natarajan Shankar, Jim Woodcock (2008) Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture ... / Programming and Software Engineering); Springer; 3540878726

Sergio Greco, Thomas Lukasiewicz (2008) Scalable Uncertainty Management: Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540879927

Alexander Clark, Francois Coste, Laurent Miclet (2008) Grammatical Inference: Algorithms and Applications: 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540880089

Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok (2008) Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures (Lecture ... Computer Science and General Issues); Springer; 3540880585

Jaume Bacardit, Ester Bernado-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llora, Keiki Takadama (2008) Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, ... / Lecture Notes in Artificial Intelligence); Springer; 3540881379

Gerson Zaverucha, Augusto Loureiro da Costa (2008) Advances in Artificial Intelligence - SBIA 2008: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540881891

Shaoying Liu, Tom Maibaum, Keijiro Araki (2008) Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, ... / Programming and Software Engineering); Springer; 354088193X

Vicenc Torra, Yasuo Narukawa (2008) Modeling Decisions for Artificial Intelligence: 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540882685

Carlos Martin-Vide, Friedrich Otto, Henning Fernau (2008) Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers (Lecture ... Computer Science and General Issues); Springer; 3540882812

Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko (2008) Rough Sets and Current Trends in Computing: 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540884238

Klaus-Dieter Schewe, Bernhard Thalheim (2008) Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers (Lecture Notes ... Applications, incl. Internet/Web, and HCI); Springer; 3540885935

Alexander Gelbukh, Eduardo F. Morales (2008) MICAI 2008: Advances in Artificial Intelligence: 7th Mexican International Conference on Artificial Intelligence, Atizapan de Zaragoza, Mexico, October ... / Lecture Notes in Artificial Intelligence); Springer; 3540886354

Joon Sang Baek, Feng Bao, Kefei Chen, Xuejia Lai (2008) Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (Lecture Notes in Computer Science / Security and Cryptology); Springer; 3540887326

Fariba Sadri, Ken Satoh (2008) Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence); Springer; 3540888322

Akihiro Kanamori (2008) The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics); Springer; 3540888667

Andy Schurr, Manfred Nagl, Albert Zundorf (2008) Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised ... / Programming and Software Engineering); Springer; 354089019X

G. Ramalingam (2008) Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540893296

Wayne Wobcke, Mengjie Zhang (2008) AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, ... / Lecture Notes in Artificial Intelligence); Springer; 3540893776

Iliano Cervesato, Helmut Veith, Andrei Voronkov (2008) Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3540894381

Barbara Paech, Craig Martell (2008) Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. ... / Programming and Software Engineering); Springer; 3540897771

Francois Fages, Francesca Rossi, Sylvain Soliman (2008) Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, ... / Lecture Notes in Artificial Intelligence); Springer; 3540898115

Maria Garcia de la Banda, Enrico Pontelli (2008) Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540899812

Jaroslav Nesetril (2008) 13 Lectures on Combinatorics of Mappings (Lectures in Mathematics. ETH Zurich); Birkhauser Basel; 3764321997

Witold A. Pogorzelski, Piotr Wojtylak (2008) Completeness Theory for Propositional Logics (Studies in Universal Logic); Birkhauser Basel; 3764385170

Razvan Diaconescu (2008) Institution-independent Model Theory (Studies in Universal Logic); Birkhauser Basel; 3764387076

S.K. Anand (2008) Logarithms Exponential and Rational Functions; Sarup & Son; 817625858X

S.K. Jain (2008) Logic and Set Theory; IVV Publishing House; 8178901838

Rossella Lupacchini, Giovanna Corsi (2008) Deduction, Computation, Experiment: Exploring the Effectiveness of Proof; Springer; 8847007836

Giandomenico Sica (2008) What is Category Theory?; Polimetrica, International Scientific Publisher; 8876990313

Joachim Lambek (2008) From Word to Sentence: a computational algebraic approach to grammar; Polimetrica, International Scientific Publisher; 8876991174

Claudia Casadio, Joachim Lambek (2008) Computational Algebraic Approaches to Natural Language; Polimetrica, International Scientific Publisher; 8876991255

Desmond Paul Henry (2008) Commentary on `De Grammatico': The Historical-Logical Dimensions of a Dialogue of St. Anselm's (Synthese Historical Library); Springer; 9027703825

Johan van Benthem, Benedikt Lowe, Dov M. Gabbay (2008) Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Amsterdam University Press - Texts in Logic and Games); Amsterdam University Press; 9053563563

Jorg Flum, Erich Gradel, Thomas Wilke (2008) Logic and Automata: History and Perspectives (Amsterdam University Press - Texts in Logic and Games); Amsterdam University Press; 9053565760

Subrata Das (2008) Foundations Of Decision-Making Agents: Logic, Probability and Modality; World Scientific Publishing Company; 9812779833

Chitat Chong, Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang (2008) Computational Prospects Of Infinity - Part I: Tutorials (Lecture Notes); World Scientific Publishing Company; 9812796533

Chitat Chong, Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang (2008) Computational Prospects of Infinity II: Presented Talks (Lecture Notes Series, Institute for Mathematical Sciences, N); World Scientific Publishing Company; 9812796541

Willi-Hans Steeb (2008) Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression; World Scientific Publishing Company; 9812818537

R. Padmanabhan, S. Rudeanu (2008) Axioms For Lattices And Boolean Algebras; World Scientific Publishing Company; 9812834540

Virginia Klenk (2007) Understanding Symbolic Logic (5th Edition); Prentice Hall; 0132051524

Elaine A. Rich (2007) Automata, Computability and Complexity: Theory and Applications; Prentice Hall; 0132288060

Stewart Shapiro (2007) The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks); Oxford University Press, USA; 0195325923

Ian Chiswell, Wilfrid Hodges (2007) Mathematical Logic (Oxford Texts in Logic); Oxford University Press, USA; 0198571003

Graham Priest, J. C. Beall, Bradley Armour-Garb (2007) The Law of Non-Contradiction; Oxford University Press, USA; 0199204195

Ian Chiswell, Wilfrid Hodges (2007) Mathematical Logic (Oxford Texts in Logic); Oxford University Press, USA; 0199215626

Marcus Giaquinto (2007) Visual Thinking in Mathematics; Oxford University Press, USA; 0199285942

Murray Code (2007) Process, Reality, and the Power of Symbols: Thinking with A.N. Whitehead; Palgrave Macmillan; 023052740X

Mario Livio (2007) The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry; Souvenir Press Ltd; 0285637894

Gary Chartrand, Albert D. Polimeni, Ping Zhang (2007) Mathematical Proofs: A Transition to Advanced Mathematics (2nd Edition); Addison Wesley; 0321390539

Margaret L. Lial, Raymond N. Greenwell, Nathan P. Ritchey (2007) Finite Mathematics and Calculus with Applications (8th Edition); Addison Wesley; 0321426517

Ganesh Gopalakrishnan (2007) Computation Engineering:: Formal Specification and Verification Methods; Springer; 0387244190

S.Barry Cooper, Benedikt Lowe, Andrea Sorbi (2007) New Computational Paradigms: Changing Conceptions of What is Computable; Springer; 0387360336

John A. Lee, Michel Verleysen (2007) Nonlinear Dimensionality Reduction (Information Science and Statistics); Springer; 0387393501

Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev (2007) Mathematical Problems from Applied Logic II: Logics for the XXIst Century (International Mathematical Series) (v. 2); Springer; 0387692444

Dov M. Gabbay (2007) Mathematical Problems from Applied Logic II: Logics for the Xxist Century; Springer; 0387692452

Eugenio Filloy, Teresa Rojano, Luis Puig (2007) Educational Algebra: A Theoretical and Empirical Approach (Mathematics Education Library); Springer; 0387712534

Dov M. Gabbay, John Woods (2007) The Many Valued and Nonmonotonic Turn in Logic, Volume 8 (Handbook of the History of Logic); North Holland; 0444516239

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono (2007) Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 (Studies in Logic and the Foundations of Mathematics); Elsevier Science; 0444521410

Kurt Engesser, Dov M. Gabbay, Daniel Lehmann (2007) Handbook of Quantum Logic and Quantum Structures; Elsevier Science; 0444528709

James M. Henle (2007) An Outline of Set Theory (Dover Books on Mathematics); Dover Publications; 0486453375

Louis Hoffmann (2007) Professor Hoffmann's Best Math and Logic Puzzles; Dover Publications; 0486454746

Steven R. Lay (2007) Convex Sets and Their Applications; Dover Publications; 0486458032

H. A. Thurston (2007) The Number System (Dover Books on Mathematics); Dover Publications; 0486458067

Ian Stewart (2007) Game, Set and Math: Enigmas and Conundrums (Dover Classics of Science & Mathematics); Dover Publications; 0486458849

G. B. Keene (2007) Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory; Dover Publications; 0486462498

David Howie (2007) Interpreting Probability: Controversies and Developments in the Early Twentieth Century (Cambridge Studies in Probability, Induction and Decision Theory); Cambridge University Press; 0521037549

Peter Smith (2007) An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy); Cambridge University Press; 0521674530

Ross Street (2007) Quantum Groups: A Path to Current Algebra (Australian Mathematical Society Lecture Series); Cambridge University Press; 0521695244

Jouko Vaananen (2007) Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts); Cambridge University Press; 0521700159

George S. Boolos, John P. Burgess, Richard C. Jeffrey (2007) Computability and Logic; Cambridge University Press; 0521701465

Richard W. Kaye (2007) The Mathematics of Logic: A Guide to Completeness Theorems and their Applications; Cambridge University Press; 052170877X

Peter Smith (2007) An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy); Cambridge University Press; 0521857848

Krzysztof R. Apt, Mark Wallace (2007) Constraint Logic Programming using Eclipse; Cambridge University Press; 0521866286

Jouko Vaananen (2007) Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts); Cambridge University Press; 0521876591

George S. Boolos, John P. Burgess, Richard C. Jeffrey (2007) Computability and Logic; Cambridge University Press; 0521877520

Richard W. Kaye (2007) The Mathematics of Logic: A Guide to Completeness Theorems and their Applications; Cambridge University Press; 0521882192

Alessandro Andretta, Keith Kearnes, Domenico Zambella (2007) Logic Colloquium 2004 (Lecture Notes in Logic); Cambridge University Press; 0521884241

Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel (2007) Logic Colloquium 2005 (Lecture Notes in Logic); Cambridge University Press; 052188425X

Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson (2007) Stable Domination and Independence in Algebraically Closed Valued Fields (Lecture Notes in Logic); Cambridge University Press; 0521889812

Evelyn Underhill (2007) The Cloud of Unknowing; Kessinger Publishing, LLC; 0548001030

George Boole (2007) An Investigation Of The Laws Of Thought: On Which Are Founded The Mathematical Theories Of Logic And Probabilities; Kessinger Publishing, LLC; 0548185786

Arthur T. Shearman (2007) The Development Of Symbolic Logic: A Critical-Historical Study Of The Logical Calculus; Kessinger Publishing, LLC; 0548252882

Charles Wesley (2007) A Guide To Syllogism: Or A Manual Of Logic; Comprehending An Account Of The Manner Of Disputation Now Practiced In The Schools At Cambridge; Kessinger Publishing, LLC; 0548321531

George Boole (2007) The Mathematical Analysis Of Logic: Being An Essay Towards A Calculus Of Deductive Reasoning (1847); Kessinger Publishing, LLC; 054871052X

Alexander Macfarlane (2007) Principles Of The Algebra Of Logic, With Examples (1879); Kessinger Publishing, LLC; 054872928X

Howard Wainer (2007) Graphic Discovery: A Trout in the Milk and Other Visual Adventures; Princeton University Press; 0691134057

Wang Hao (2007) Computation, Logic, Philosophy: A Collection of Essays (Mathematics and its Applications); Springer; 0792302184

A.G. Chentsov (2007) Asymptotic Attainability (Mathematics and Its Applications); Springer; 0792343026

Elena Anne Marchisotto, James T. Smith (2007) The Legacy of Mario Pieri in Geometry and Arithmetic; Birkhauser Boston; 0817632107

Albrecht Pietsch (2007) History of Banach Spaces and Linear Operators; Birkhauser Boston; 0817643672

W.D. Wallis (2007) A Beginner's Guide to Graph Theory; Birkhauser Boston; 0817644849

Jerzy Zabczyk (2007) Mathematical Control Theory: An Introduction (Modern Birkhauser Classics); Birkhauser Boston; 0817647325

Eckart Menzler-Trott (2007) Logic's Lost Genius (History of Mathematics); American Mathematical Society; 0821835505

Yi Zhang, Yi Zhang, Su Gao, Steve Jackson (2007) Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics); American Mathematical Society; 0821838199

Louis H. Kauffman, David E. Radford, Fernando J. O. Souza (2007) Hopf Algebras and Generalizations (Contemporary Mathematics); American Mathematical Society; 0821838202

Gabriel Debs, Jean Saint Raymond (2007) Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements (Memoirs of the American Mathematical Society); American Mathematical Society; 0821839713

Benjamin Fine; Anthony M. Gaglione; Dennis Spellman (2007) Combinatorial Group Theory, Discrete Groups, and Number Theory (Contemporary Mathematics); American Mathematical Society; 0821839853

I. Balbin, K. Lecot (2007) Logic Programming: A Classified Bibliography; Springer; 0908069154

Peter Grzybek (2007) Contributions to the Science of Text and Language: Word Length Studies and Related Issues (Text, Speech and Language Technology); Springer; 1402040695

Roy T. Cook (2007) The Arche Papers on the Mathematics of Abstraction (The Western Ontario Series in Philosophy of Science); Springer; 1402042647

Markus Sebastiaan Pau Atten (2007) Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library,); Springer; 1402050879

Marco Aiello, Marco Aiello, Ian E. Pratt-Hartmann, Johan F.A.K. van Benthem (2007) Handbook of Spatial Logics; Springer; 1402055862

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi (2007) Dynamic Epistemic Logic (Synthese Library); Springer; 1402058381

Michele Friend, Norma B. Goethe, Valentina S. Harizanov (2007) Induction, Algorithmic Learning Theory, and Philosophy (Logic, Epistemology, and the Unity of Science); Springer; 1402061269

Michael Winter (2007) Goguen Categories: A Categorical Approach to L-fuzzy Relations (Trends in Logic); Springer; 1402061633

Giuseppe Primiero (2007) Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science); Springer; 1402061692

Nino B. Cocchiarella (2007) Formal Ontology and Conceptual Realism (Synthese Library); Springer; 1402062036

D.M. Gabbay, D.M. Gabbay, F. Guenthner (2007) Handbook of Philosophical Logic: Volume 14 (Handbook of Philosophical Logic); Springer; 1402063237

R. Lowen, A. Verschoren (2007) Foundations of Generic Optimization: Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks (Mathematical Modelling: Theory and Applications); Springer; 1402066678

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi (2007) Dynamic Epistemic Logic (Synthese Library); Springer; 1402069081

Institute of Electrical and Electronics Engineers (2007) 2007 Annual Meeting of the North American Fuzzy Information Processing Society; IEEE Computer Society Press; 1424412137

George Boole (2007) An Investigation Of The Laws Of Thought: On Which Are Founded The Mathematical Theories Of Logic And Probabilities; Kessinger Publishing, LLC; 1430488948

Arthur T. Shearman (2007) The Development Of Symbolic Logic: A Critical-Historical Study Of The Logical Calculus; Kessinger Publishing, LLC; 1432655876

William F Scott (2007) Logic in Arithmetic; Outskirts Press; 1432704524

Richard Dedekind, Wooster, Woodruff Beman (2007) Essays on the Theory of Numbers (Second Edition); Brownstone Books; 143449991X

Evelyn Underhill (2007) The Cloud of Unknowing; BiblioBazaar; 1434691047

Leonard M. Wapner (2007) The Pea and the Sun: A Mathematical Paradox; A K Peters; 1568813279

David, W. Felder (2007) Reasoning Skills for Handling Conflict; Wellington Press; 157501775X

David Barker-Plummer, Jon Barwise, John Etchemendy (2007) Tarski's World: Revised and Expanded (Center for the Study of Language and Information - Lecture Notes); Center for the Study of Language and Inf; 1575864843

Leszek Demkowicz, Jason Kurtz, David Pardo, Maciej Paszynski, Waldemar Rachowicz, Adam Zdunek (2007) Computing with Hp-Adaptive Finite Elements, Vol. 2: Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications; Chapman & Hall/CRC; 1584886722

Ernst-Erich Doberkat (2007) Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/Crc Studies in Informatics); Chapman & Hall/CRC; 1584889411

A. Ehrenfeucht, V.W. Marek, M. Srebrny (2007) Andrzej Mostowski and Foundational Studies (Stand Alone); IOS Press; 158603782X

Edward B. Burger (2007) Extending the Frontiers of Mathematics: Inquiries into proof and argumentation; Key College; 1597570427

Tracy Kompelien (2007) There Is Order on the Border! (Math Made Fun); Abdo Publishing Company; 1599285487

George Boole (2007) A Treatise on the Calculus of Finite Differences; Cosimo Classics; 1602063044

George Boole (2007) An Investigation of the Laws of Thought; Cosimo Classics; 1602064520

Evelyn Underhill (2007) The Cloud of Unknowing; Cosimo Classics; 1602064989

Louis Couturat, Lydia Robinson, Philip Jourdain (2007) The Algebra Of Logic; Merchant Books; 160386038X

Henry Dudeney (2007) Good Old Fashioned Challenging Puzzles and Perplexing Mathematical Problems (Puzzle Books) (Puzzle Books); Summersdale Publishers; 1840245573

H. N. Mhaskar (2007) Fundamentals of Approximation Theory, Revised Ed; Alpha Science Int'l Ltd; 1842654284

Andras Kornai (2007) Mathematical Linguistics (Advanced Information and Knowledge Processing); Springer; 1846289858

Jie Lu; Guangquan Zhang; Da Ruan (2007) Multi-objective Group Decision Making: Methods, Software and Applications With Fuzzy Set Techniques (Series in Electrical and Computer Engineering); Imperial College Press; 186094793X

B Loewe (2007) Algebra, Logic, Set Theory (Studies in Logic); College Publications; 1904987281

Melvin Fitting (2007) Incompleteness in the Land of Sets (Studies in Logic); College Publications; 1904987346

Francesco Berto (2007) How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency (Studies in Logic); College Publications; 1904987435

J F van Benthem, S Ju, F Veltman (2007) A Meeting of the Minds (Texts in Computer Science); College Publications; 1904987486

S Rahman, J Redmond (2007) Hugh MacColl: An Overview of his Logical Work with Anthology; College Publications; 1904987494

K Engesser, D, M Gabbay, D Lehmann (2007) A New Approach to Quantum Logic (Studies in Logic); College Publications; 1904987532

C E Brown (2007) Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems); College Publications; 1904987575

J Y Beziau, W Carnielli, D M Gabbay (2007) Handbook of Paraconsistency (Studies in Logic); College Publications; 1904987737

S Bold, B Loewe, T Rasch (2007) Foundations of the Formal Sciences V: Infinite Games; College Publications; 1904987753

Michel Diaz (2007) Petri Nets: Fundamental Models, Verification and Applications; ISTE Publishing Company; 1905209827

Imme van den Berg, Vitor Neves (2007) The Strength of Nonstandard Analysis; Springer; 3211499040

Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein (2007) Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series); Springer; 3540004289

Yu.I. Manin, Alexei A. Panchishkin (2007) Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories (Encyclopaedia of Mathematical Sciences); Springer; 3540203648

James J. Buckley (2007) Fuzzy Probabilities: New Approach and Applications (Studies in Fuzziness and Soft Computing); Springer; 3540250336

Anssi Yli-Jyra, Lauri Karttunen, Juhani Karhumaki (2007) Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540354670

Eric Charpentier, Annick Lesne, Nikolai K. Nikolski (2007) Kolmogorov's Heritage in Mathematics; Springer; 3540363491

Sandro Etalle, Miroslav Truszczynski (2007) Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540366350

Ulrich Furbach, Natarajan Shankar (2007) Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540371877

Gordon Plotkin, Corrado Priami (2007) Transactions on Computational Systems Biology VI (Lecture Notes in Computer Science / Transactions on Computational Systems Biology) (v. 6); Springer; 3540457798

David W. Embley, Antoni Olive, Sudha Ram (2007) Conceptual Modeling - ER 2006: 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI); Springer; 354047224X

Chengde Mao, Takashi Yokomori (2007) DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540490248

Heinz-Dieter Ebbinghaus, V. Peckhaus (2007) Ernst Zermelo: An Approach to His Life and Work; Springer; 3540495517

Jerome Euzenat, Pavel Shvaiko (2007) Ontology Matching; Springer; 3540496114

Qiang Huo, Bin Ma, Eng-Siong Chng, Haizhou Li (2007) Chinese Spoken Language Processing: 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings (Lecture Notes in Computer Science ... / Lecture Notes in Artificial Intelligence); Springer; 3540496653

Yuji Matsumoto, Richard Sproat, Kam-Fai Wong, Min Zhang (2007) Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead: 21st International Conference, ICCPOL 2006, Singapore, December ... / Lecture Notes in Artificial Intelligence); Springer; 354049667X

Abdul Sattar, Byeong Ho Kang (2007) AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3540497870

S. Arun-Kumar, Naveen Garg (2007) FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, ... Computer Science and General Issues); Springer; 3540499946

Giampaolo Bella (2007) Formal Correctness of Security Protocols (Information Security and Cryptography); Springer; 3540681345

Jacques Julliand, Olga Kouchnarenko (2007) B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering); Springer; 3540687602

Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt (2007) Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 354068977X

Irina Georgescu (2007) Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzziness and Soft Computing); Springer; 3540689974

Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (2007) Membrane Computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers (Lecture Notes in ... Computer Science and General Issues); Springer; 3540690883

Thomas Schwentick, Dan Suciu (2007) Database Theory ICDT 2007: 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings (Lecture Notes in Computer Science ... Applications, incl. Internet/Web, and HCI); Springer; 354069269X

Katsumi Inoue, Ken Satoh, Francesca Toni (2007) Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence); Springer; 3540696180

Sergei O. Kuznetsov, Stefan Schmidt (2007) Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540708286

Wolfgang Thomas, Pascal Weil (2007) STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540709177

Alexander Gelbukh (2007) Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings ... Computer Science and General Issues); Springer; 354070938X

James F. Peters, Andrzej Skowron, Ivo Duntsch, Jerzy Grzymala-Busse, Ewa Orlowska, Lech Polkowski (2007) Transactions on Rough Sets VI: Commemorating Life and Work of Zdislaw Pawlak, Part I (Lecture Notes in Computer Science / Transactions on Rough Sets) (v. 6); Springer; 3540711988

Shriram Krishnamurthi, Martin Odersky (2007) Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... Computer Science and General Issues); Springer; 3540712283

Tim Kovacs, Xavier Llora, Keiki Takadama, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (2007) Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540712305

Paul P. Wang, Paul P. Wang, Da Ruan, Etienne E. Kerre (2007) Fuzzy Logic: A Spectrum of Theoretical & Practical Issues (Studies in Fuzziness and Soft Computing); Springer; 3540712577

Thomas Reps, Mooly Sagiv, Jorg Bauer (2007) Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Lecture Notes in Computer ... / Programming and Software Engineering); Springer; 3540713158

Helmut Seidl (2007) Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences ... Computer Science and General Issues); Springer; 3540713883

German Puebla (2007) Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture ... Computer Science and General Issues); Springer; 354071409X

Antonio Branco (2007) Anaphora: Analysis, Algorithms and Applications: 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos Portugal, March 29-30, 2007, ... / Lecture Notes in Artificial Intelligence); Springer; 3540714111

Bing-Yuan Cao (2007) Fuzzy Information and Engineering: Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) (Advances in Intelligent and Soft Computing); Springer; 3540714405

Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernadete Ribeiro (2007) Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I (Lecture ... Computer Science and General Issues); Springer; 3540715894

Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Ribeiro, Bernadete (2007) Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II (Lecture ... Computer Science and General Issues) (Pt. 2); Springer; 3540715908

James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko (2007) Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II (Lecture Notes in Computer Science / Transactions on Rough Sets) (Pt. 2); Springer; 3540716629

David Eppstein, Jean-Claude Falmagne, Sergei Ovchinnikov (2007) Media Theory: Interdisciplinary Applied Mathematics; Springer; 3540716963

Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Marti-Oliet, Jose Meseguer, Carolyn Talcott (2007) All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540719407

Jose Luiz Fiadeiro, Pierre-Yves Schobbens (2007) Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected ... Computer Science and General Issues); Springer; 3540719970

Chitta Baral, Gerhard Brewka, John Schlipf (2007) Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540721991

Patricia Melin, Oscar Castillo, Eduardo G. Ramirez, Janusz Kacprzyk, Witold Pedrycz (2007) Analysis and Design of Intelligent Systems Using Soft Computing Techniques (Advances in Intelligent and Soft Computing); Springer; 3540724311

Oscar Castillo, Oscar Castillo, Patricia Melin, Oscar Montiel Ross, Roberto Sepulveda Cruz, Witold Pedrycz, Janusz Kacprzyk (2007) Theoretical Advances and Applications of Fuzzy Logic and Soft Computing (Advances in Soft Computing) (Advances in Intelligent and Soft Computing); Springer; 3540724338

JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick Cercone, Dominik Slezak (2007) Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540724575

Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory Butz, Witold Pedrycz, Guoyin Wang (2007) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540725296

Sergei Artemov, Anil Nerode (2007) Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540727329

Joao Marques-Silva, Karem A. Sakallah (2007) Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues); Springer; 3540727876

Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, Witold Pedrycz (2007) Foundations of Fuzzy Logic and Soft Computing: 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, ... / Lecture Notes in Artificial Intelligence); Springer; 3540729178

Nader Bshouty, Claudio Gentile (2007) Learning Theory: 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540729259

Jetty Kleijn, Alex Yakovlev (2007) Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science; Springer; 3540730931

Nicola Olivetti (2007) Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... / Lecture Notes in Artificial Intelligence); Springer; 3540730982

Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner (2007) Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3540731466

Masoud Nikravesh, Masoud Nikravesh, Janusz Kacprzyk, Lotfi A. Zadeh (2007) Forging New Frontiers: Fuzzy Pioneers I (Studies in Fuzziness and Soft Computing); Springer; 3540731814

Masoud Nikravesh, Masoud Nikravesh, Janusz Kacprzyk, Lotfi A. Zadeh (2007) Forging New Frontiers: Fuzzy Pioneers II (Studies in Fuzziness and Soft Computing); Springer; 3540731849

Tero Harju, Juhani Karhumaki, Arto Lepisto (2007) Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540732071

Simona Ronchi Della Rocca (2007) Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540732276

Zoubida Kedad, Nadira Lammari, Elisabeth Metais, Farid Meziane, Yacine Rezgui (2007) Natural Language Processing and Information Systems: 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, ... Applications, incl. Internet/Web, and HCI); Springer; 3540733507

Werner Damm, Holger Hermanns (2007) Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 3540733671

Francesco Masulli, Sushmita Mitra, Gabriella Pasi (2007) 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 Artificial Intelligence); Springer; 354073399X

Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki (2007) Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540734198

Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (2007) Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540734325

Daniel Leivant, Ruy de Queiroz (2007) Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 3540734430

Franz Baader (2007) Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 3540734473

Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron (2007) Rough Sets and Intelligent Systems Paradigms: International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540734503

Petra Perner (2007) Machine Learning and Data Mining in Pattern Recognition: 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540734988

Ian Miguel, Wheeler Tuml (2007) Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540735798

Frank Pfenning (2007) Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540735941

Uta Priss, Simon Polovina, Richard Hill (2007) Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, ... / Lecture Notes in Artificial Intelligence); Springer; 3540736808

Vicenc Torra, Yasuo Narukawa, Yuji Yoshida (2007) Modeling Decisions for Artificial Intelligence: 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540737286

Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi (2007) Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, ... / Lecture Notes in Artificial Intelligence); Springer; 3540738169

Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad (2007) Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540738460

Till Mossakowski, Ugo Montanari, Magne Haveraaen (2007) Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 3540738576

Wan Fokkink (2007) Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series); Springer; 3540739378

Hanne Riis Nielson, Gilberto File (2007) Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540740600

Dines Bjorner, Martin C. Henson (2007) Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series); Springer; 3540741062

Aaron R. Bradley, Zohar Manna (2007) The Calculus of Computation: Decision Procedures with Applications to Verification; Springer; 3540741127

Stefan Edelkamp, Alessio Lomuscio (2007) Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540741275

Rosina O. Weber, Michael M. Richter (2007) Case-Based Reasoning Research and Development: 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, ... / Lecture Notes in Artificial Intelligence); Springer; 3540741380

De-Shuang Huang, De-Shuang Huang, Laurent Heutte, Marco Loog (2007) Advanced Intelligent Computing Theories and Applications: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, ... / Lecture Notes in Artificial Intelligence); Springer; 3540742018

Erzsebet Csuhaj-Varju, Zoltan Esik (2007) Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540742395

Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu (2007) Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540742549

Ludek Kucera, Antonin Kucera (2007) Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007, Proceedings ... Computer Science and General Issues); Springer; 354074455X

Thorsten Altenkirch, Conor McBride (2007) Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540744630

Joachim Hertzberg, Michael Beetz, Roman Englert (2007) KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabruck, Germany, September 10-13, 2007, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540745645

Klaus Schneider, Jens Brandt (2007) Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture ... Computer Science and General Issues); Springer; 3540745904

Jerome Durand-Lose, Maurice Margenstern (2007) Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 3540745920

Veronica Dahl, Ilkka Niemela (2007) Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540746080

Boris Konev, Frank Wolter (2007) Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 354074620X

Roberto Basili, Maria Teresa Pazienza (2007) AI*IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September ... / Lecture Notes in Artificial Intelligence); Springer; 3540747818

Jacques Duparc, Thomas A. Henzinger (2007) Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings ... Computer Science and General Issues); Springer; 3540749144

Joost N. Kok, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron (2007) Machine Learning: ECML 2007: 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540749578

Christian Bessiere (2007) Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings ... / Programming and Software Engineering); Springer; 3540749691

Joost N. Kok, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron (2007) Knowledge Discovery in Databases: PKDD 2007: 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September ... / Lecture Notes in Artificial Intelligence); Springer; 3540749756

Balder D. ten Cate, Henk W. Zeevat (2007) Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised ... / Lecture Notes in Artificial Intelligence); Springer; 3540751432

Cliff B. Jones, Zhiming Liu, Jim Woodcock (2007) Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes ... Computer Science and General Issues); Springer; 354075220X

Khaled Mellouli (2007) Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, ... / Lecture Notes in Artificial Intelligence); Springer; 3540752552

Daniel Borrajo, Luis Castillo, Juan Manuel Corchado (2007) Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November ... / Lecture Notes in Artificial Intelligence); Springer; 3540752706

Cliff B. Jones, Zhiming Liu, Jones Woodcock (2007) Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540752900

Henri Prade, V.S. Subrahmanian (2007) Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540754075

Nachum Dershowitz, Andrei Voronkov (2007) Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3540755586

Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (2007) Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI); Springer; 3540755624

S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra (2007) Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540759387

Frank Schilder, Graham Katz, James Pustejovsky (2007) Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540759883

Jan Holub, Jan Zdarek (2007) Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers ... Computer Science and General Issues); Springer; 354076335X

Alexander Gelbukh, Alexander Gelbukh, AEUngel Fernando Kuri Morales (2007) MICAI 2007: Advances in Artificial Intelligence: 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, ... / Lecture Notes in Artificial Intelligence); Springer; 3540766308

Zhong Shao (2007) Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540766367

Corrado Priami (2007) Transactions on Computational Systems Biology VIII (Lecture Notes in Computer Science / Transactions on Computational Systems Biology) (v. 8); Springer; 3540766383

Mehmet A. Orgun, John Thornton (2007) AI 2007: Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3540769269

V. Arvind, Sanjiva Prasad (2007) FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007, ... Computer Science and General Issues); Springer; 3540770496

Larry J. Gerstein (2007) Introduction to Mathematical Structures and Proofs; Springer; 3540780440

Ralf Kromer (2007) Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies); Birkhauser Basel; 376437523X

Dongming Wang, Li-Hong Zhi (2007) Symbolic-Numeric Computation (Trends in Mathematics); Birkhauser Basel; 3764379839

Jean-Yves Beziau (2007) Logica Universalis: Towards a General Theory of Logic; Birkhauser Basel; 3764383534

Goulnara N. Arzhantseva, Goulnara N. Arzhantseva, Laurent Bartholdi, Jose Burillo, Enric Ventura (2007) Geometric Group Theory: Geneva and Barcelona Conferences (Trends in Mathematics); Birkhauser Basel; 3764384115

Rajeev Namboothiri (2007) Drayage Operations at Seaports; VDM Verlag Dr. Mueller e.K.; 3836421976

Frank Ramsey (2007) The Foundations of Mathematics; VDM Verlag Dr. Mueller e.K.; 3865508146

D.M. Gabbay (2007) Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics (Synthese Library); Springer; 9027706565

R.E. Grandy (2007) Advanced Logic for Applications (Synthese Library); Springer; 9027707812

R.E. Grandy (2007) Advanced Logic for Applications (Synthese Library); Springer; 9027710341

Ivan Rival (2007) Ordered Sets (NATO Science Series C: (closed)); Springer; 9027713960

Wiktor Marek, Janusz Onyszkiewicz (2007) Elements of Logic and Foundations of Mathematics in Problems; Springer; 9027721319

Leon O. Chua (2007) A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science (2 Volume Set) (World Scientific Series on Nonlinear Science, Volume 57); World Scientific Publishing Company; 9812566422

Leon O. Chua (2007) A Nonlinear Dynamics Perspective Wolfram's New Kind of Science, Vol. 2 (World Scientific Series on Nonlinear Science: Series A); World Scientific Publishing Company; 9812569766

Gregory J. Chaitin (2007) THINKING ABOUT GODEL AND TURING: Essays on Complexity, 1970-2007; World Scientific Publishing Company; 9812708952

Gregory J. Chaitin (2007) THINKING ABOUT GODEL AND TURING: Essays on Complexity, 1970-2007; World Scientific Publishing Company; 9812708960

Bob Dumas, John McCarthy (2006) Transition to Higher Mathematics: Structure and Proof (Walter Rudin Student Series in Advanced Mathematics); McGraw-Hill Science/Engineering/Math; 007353353X

Ted Sundstrom (2006) Mathematical Reasoning: Writing and Proof (2nd Edition); Prentice Hall; 0131877186

Allon Percus, Gabriel Istrate, Cristopher Moore (2006) Computational Complexity and Statistical Physics (Santa Fe Institute Studies in the Sciences of Complexity Proceedings); Oxford University Press, USA; 0195177371

Roman Kossak, Jim Schmerl (2006) The Structure of Models of Peano Arithmetic (Oxford Logic Guides); Oxford University Press, USA; 0198568274

Steve Awodey (2006) Category Theory (Oxford Logic Guides); Oxford University Press, USA; 0198568614

Ettore Carruccio (2006) Mathematics and Logic in History and in Contemporary Thought; Aldine Transaction; 0202308502

Mario Livio (2006) The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry; Souvenir Press Ltd; 0285637436

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman (2006) Introduction to Automata Theory, Languages, and Computation (3rd Edition); Addison Wesley; 0321462254

Ganesh Gopalakrishnan (2006) Computation Engineering: Applied Automata Theory and Logic; Springer; 0387244182

Jonathan Lawry (2006) Modelling and Reasoning with Vague Concepts (Studies in Computational Intelligence); Springer; 0387290567

Peter Komjath, Vilmos Totik (2006) Problems and Theorems in Classical Set Theory (Problem Books in Mathematics); Springer; 038730293X

Wolfgang Rautenberg (2006) A Concise Introduction to Mathematical Logic (Universitext); Springer; 0387302948

J. Koppitz, K. Denecke (2006) M-Solid Varieties of Algebras (Advances in Mathematics); Springer; 0387308040

Gary D. Hachtel, Fabio Somenzi (2006) Logic Synthesis and Verification Algorithms; Springer; 0387310045

Gautam Appa, Leonidas Pitsoulis, H.Paul Williams (2006) Handbook on Modelling for Discrete Optimization (International Series in Operations Research & Management Science); Springer; 0387329412

Gautam Appa (2006) Handbook on Modelling for Discrete Optimization; Springer; 0387329420

Douglas S. Bridges, Luminita Simona Vita (2006) Techniques of Constructive Analysis (Universitext); Springer; 038733646X

David Cox, John Little, Donal O'Shea (2006) Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics); Springer; 0387946802

Rebecca Goldstein (2006) Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries); W.W. Norton & Co.; 0393327604

Dov M. Gabbay, John Woods (2006) Logic and the Modalities in the Twentieth Century, Volume 7 (Handbook of the History of Logic); North Holland; 0444516220

Elie Sanchez (2006) Fuzzy Logic and the Semantic Web (Capturing Intelligence); Elsevier Science; 0444519483

Roger Duncan Maddux (2006) Relation Algebras, Volume 150 (Studies in Logic and the Foundations of Mathematics); Elsevier Science; 0444520139

Morten Heine Sorensen M.Sc Ph.D, Pawel Urzyczyn prof. dr hab. (2006) Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics); Elsevier Science; 0444520775

Joseph Mazur (2006) Euclid in the Rainforest: Discovering Universal Truth in Logic and Math; Plume; 0452287839

Richard J. Rossi (2006) Theorems, Corollaries, Lemmas, and Methods of Proof (Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts); Wiley-Interscience; 0470042958

Paul Zeitz (2006) The Art and Craft of Problem Solving; Wiley; 0471789011

Theodore G. Faticoni (2006) The Mathematics of Infinity: A Guide to Great Ideas (Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts); Wiley-Interscience; 0471794325

Mark Zegarelli (2006) Logic For Dummies (For Dummies (Math & Science)); For Dummies; 0471799416

Louis Couturat (2006) The Algebra of Logic (Phoenix Edition); Dover Publications; 0486446387

A. B. Slomson, J. L. Bell (2006) Models and Ultraproducts: An Introduction; Dover Publications; 0486449793

Wilfrid Hodges (2006) Building Models by Games; Dover Publications; 0486450171

Joel W. Robbin (2006) Mathematical Logic: A First Course (Dover Books on Mathematics); Dover Publications; 048645018X

Robert Goldblatt (2006) Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics); Dover Publications; 0486450260

John Venn (2006) The Logic of Chance (Dover Books on Mathematics); Dover Publications; 0486450554

Joseph J. Rotman (2006) Journey into Mathematics: An Introduction to Proofs (Dover Books on Mathematics); Dover Publications; 0486453065

Steven Galovich (2006) Doing Mathematics: An Introduction to Proofs and Problem-Solving; Brooks Cole; 0495108162

Helena M. Pycior (2006) Symbols, Impossible Numbers, and Geometric Entanglements: British Algebra through the Commentaries on Newton's Universal Arithmetick; Cambridge University Press; 0521027403

James A. Anderson (2006) Automata Theory with Modern Applications; Cambridge University Press; 0521613248

Daniel J. Velleman (2006) How to Prove It: A Structured Approach; Cambridge University Press; 0521675995

James A. Anderson (2006) Automata Theory with Modern Applications; Cambridge University Press; 0521848873

Daniel J. Velleman (2006) How to Prove It: A Structured Approach; Cambridge University Press; 0521861241

Dietz (2006) Logic Statistical Reasoning; Wadsworth; 0534594271

Gregory Battle (2006) An Introduction To Moore-Penrose Rings: Volume I; iUniverse, Inc.; 0595378064

Richard L. Epstein, Leslaw W. Szczerba (2006) Classical Mathematical Logic: The Semantic Foundations of Logic; Princeton University Press; 0691123004

William G. Faris (2006) Diffusion, Quantum Theory, and Radically Elementary Mathematics. (MN-47) (Mathematical Notes); Princeton University Press; 0691125457

Heidi Smith (2006) How to Pass Numerical Reasoning Tests: A Step-By-Step Guide to Learning Basic Numeracy Skills; Intermediate Level; Kogan Page; 0749447966

Dr. Michael J. Smithson, Jay Verkuilen (2006) Fuzzy Set Theory: Applications in the Social Sciences (Quantitative Applications in the Social Sciences); Sage Publications, Inc; 076192986X

Fredrick A. Collins (2006) Rapid Math Without A Calculator; Citadel; 080652779X

Hourya Benis Sinaceur, F. Bourgoin (2006) Fields and Models: From Sturm to Tarski and Robinson; Birkhauser; 0817641149

Benjamin Fine, Gerhard Rosenberger (2006) Number Theory: An Introduction via the Distribution of Primes; Birkhauser Boston; 0817644725

Titu Andreescu, Dorin Andrica, Zuming Feng (2006) 104 Number Theory Problems: From the Training of the USA IMO Team; Birkhauser Boston; 0817645276

Andre Weil (2006) Number Theory: An approach through history from Hammurapi to Legendre (Modern Birkhauser Classics); Birkhauser Boston; 0817645659

Benson Farb, Benson Farb (2006) Problems on Mapping Class Groups And Related Topics (Proceedings of Symposia in Pure Mathematics); American Mathematical Society; 0821838385

Noam Greenberg (2006) The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Memoirs of the American Mathematical Society, No. 854); American Mathematical Society; 0821838857

Vladimir Pestov (2006) Dynamics of Infinite-dimensional Groups: The Ramsey-dvoretzky-milman Phenomenon (University Lecture Series); American Mathematical Society; 0821841378

Paul R. Halmos (2006) Algebraic Logic (AMS Chelsea Publishing); American Mathematical Society; 0821841386

William Craig (2006) Semigroups Underlying First-order Logic (Memoirs of the American Mathematical Society); American Mathematical Society; 0821841491

John Venn (2006) Symbolic Logic: Second Edition, Revised and Rewritten (AMS Chelsea Publishing); American Mathematical Society; 0821841998

Victoria W. Reitz (2006) Your Checking Account: Lessons in Personal Banking; J Weston Walch; 0825159148

Stephen M. Buckley (2006) Fractals and Real Dynamical Systems; Logic Press; 0954426967

Alexander S. Karpenko (2006) Lukasiewicz's Logics And Prime Numbers; Luniver Press; 0955117038

David DeVidi, Tim Kenyon (2006) A Logical Approach to Philosophy: Essays in Honour of Graham Solomon (The Western Ontario Series in Philosophy of Science); Springer; 1402035330

Emily Carson, Renate Huber (2006) Intuition and the Axiomatic Method (The Western Ontario Series in Philosophy of Science); Springer; 1402040393

Peter Grzybek (2006) Contributions to the Science of Text and Language: Word Length Studies and Related Issues (Text, Speech and Language Technology); Springer; 1402040679

Maria C. Galavotti (2006) Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle (Vienna Circle Institute Yearbook); Springer; 1402041004

Hossam A. Gabbar (2006) Modern Formal Methods and Applications; Springer; 1402042221

Enrico Giunchiglia, Toby Walsh (2006) SAT 2005: Satisfiability Research in the Year 2005; Springer; 1402045522

Pallab Dasgupta (2006) A Roadmap for Formal Property Verification; Springer; 1402047576

Johan van Benthem, Johan van Benthem;Gerhard Heinzmann;Manuel Rebuschi;Henk Visser (2006) The Age of Alternative Logics (Logic, Epistemology, and the Unity of Science); Springer; 1402050119

Bart Van Kerkhove, Jean Paul van Bendegem (2006) Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education (Logic, Epistemology, and the Unity of Science); Springer; 140205033X

Mark van Atten (2006) Brouwer meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library); Springer; 1402050860

John Peterson, Robert D. Smith (2006) Introductory Technical Mathematics; Delmar Cengage Learning; 1418015431

Philip J. Davis (2006) Mathematics And Common Sense: A Case of Creative Tension; AK Peters; 1568812701

Dave Marker, Margit Messmer, Anand Pillay (2006) Model Theory of Fields, Second Edition (Lecture Notes in Logic); A K Peters, Ltd.; 1568812817

Dave Marker, Margit Messmer, Anand Pillay (2006) Model Theory of Fields, Second Edition (Lecture Notes in Logic); A K Peters, Ltd.; 1568812825

Nigel J. Cutland, Mauro Di Nasso, David A. Ross (2006) Nonstandard Methods and Applications in Mathematics (Lecture Notes in Logic); A K Peters, Ltd.; 1568812914

Nigel J. Cutland, Mauro Di Nasso, David A. Ross (2006) Nonstandard Methods and Applications in Mathematics (Lecture Notes in Logic); A K Peters, Ltd.; 1568812922

Viggo Stoltenberg-Hansen, Logic Colloquium, Jouko Vaananen, Jouko Vaananen (2006) Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic); Association for Symbolic Logic; 1568812930

Ali Enayat, Mojtaba Moniri, Iraj Kalantari (2006) Logic in Tehran: Proceedings of the Workshop And Conference on Logic, Algebra, And Arithmetic, October 18-22, 2003 (Lecture Notes in Logic); Association for Symbolic Logic; 1568812957

Ali Enayat, Iraj Kalantari, Mojtaba Moniri (2006) Logic in Tehran: Proceedings of the Workshop And Conference on Logic, Algebra, And Arithemtic, Held October 18-22, 2003 (Lecture Notes in Logic); Association for Symbolic Logic; 1568812965

Logic Colloquium 0, Wolfram Pohlers, Colloquium Logicum 200 (2006) Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And the Colloquium Logicum, Held in Munster, Germany, August 3 (Lecture Notes in Logic); Association for Symbolic Logic; 1568813007

Logic Colloquium 0, Wolfram Pohlers, Colloquium Logicum 200 (2006) Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, (Lecture Notes in Logic); Association for Symbolic Logic; 1568813015

Ross Brady (2006) Universal Logic (Center for the Study of Language and Information - Lecture Notes); Center for the Study of Language and Inf; 1575862565

Thomas Bolander, Vincent F. Hendricks, Stig Andur Pedersen (2006) Self-Reference (Center for the Study of Language and Information - Lecture Notes); Center for the Study of Language and Inf; 1575865157

Charles J. Colbourn, Jeffrey H. Dinitz (2006) Handbook of Combinatorial Designs, Second Edition (Discrete Mathematics and Its Applications); Chapman & Hall/CRC; 1584885068

Hung T. Nguyen (2006) An Introduction to Random Sets; Chapman & Hall/CRC; 158488519X

Adrian I. Ban (2006) Intuitionistic Fuzzy Measures: Theory And Applications; Nova Science Publishers; 1594549117

Leon Petrosjan, Vladmir V. Mazalov (2006) Game Theory and Applications (v. 12); Nova Science Pub Inc; 1600214681

M. K. Das (2006) Discrete Mathematical Structures for Computer Scientists And Engineers; Alpha Science International, Ltd; 1842652982

John O'Donnell, Cordelia Hall, Rex Page (2006) Discrete Mathematics Using a Computer; Springer; 1846282411

Massimo Macucci (Editor) (2006) Quantum Cellular Automata: Theory, Experimentation And Prospects; Imperial College Press; 1860946321

G Governatori, I Hodkinson, Y Venema (2006) Advances in Modal Logic, Volume 6; College Publications; 1904987206

L Magnani (2006) Model Based Reasoning in Science and Engineering (Logic); College Publications; 1904987230

S Artemov, H Barringer, A , A Garcez (2006) We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1; College Publications; 1904987257

B Loewe, V Peckhaus, T Rasch (2006) Foundations of the Formal Sciences. The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems)) (v. 4); College Publications; 190498729X

H Broersma, S Dantchev, M Johnson (2006) Algorithms and Complexity in Durham 2006: Proceedings of the Second ACiD Workshop; College Publications; 1904987389

Alla Sheffer, Emil Praun, Kenneth Rose (2006) MESH PARAMETERIZATION METHODS AND THEIR APPLICATIONS (Foundations and Trends(R) in Computer Graphics and Vision(R)); Now Publishers Inc; 1933019433

Giacomo Della Riccia, Didier Dubois, Rudolf Kruse, Hans-Joachim Lenz (2006) Decision Theory and Multi-Agent Planning (CISM International Centre for Mechanical Sciences); Springer; 3211317872

J. Flum, M. Grohe (2006) Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series); Springer; 3540299521

Shichao Zhang, Ray Jarvis (2006) AI 2005: Advances in Artificial Intelligence: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 3540304622

R. Ramanujam, Sandeep Sen (2006) FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, ... Computer Science and General Issues); Springer; 3540304959

Geoff Sutcliffe, Andrei Voronkov (2006) Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence); Springer; 354030553X

Freek Wiedijk (2006) The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540307044

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (2006) Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in ... Computer Science and General Issues); Springer; 354030911X

Rudolph Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (2006) Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540309489

Horst Herrlich (2006) Axiom of Choice (Lecture Notes in Mathematics); Springer; 3540309896

Vito Di Gesu, Francesco Masulli, Alfredo Petrosino (2006) Fuzzy Logic and Applications: 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540310193

Jacques Farre, Igor Litovsky, Sylvain Schmitz (2006) Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers ... Computer Science and General Issues); Springer; 3540310231

H. Ehrig, K. Ehrig, U. Prange, G. Taentzer (2006) Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series); Springer; 3540311874

Hoon Hong, Dongming Wang (2006) Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 354031332X

Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner (2006) Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues); Springer; 3540314288

Rokia Missaoui, Jurg Schmid (2006) Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540322035

Alexander Gelbukh (2006) Computational Linguistics and Intelligent Text Processing: 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings ... Computer Science and General Issues); Springer; 3540322051

Bruno Durand, Wolfgang Thomas (2006) STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540323015

Ervin Gyori, Gyula O.H. Katona, Laszlo Lovasz (2006) More Sets, Graphs and Numbers: A Salute to Vera Sos and Andras Hajnal (Bolyai Society Mathematical Studies); Springer; 3540323775

Isabelle Bloch, Alfredo Petrosino, Andrea G.B. Tettamanzi (2006) Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540325298

Patricia M. Hill (2006) Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture ... Computer Science and General Issues); Springer; 3540326545

Vincenc Torra, Yasuo Narukawa, Aida Valls, Josep Domingo-Ferrer (2006) Modeling Decisions for Artificial Intelligence: Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540327800

Benedikt Bollig (2006) Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series); Springer; 3540329226

Luca Aceto, Anna Ingolfsdottir (2006) Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences ... Computer Science and General Issues); Springer; 3540330453

Alan Mycroft, Andreas Zeller (2006) Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS ... Computer Science and General Issues); Springer; 354033050X

Peter Sestoft (2006) Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 354033095X

Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri (2006) Neural Nets: 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, ... Computer Science and General Issues); Springer; 3540331832

Peter Seibt (2006) Algorithmic Information Theory: Mathematics of Digital Information Processing (Signals and Communication Technology); Springer; 3540332189

Wendy MacCaull, Michael Winter, Ivo Duntsch (2006) Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications ... Computer Science and General Issues); Springer; 3540333398

Joaquin Quinonero-Candela, Ido Dagan, Bernardo Magnini, Florence d'Alche-Buc (2006) Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine ... / Lecture Notes in Artificial Intelligence); Springer; 3540334270

Masami Hagiya, Philip Wadler (2006) Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540334386

Daniel S. Yeung, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan (2006) Advances in Machine Learning and Cybernetics: 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540335846

Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake (2006) Modeling and Retrieval of Context: Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540335870

Francesca Toni, Paolo Torroni (2006) Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540339965

N. Bourbaki (2006) Theorie des ensembles (French Edition); Springer; 3540340343

Renata Vieira, Paulo Quaresma, Maria das Gracas Volpe Nunes, Nuno J. Mamede, Claudia Oliveira, Maria Carmelita Dias (2006) Computational Processing of the Portuguese Language: 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540340459

Alessandra Carbone, Niles A. Pierce (2006) DNA Computing: 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540341617

Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi (2006) Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, ... / Lecture Notes in Artificial Intelligence); Springer; 354034215X

Christian Kop, Gunther Fliedl, Heinrich C. Mayr, Elisabeth Metais (2006) Natural Language Processing and Information Systems: 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, ... Applications, incl. Internet/Web, and HCI); Springer; 3540346163

Susanna Donatelli, P.S. Thiagarajan (2006) Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... Computer Science and General Issues); Springer; 3540346996

Hans Ulrich Simon, Gabor Lugosi (2006) Learning Theory: 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540352945

N. Bourbaki (2006) Theories spectrales: Chapitres 1-2 (French Edition); Springer; 3540353305

Oscar H. Ibarra, Zhe Dang (2006) Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 354035428X

Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer (2006) Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Springer; 354035462X

Tarmo Uustalu (2006) Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540356312

Michael Johnson, Varmo Vene (2006) Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (Lecture Notes ... / Programming and Software Engineering); Springer; 3540356339

Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek Zurada (2006) Artificial Intelligence and Soft Computing ICAISC 2006: 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence); Springer; 3540357483

Lou Goble, John-Jules Ch. Meyer (2006) Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July ... / Lecture Notes in Artificial Intelligence); Springer; 3540358420

Henrik Scharfe, Pascal Hitzler, Peter Ohrstrom (2006) Conceptual Structures: Inspiration and Application: 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, ... / Lecture Notes in Artificial Intelligence); Springer; 3540358935

Dietlinde Lau (2006) Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics); Springer; 3540360220

Guoyin Wang, James F. Peters, Andrzej Skowron, Yiju Yao (2006) Rough Sets and Knowledge Technology: First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings (Lecture Notes in Computer Science); Springer; 3540362975

Myung-Soo Kim, Kenji Shimada (2006) Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 354036711X

F. Acar Savaci (2006) Artificial Intelligence and Neural Networks: 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence); Springer; 3540367136

Frank Pfenning (2006) Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues); Springer; 3540368345

Thomas Roth-Berghofer, Mehmet H. Goker, H. Altay Guvenir (2006) Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540368434

Guerino B. Mazzola, Gerard Milmeister, Jody Weissmann (2006) Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext) (v. 1); Springer; 3540368736

Armin Biere, Carla P. Gomes (2006) Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture ... Computer Science and General Issues); Springer; 3540372067

Oscar H. Ibarra, Hsu-Chun Yen (2006) Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings (Lecture Notes in ... Computer Science and General Issues); Springer; 354037213X

Jayadev Misra, Tobias Nipkow, Emil Sekerinski (2006) FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540372156

De-Shuang Huang, Kang Li, George William Irwin (2006) Computational Intelligence: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540372741

Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala (2006) Advances in Natural Language Processing: 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence); Springer; 3540373349

Thomas Ball, Robert B. Jones (2006) Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues); Springer; 354037406X

Kwangkeun Yi (2006) Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering); Springer; 3540377565

Rastislav Kralovic, Pawel Urzyczyn (2006) Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings ... Computer Science and General Issues); Springer; 3540377913

Renate A. Schmidt (2006) Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop ... Computer Science and General Issues); Springer; 3540378731

Michael Kohlhase (2006) OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540378979

Oliviero Stock, Marco Schaerf (2006) Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence); Springer; 3540379010

Hans L. Bodlaender, Michael A. Langston (2006) Parameterized and Exact Computation: Second International Workshop, IWPEC 2006, Zurich, Switzerland, September 13-15, 2006, Proceedings (Lecture Notes ... Computer Science and General Issues); Springer; 3540390987

James F. Peters, Andrzej Skowron (2006) Transactions on Rough Sets V (Lecture Notes in Computer Science / Transactions on Rough Sets) (v. 5); Springer; 354039382X

Jose Julio Alferes, James Bailey, Wolfgang May, Uta Schwertel (2006) Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI); Springer; 3540395865

Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (2006) Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings (Lecture Notes in Computer Science ... / Lecture Notes in Artificial Intelligence); Springer; 354039625X

Jaques Calmet, Tetsuo Ida, Dongming Wang (2006) Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence); Springer; 3540397280