Knowledgebase
jasa-cari-buku.com > Jasa Cari Buku > Knowledgebase

Search help:


Data Buku Logic Models Books

Solution

Data Buku Logic Models Books

 

    Author(s)    Title    Publisher    Year
    Vojislav Kecman    Complex Adaptive Systems    The MIT Press    2001
        Learning and Soft Computing: Support Vector Machines, Neural Networks and Fuzzy Logic Models [1 ed.]       
        0262112558, 9780585393001, 9780262112550       
    Xavier Caicedo, Carlos Montenegro    Lecture notes in pure and applied mathematics 203    Marcel Dekker    1999
        Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota [1 ed.]       
        0824719700, 9780824719708, 9780585330501       
    Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish    The Morgan Kaufmann Series in Data Management Systems    Morgan Kaufmann    2005
        Database Modeling and Design: Logical Design [4 ed.]       
        0126853525, 9780126853520, 9780080470771       
    Michael Makkai, Gonzalo E. Reyes    Lecture notes in mathematics ; 611    Springer-Verlag    1977
        First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories [1st ed.]       
        9780387084398, 0-387-08439-8       
    J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)    Lecture Notes in Mathematics 834    Springer-Verlag Berlin Heidelberg    1980
        Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979 [1 ed.]       
        9780387102696, 0-387-10269-8       
    Michael Huth, Mark Ryan    Logic in computer science: modelling and reasoning about systems [2nd ed]    Cambridge University Press    2004
        052154310X, 9780521543101       
    Melvin Fitting    Studies in logic and the foundations of mathematics    North-Holland Pub. Co    1969
        Intuitionistic logic, model theory and forcing [1st ed.]       
        0720422566, 9780720422566       
    H. Jerome Keisler    Studies in Logic and the Foundations of Mathematics 62    North-Holland Pub. Co    1971
        Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers       
        0720422582, 9780720422580       
    G Kreisel, J L Krivine    Stud. in Logic & Maths.    North-Holland Pub. Co.    1967
        Elements of mathematical logic (model theory) [NH ed.]       
        0720422655, 9780720422658       
    John T. Baldwin (auth.), John T. Baldwin (eds.)    Lecture Notes in Mathematics 1292    Springer-Verlag Berlin Heidelberg    1987
        Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 [1 ed.]       
        9780387186740, 0387186743, 3540186743       
    M. Makkai, G.E. Reyes    Lecture Notes in Mathematics    Springer    1977
        First order categorical logic. Model-theoretical methods in the theory of topoi and related categories [1 ed.]       
        3540084398, 9783540084396       
    J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)    Lecture Notes in Mathematics 834    Springer-Verlag Berlin Heidelberg    1980
        Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979 [1 ed.]       
        9783540102694, 3540102698       
    Asli Celikyilmaz, I. Burhan Türksen (auth.)    Studies in Fuzziness and Soft Computing 240    Springer-Verlag Berlin Heidelberg    2009
        Modeling uncertainty with fuzzy logic: with recent theory and applications [1 ed.]       
        3540899235, 9783540899235       
    Michael Huth, Mark Ryan, M. Huth, M. Ryan    Logic in computer science: modelling and reasoning about systems    Cambridge University Press    1999
        9780521656023, 0521656028       
    John N. Crossley (ed.)    Studies in Logic and the Foundations of Mathematics, Volume 46    North-Holland Publishing Co.    1967
        Sets, Models and Recursion Theory (Logic Colloquium'65)       
    Martin Otto    Lecture Notes in Logic 9    Springer    1997
        Bounded variable logics and counting: A study in finite models       
        3540620370, 9783540620372       
    J. Barwise, S. Feferman, J. Baldwin    Perspectives in Mathematical Logic    Springer    1985
        Model-theoretic logics [1 ed.]       
        9780387909363, 9783540909361, 0387909362, 3540909362       
    Asli Celikyilmaz, I. Burhan Türksen (auth.)    Studies in Fuzziness and Soft Computing 240    Springer-Verlag Berlin Heidelberg    2009
        Modeling Uncertainty with Fuzzy Logic: With Recent Theory and Applications [1 ed.]       
        978-3-540-69080-1, 978-3-540-69092-4       
    Manuel J. Bellido, Jorge Juan, Manuel Valencia    Logic-timing Simulation And the Degradation Delay Model    Imperial College Press    2006
        9781860945892, 1860945899       
    Benedikt Bollig    Texts in Theoretical Computer Science. An Eatcs Series    Springer    2006
        Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic [1 ed.]       
        3540329226, 9783540329220       
    G Kreisel, J L Krivine    Stud. in Logic & Maths.    North-Holland Pub. Co.    1967
        Elements of Mathematical Logic: Model Theory (Stud. in Logic & Maths.)       
        0720422655, 9780720422658       
    Vojislav Kecman    Complex Adaptive Systems    The MIT Press    2001
        Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models [1 ed.]       
        9780262112550, 0262112558       
    Vojislav Kecman    Complex Adaptive Systems    The MIT Press    2001
        Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models [1 ed.]       
        9780262112550, 0-262-1-1255-8       
    Asli Celikyilmaz, I. Burhan Türksen    Studies in Fuzziness and Soft Computing 240    Springer    2009
        Modeling Uncertainty with Fuzzy Logic: With Recent Theory and Applications       
        3540899235, 9783540899235, 9783540690801, 9783540899266, 9783540690924, 9783540899679       
    Melvin Fitting    Studies in Logic and the Foundations of Mathematics    North-Holland Pub.    1969
        Intuitionistic logic model theory and forcing       
    S. Barry Cooper, John K. Truss    London Mathematical Society Lecture Note Series    Cambridge University Press    1999
        Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997       
        0521635500, 9780521635509, 9780511565670, 0511565674       
    Robert G. Jeroslow$ (Eds.)    Annals of Discrete Mathematics 40    North-Holland    1989
        Logic-Based Decision Support: Mixed Integer Model Formulation       
        978-0-444-87119-0       
    Arruda A.I., da Costa N.C.A., Chuaqui R. (eds.)    Studies in Logic and the Foundations of Mathematics, Volume 89    Elsevier Science    1977
        Non-classical logics, model theory and computability: Proceedings Campinas, 1976       
        9780720407525, 0720407524       
    S. Barry Cooper, John K. Truss    LMSL259    CUP    1999
        Models and computability: Invited papers from Logic Colloquium '97       
        9780521635509, 0521635500       
    Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish    The Morgan Kaufmann Series in Data Management Systems    Morgan Kaufmann    2005
        Database Modeling and Design: Logical Design, 4th Edition (The Morgan Kaufmann Series in Data Management Systems) [4 ed.]       
        9780126853520, 0126853525       
    Terry Halpin    The Morgan Kaufmann Series in Data Management Systems    Morgan Kaufmann    2001
        Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design (The Morgan Kaufmann Series in Data Management Systems)       
        9781558606722, 1558606726       
    Robert G. Jeroslow$ (Eds.)    Annals of Discrete Mathematics 40    NH    1989
        Logic-Based Decision Support: Mixed Integer Model Formulation       
        978-0-444-87119-0       
    Mituo Taketani, Masayuki Nagasaki    Formation and Logic of Quantum Mechanics: Formation of Atomic Models    World Scientific Pub Co (    2002
        9810246013, 9789810246013       
    A.I. Arruda, et al    Studies in logic and the foundations of mathematics 89    Elsevier Science    1977
        Non-classical logics, model theory and computability.       
        9780720407525, 0720407524       
    Peter Molzberger (auth.), J. D. Becker, I. Eisele, F. W. Mündemann (eds.)    Lecture Notes in Computer Science 565    Springer-Verlag Berlin Heidelberg    1991
        Parallelism, Learning, Evolution: Workshop on Evolutionary Models and Strategies Neubiberg, Germany, March 10–11, 1989 Workshop on Parallel Processing: Logic, Organization, and Technology — WOPPLOT 89 Wildbad Kreuth, Germany, July 24–28, 1989 Proceedings [1 ed.]       
        3540550275, 9783540550273       
    John N. Crossley    Studies in Logic and the Foundations of Mathematics 46    North-Holland Publishing Co    1967
        Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965       
    Henry Hamburger, Dana Richards    Logic and Language Models for Computer Science    Prentice Hall    2002
        0130654876, 9780130654878       
    Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish    The Morgan Kaufmann Series in Data Management Systems    Morgan Kaufmann    2005
        Database Modeling and Design: Logical Design, 4th Edition [4 ed.]       
        0126853525, 9780126853520       
    Michael Huth, Mark Ryan    Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition [2 ed.]        2004
        052154310X, 9780521543101       
    Yun-Heh Chen-Burger, Dave Robertson    Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing) [1st Edition.]    Springer    2004
        1852338350, 9781852338350       
    Alan Chmura, J. Mark Heumann    Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) [1 ed.]        2004
        0387229507, 9780387229508, 9780387229621       
    Shawn Hedman    Oxford Texts in Logic, Volume 1    Oxford University Press    2004
        A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity       
        0198529805, 9780198529804, 0198529813, 9780198529811       
    Massimo Alioto, Gaetano Palumbo,    Model and Design of Bipolar and MOS Current-Mode Logic: CML, ECL and SCL Digital Circuits [1 ed.]        2005
        1402028784, 9781402028786, 9781402028885       
    Mituo Taketani, Masayuki Nagasaki    Formation and Logic of Quantum Mechanics 3 Volume Set (Vol. I: The Formation of Atomic Models, Vol. II: The Way to Quantum Mechanics, Vol. III: The Establishment and Logic of Quantum Mechanics) [1st ed.]        2002
        9810246013, 9789810246013, 9789812810113       
    Manuel J. Bellido, Jorge Juan, Manuel Valencia    Logic-timing Simulation And the Degradation Delay Model       
        1-86094-589-9       
    Melvin Fitting    Studies in Logic and the Foundations of Mathematics    Elsevier, Academic Press    1969
        Intuitionistic Logic, Model Theory and Forcing [1st ed.]       
        0720422566, 9780720422566       
    Barbara von Halle, Larry Goldberg    The Decision Model: A Business Logic Framework Linking Business and Technology (IT Management) [1 ed.]        2009
        1420082817, 9781420082814       
    Jeffrey J. P. Tsai, Bing Li    Hybrid Parallel Execution Model for Logic-Based Specification Languages [1st ed.]        2001
        9810240961, 9789810240967, 9789812797964       
    Alan Chmura, J. Mark Heumann    Logical Data Modeling: What it is and How to do it (Integrated Series in Information Systems) [1 ed.]        2004
        0387229507, 9780387229508, 9780387229621       
    Mohammad Jamshidi    Large-Scale Systems: Modeling, Control and Fuzzy Logic [1st ed.]    Prentice Hall    1996
        0131256831, 9780131256835       
    Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)    Lecture Notes in Computer Science 354    Springer-Verlag Berlin Heidelberg    1989
        Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 [1 ed.]       
        354051080X, 9783540510802       
    Hamburger H., Richards D.    Logic and language models for computer science    PH    2002
        0130654876, 9780130654878       
    Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish    Database Modeling and Design, Fifth Edition: Logical Design (The Morgan Kaufmann Series in Data Management Systems)    Morgan Kaufmann    2011
        0123820200, 9780123820204       
    Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish    The Morgan Kaufmann Series in Data Management Systems    Elsevier    2011
        Database Modeling and Design, Fifth Edition: Logical Design [5th Edition]       
        0123820200, 9780123820204       
    Bruno Poizat    Universitext    Springer    2000
        A Course in Model Theory: An Introduction to Contemporary Mathematical Logic [1 ed.]       
        0387986553, 9780387986555       
    Alexander Prestel, Charles N. Delzell (auth.)    Universitext    Springer-Verlag London    2011
        Mathematical Logic and Model Theory: A Brief Introduction [1 ed.]       
        1447121759, 9781447121756       
    Bruno Poizat    Universitext    Springer    2000
        A Course in Model Theory: An Introduction to Contemporary Mathematical Logic [1 ed.]       
        0387986553, 9780387986555       
    Majda Trobok, Nenad Miščević, Berislav Žarnić (eds.)    Logic, Epistemology, and the Unity of Science 25    Springer    2012
        Between Logic and Reality: Modeling Inference, Action and Understanding       
        940072389X, 9789400723894       
    Robert G. Jeroslow$ (Eds.)    Annals of Discrete Mathematics 40    North-Holland    1989
        Logic-Based Decision Support: Mixed Integer Model Formulation       
        978-0-444-87119-0       
    Chris Heunen    Categorical Quantum Models and Logics (Pallas Proefschriften)    Pallas Publications    2009
        9085550246, 9789085550242, 9789048511341, 9048511348       
    Henry Hamburger, Dana Richards    Logic and Language Models for Computer Science       
        130654876       
    Marco Montali    Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Lecture Notes in Business Information Processing) [1st Edition.]    Springer    2010
        364214537X, 9783642145377       
    Alexander Prestel, Charles N. Delzell (auth.)    Universitext    Springer-Verlag London    2011
        Mathematical Logic and Model Theory: A Brief Introduction [1 ed.]       
        1447121759, 9781447121756, 1447121767, 9781447121763       
    Huth M., Ryan M.    Logic in Computer Science: Modelling and Reasoning about Systems - Errata    CUP    1999
    Toby J Teorey; Sam Lightstone; Tom Nadeau     Morgan Kaufmann series in data management systems    Morgan Kaufmann Publishers    2005
        Database modeling and design: logical design [4ed.]       
        9780126853520, 0126853525       
    Teorey T.J., Lightstone S.S., Nadeau T., Jagadish H.V.     Morgan Kaufmann series in data management systems    Morgan Kaufmann    2011
        Database modeling and design: logical design [5ed.]       
        9780123820204, 0123820200, 9780123820211, 0123820219       
    M Huth; Mark Ryan     Logic in Computer Science: Modelling and Reasoning about Systems    Cambridge University Press    1999
        0521652006, 9780521652001, 0521656028, 9780521656023       
    Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)    NATO ASI series., Series F,, Computer and systems sciences ;, no. 13    Springer-Verlag    1985
        Logics and models of concurrent systems       
        0387151818, 9780387151816, 3540151818, 9783540151814       
    Michael Huth; Mark Ryan    Logic in Computer Science : Modelling and Reasoning about Systems [2nd ed]    Cambridge University Press    2004
        9780511264016, 0511264011       
    Toby J Teorey; et al    Morgan Kaufmann series in data management systems    Morgan Kaufmann    2011
        Database modeling and design : logical design [5th ed]       
        9780123820204, 0123820200, 9780123820211, 0123820219       
    Toby J Teorey; Sam Lightstone; Tom Nadeau    Morgan Kaufmann series in data management systems       
        Database modeling & design : logical design [4th ed]       
        9780080470771, 0080470777       
    Toby J Teorey; Sam Lightstone; Tom Nadeau    Morgan Kaufmann series in data management systems       
        Database modeling & design : logical design [4th ed]       
        9780080470771, 0080470777       
    Vojislav Kecman    Complex Adaptive Systems    The MIT Press    2001
        Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models [1 ed.]       
        0262112558, 9780262112550       
    Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)    Handbook of Logic in Computer Science, vol.4: Semantic Modelling    Clarendon Press    1995
        0198537808, 9780198537809       
    H. Jerome Keisler    Studies in logic and the foundations of mathematics 62    North-Holland Publishing    1971
        Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers       
        0720422582, 9780720422580       
    Johan van Benthem    Synthese Library 156    Springer    1983
        The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse [1st ed.]       
        978-94-010-9870-0, 978-94-010-9868-7       
    Julie Carson-Berndsen (auth.)    Text, Speech and Language Technology 5    Springer Netherlands    1998
        Time Map Phonology: Finite State Models and Event Logics in Speech Recognition [1 ed.]       
        978-90-481-4969-8, 978-94-017-3534-6       
    Christian Posthoff, Bernd Steinbach (auth.)    Logic Functions and Equations: Binary Models for Computer Science [1 ed.]    Springer US    2004
        978-1-4419-5261-5, 978-1-4020-2938-7       
    Asli Celikyilmaz, I. Burhan Türksen (auth.)    Studies in Fuzziness and Soft Computing 240    Springer-Verlag Berlin Heidelberg    2009
        Modeling Uncertainty with Fuzzy Logic: With Recent Theory and Applications [1 ed.]       
        978-3-540-89923-5, 978-3-540-89924-2       
    John Woods, Alirio Rosales (auth.), Lorenzo Magnani, Walter Carnielli, Claudio Pizzi (eds.)    Studies in Computational Intelligence 314    Springer-Verlag Berlin Heidelberg    2010
        Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery [1 ed.]       
        978-3-642-15222-1, 978-3-642-15223-8       
    E.D. Solozhentsev (auth.)    Topics in Safety, Risk, Reliability and Quality 20    Springer Netherlands    2012
        Risk Management Technologies: With Logic and Probabilistic Models [1 ed.]       
        978-94-007-4287-1, 978-94-007-4288-8       
    Henry Prakken (auth.)    Law and Philosophy Library 32    Springer Netherlands    1997
        Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law [1 ed.]       
        978-90-481-4928-5, 978-94-015-8975-8       
    Guoqing Chen (auth.)    The Springer International Series on Advances in Database Systems 15    Springer US    1998
        Fuzzy Logic in Data Modeling: Semantics, Constraints, and Database Design [1 ed.]       
        978-1-4613-6822-9, 978-1-4615-4068-7       
    Cornelis Joost van Rijsbergen (auth.), Fabio Crestani, Mounia Lalmas, Cornelis Joost van Rijsbergen (eds.)    The Kluwer International Series on Information Retrieval 4    Springer US    1998
        Information Retrieval: Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information [1 ed.]       
        978-1-4613-7570-8, 978-1-4615-5617-6       
    Dr. Michael Zaus (auth.)    Studies in Fuzziness and Soft Computing 27    Physica-Verlag Heidelberg    1999
        Crisp and Soft Computing with Hypercubical Calculus: New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing [1 ed.]       
        978-3-662-11380-6, 978-3-7908-1879-6       
    Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi (eds.)    Applied Logic Series 25    Springer Netherlands    2002
        Logical and Computational Aspects of Model-Based Reasoning [1 ed.]       
        978-1-4020-0791-0, 978-94-010-0550-0       
    Silvio Ghilardi, Marek Zawadowski    Trends in Logic 14    Springer Netherlands    2002
        Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics [1 ed.]       
        978-90-481-6036-5, 978-94-015-9936-8       
    Ratnesh Kumar, Vijay K. Garg (auth.)    The Springer International Series in Engineering and Computer Science 300    Springer US    1995
        Modeling and Control of Logical Discrete Event Systems [1 ed.]       
        978-1-4613-5931-9, 978-1-4615-2217-1       
    Johan van Benthem    Synthese Library 156    Springer    1983
        The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse [1st ed.]       
        978-94-010-9870-0, 978-94-010-9868-7       
    E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)    NATO ASI Series 13    Springer-Verlag Berlin Heidelberg    1985
        Logics and Models of Concurrent Systems [1 ed.]       
        978-3-642-82455-5, 978-3-642-82453-1       
    Johan van Benthem    Synthese Library 156    Springer    1991
        The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse [2nd ed.]       
        978-90-481-4082-4, 978-94-015-7947-6       
    Hans Kamp, Uwe Reyle (auth.)    Studies in Linguistics and Philosophy 42    Springer Netherlands    1993
        From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory [1 ed.]       
        978-0-7923-1028-0, 978-94-017-1616-1       
    Johan van Benthem (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)    Synthese Library 249    Springer Netherlands    1995
        Quantifiers: Logics, Models and Computation: Volume Two: Contributions [1 ed.]       
        978-90-481-4540-9, 978-94-017-0524-0       
    Michał Krynicki, Marcin Mostowski (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)    Synthese Library 248    Springer Netherlands    1995
        Quantifiers: Logics, Models and Computation: Volume One: Surveys [1 ed.]       
        978-90-481-4539-3, 978-94-017-0522-6       
    Alan Chmura, J. Mark Heumann (auth.)    Integrated Series in Information Systems 5    Springer-Verlag New York    2005
        Logical Data Modeling: What it is and How to do it [1 ed.]       
        978-0-387-22950-8, 978-0-387-22962-1       
    Yun-Heh Chen-Burger MS, MSc, PhD, Dave Robertson PhD (auth.)    Advanced Information and Knowledge Processing    Springer-Verlag London    2005
        Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning [1 ed.]       
        978-1-85233-835-0, 978-1-84628-106-8       
    Roland Fraïssé    Synthese Library 69    Springer    1974
        Course of Mathematical Logic. Volume 2: Model Theory       
        978-90-277-0510-5, 978-94-010-2097-8       
    Michael Makkai, Gonzalo E. Reyes (auth.)    Lecture Notes in Mathematics 611    Springer-Verlag Berlin Heidelberg    1977
        First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories [1 ed.]       
        978-3-540-08439-6, 978-3-540-37100-7       
    A. H. Lightstone (auth.), H. B. Enderton (eds.)    Mathematical Concepts and Methods in Science and Engineering 9    Springer US    1978
        Mathematical Logic: An Introduction to Model Theory [1 ed.]       
        978-1-4615-8752-1, 978-1-4615-8750-7       
    Jerome Malitz (auth.)    Undergraduate Texts in Mathematics    Springer-Verlag New York    1979
        Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory [1 ed.]       
        978-1-4613-9443-3, 978-1-4613-9441-9       
    J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)    Lecture Notes in Mathematics 834    Springer-Verlag Berlin Heidelberg    1980
        Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979 [1 ed.]       
        978-3-540-10269-4, 978-3-540-38393-2       
    Jos Baeten (auth.), Gert H. Müller, Michael M. Richter (eds.)    Lecture Notes in Mathematics 1103    Springer-Verlag Berlin Heidelberg    1984
        Models and Sets: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I [1 ed.]       
        978-3-540-13900-3, 978-3-540-39115-9       
    Gert H. Müller, Heinz-Dieter Ebbinghaus (eds.)    Perspectives in Mathematical Logic    Springer    1987
        Ω-Bibliography of Mathematical Logic. Volume 3: Model Theory       
        978-3-662-09060-2, 978-3-662-09058-9       
    John T. Baldwin (auth.), John T. Baldwin (eds.)    Lecture Notes in Mathematics 1292    Springer-Verlag Berlin Heidelberg    1987
        Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 [1 ed.]       
        978-3-540-18674-8, 978-3-540-48049-5       
    Peter Naur (auth.)    Studies in Cognitive Systems 18    Springer Netherlands    1995
        Knowing and the Mystique of Logic and Rules: True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science [1 ed.]       
        978-90-481-4609-3, 978-94-015-8549-1       
    Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)    Lecture Notes in Computer Science 354    Springer-Verlag Berlin Heidelberg    1989
        Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 [1 ed.]       
        978-3-540-51080-2, 978-3-540-46147-0       
    Zekâi Şen    Fuzzy logic and hydrological modeling    CRC Press    2010
        9781439809396, 1439809399       
    Pey-Chang Kent Lin, Sunil P. Khatri (auth.)    Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks [1 ed.]    Springer-Verlag New York    2014
        978-1-4614-9428-7, 978-1-4614-9429-4       
    Pey-Chang Kent Lin, Sunil P. Khatri    Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks [2014 ed.]    Springer    2013
        1461494281, 9781461494287       
    Vojislav Kecman    Complex Adaptive Systems    A Bradford Book    2001
        Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models [1 ed.]       
        0262112558, 9780262112550       
    Henry Prakken, Giovanni Sartor (auth.), Henry Prakken, Giovanni Sartor (eds.)    Logical Models of Legal Argumentation [1 ed.]    Springer Netherlands    1997
        978-94-010-6390-6, 978-94-011-5668-4       
    Kenneth A. Bowen (auth.)    Synthese Library 127    Springer Netherlands    1979
        Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi [1 ed.]       
        978-90-481-8353-1, 978-94-015-7642-0       
    Robert G. Jeroslow    Annals of Discrete Mathematics    North-Holland    1989
        Logic-Based Decision Support: Mixed Integer Model Formulation       
        0444871195, 9780444871190       
    Kecman V.    Complex Adaptive Systems    MIT    2001
        Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models [1 ed.]       
        0-262-11255-8, 170-175-180-1       
    Johan van Benthem    Synthese Library 156    Springer    1991
        The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse [2nd ed.]       
        9789048140824       
    James W. Garson    What Logics Mean: From Proof Theory to Model-Theoretic Semantics    Cambridge University Press    2013
        978-1-107-03910-0, 978-1-107-61196-2       
    Hans Kamp, Uwe Reyle (auth.)    Studies in Linguistics and Philosophy 42    Springer Netherlands    1993
        From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory [1 ed.]       
        792310284       
    G. Kreisel and J.L. Krivine (Eds.)    Studies in Logic and the Foundations of Mathematics 48    Elsevier Science    1967
        Elements of Mathematical Logic (Model Theory)       
        978-0-444-53412-5       
    Melvin Chris Fitting (Eds.)    Studies in Logic and the Foundations of Mathematics 54    Elsevier Science    1969
        Intuitionistic Logic Model Theory and Forcing       
        978-0-444-53418-7       
    Caicedo X.    Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203        1998
    Melvin Fitting    Studies in Logic and the Foundations of Mathematics    North-Holland Pub. Co    1969
        Intuitionistic logic, model theory and forcing [1st ed.]       
        9780720422566, 0720422566       
    Robert G. Jeroslow$ (Eds.)    Annals of Discrete Mathematics 40    North-Holland    1989
        Logic-Based Decision Support: Mixed Integer Model Formulation       
        978-0-444-87119-0       
    Henry Hamburger, Dana Richards    Logic and Language Models for Computer Science    PH    2002
        0130654876, 9780130654878       
    Bruno Poizat    Universitext    Springer    2000
        A course in model theory : an introduction to contemporary mathematical logic       
        0-387-98655-3, 9780387986555       
    E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)    NATO ASI Series 13 Series F, Computer and systems sciences    Springer-Verlag Berlin Heidelberg    1985
        Logics and models of concurrent systems [1 ed.]       
        0-387-15181-8, 978-3-642-82455-5, 978-3-642-82453-1, 9780387151816, 3540151818, 9783540151814       
    J. Barwise, S. Feferman (eds.)    Perspectives in Mathematical Logic    Springer    1985
        Model-theoretic logics       
        9780387909363, 9783540909361, 0387909362, 3540909362       
    Martin Otto    Lecture Notes in Logic 9    Springer    1997
        Bounded Variable Logics and Counting: A Study in Finite Models       
        3540620370, 9783540620372       
    Felscher, Walter    Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models [1 ed.]    CRC Press    2000
        905699266X, 9789056992668       
    Mueller G.H., et al. (eds.)    Omega-bibliography of mathematical logic. Vol. 3: Model theory [3]    Springer    1987
        9783662090602       
    Gaelle Fontaine    ILLC Dissertation Series DS-2010-09    University of Amsterdam    2010
        Modal Fixpoint Logic: Some model theoretic questions [PhD Thesis]       
        978-90-5776-215-4       
    Katsumi Inoue, Luis Fariñas del Cerro    ISTE in bioengineering and health science    Wiley-ISTE    2014
        Logical Modeling of Biological Systems [1 ed.]       
        978-1-84821-680-8, 9781119005223, 1119005221, 1848216807       
    Johan van Benthem, Sujata Ghosh, Rineke Verbrugge (eds.)    Lecture Notes in Computer Science 8972    Springer-Verlag Berlin Heidelberg    2015
        Models of Strategic Reasoning: Logics, Games, and Communities [1 ed.]       
        978-3-662-48539-2, 978-3-662-48540-8       

 
Was this article helpful? yes / no
Related articles Data Buku Logical Framework Books
Data Buku Dan Ariely Books
Under Uncertainty - Data Buku
Mechanization - Cari Data Buku
Thomas Petruzzellis - Cari Data Buku
Data Buku Thomas L. Saaty Books
Explicit - Data Buku Books
Starting out with - Cari Data Buku
distributed programming - Cari Data Buku
Element Structures - Data Buku Books
Article details
Article ID: 406
Category: Knowledgebase
Date added: 2016-04-20 16:30:48
Views: 42
Rating (Votes): Article rated 3.7/5.0 (6)

 
« Go back

 
Powered by Help Desk Software HESK, brought to you by SysAid