Data Buku Logic Models Books
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