Computer Logic - Books

· An Introduction to Fuzzy Logic Applications
· Apple Pro Training Series: Logic 6
· Basic Proof Theory
· Computability: Computable Functions Logic and the Foundations of Math
· Computational Complexity
· Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997: P Roceedings (Lecture Notes in Computer Science, 1289)
· Computational Logic: Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski (Lecture Notes in Computer Science, 2408)
· Computer Logic Design
· Computer Science Logic: 10th International Workshop, Csl 96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996: Proceedings (Lecture Notes in Computer Science, 1258)
· Computer Science Logic: 12th International Workshop, Csl '98: Annual Conference of the Eacsl, Brno, Czech Republic, August, 1998: Proceedings (Lecture Notes in Computer Science, 1584)
· Computer Science Logic: 13th International Workshop, Csl'99, 8th Annual Conference of Eacsl, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science, 1683)
· Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science, Vol)
· Computer Science Logic: 8th Workshop, Csl '94 Kazimierz, Poland, September 25-30, 1994 Selected Papers (Lecture Notes in Computer Science No 933)
· Computers and Society
· Conceptual Structures: Logical, Linguistic, and Computational Issues
· Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer S)
· Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92 Pont-A-Mousson, France, July 8-10, 1992 Proceedings (Lecture Notes in Comp)
· Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science, Vol 440)
· Decision Points: Boolean Logic for Computer Users and Beginning Online Searchers
· Deduction: Automated Logic
· Deductive Program Design (NATO Asi Series. Series F, Computer and Systems Sciences, No. 152.)
· Discrete Structures, Logic, and Computability
· Dynamic Logic (Foundations of Computing)
· Efficient Processing With Constraint-Logic Grammars Using Grammar Compilation
· Extensions of Logic Programming: International Workshop Tubingen Frg, December 8-10, 1989 Proceedings (Lecture Notes in Artificial Intelligence, Vol)
· Field-Programmable Gate Arrays
· First Steps in Modal Logic
· Foundations of Software Science and Computation Structures: Second International Conference, Fossacs'98 Held As Part of the Joint European Conferences on Theory and Practic of Software, Etaps'99, Amsterdam, the (Lecture Notes in Computer Science, 1578)
· Friendly Introduction to Mathematical Logic, A
· From Logic to Logic Programming (Foundations of Computing)
· Functional and Logic Programming: 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999: Proceedings (Lecture Notes in Computer Science, 1722)
· Fuzzy Logic for Beginners
· Fuzzy Logic: Intelligence, Control, and Information
· Fuzzy Sets and Fuzzy Logic: Theory and Applications
· Handbook of Automated Reasoning
· Handbook of Defeasible Reasoning and Uncertainty Management Systems: Agent-Based Defeasible Control in Dynamic Environments
· Handbook of Logic in Computer Science: Background Computational Structures
· Handbook of Logic in Computer Science: Semantic Modelling (Handbook of Logic in Computer Science, Vol 4)
· Incomplete Information: Structure, Inference, Complexity
· Inductive Logic Programming
· Information Flow : The Logic of Distributed Systems
· Introduction to Circuit Complexity: A Uniform Approach (Texts in Theoretical Computer Science)
· Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems
· Introductory Logic & Sets for Computer Scientists
· KR Proceedings 1992
· Live Data Structures in Logic Programs (Lecture Notes in Computer Science, No 675)
· Logic and Language Models for Computer Science
· Logic and Learning
· Logic and Machines: Decision Problems and Complexity
· Logic Design of Digital Systems
· Logic For Applications
· Logic Grammars (Symbolic Computation and Artificial Intelligence)
· Logic in Computer Science: Modelling and Reasoning about Systems
· Logic of Programs
· Logic, Language, Formalism, Informalism
· Logical Derivation of Computer Programs
· Logical Problem SOlving
· Logics of Programs: Lecture Notes in Computer Science
· Machinations : Computational Studies of Logic, Language, and Cognition
· Managing Computer Networks: A Case-Based Reasoning Approach
· Mathematical Logic for Computer Science (Series in Computer Science, Vol 47)
· Modal and Temporal Properties of Processes
· Morality and Machines
· Non-Monotonic Extensions of Logic Programming: 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996: Selected Papers (Lectures Notes in Artificial Intelligence)
· Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)
· Nonmonotonic Reasoning
· Ones and Zeros : Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets
· Quantum Theoretic Machines
· Refinement Calculus: A Systematic Introduction (Graduate Texts in Computer Science)
· Reflection in Rewriting Logic : Metalogical Foundations and Metaprogramming Applications
· Software Blueprints: Lightweight Uses of Logic In Conceptual Modelling
· Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht (Lecture Notes in Computer Science, 1261)
· Substructural Logics (Studies in Logic and Computation, 2)
· Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals
· The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
· The Fuzzy Systems Handbook: A Practitioner's Guide to Building, Using, & Maintaining Fuzzy Systems
· Tractable Reasoning in Artificial Intelligence (Lecture Notes in Artifical Intelligence)
· Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)