CiteSeer.IST Home   Related articles for: Boolos, G.: "Logic, Logic and Logic". Harvard University Press, 1999.   Context

Related documents from co-citation:
3:   The Complexity of Logic-Based Abduction - Eiter
3:   Mathematical Foundations of Computer Science (context) - Fejer, Simovici - 1991
3:   Reasoning in description logics - Donini, Lenzerini et al. - 1996
3:   A mathematical introduction to logic (context) - Enderton - 1972
3:   Indexing Consistency and Quality (context) - Zunde, Dexter - 1968
3:   An Algebra for Specifying Compound Terms for Faceted Taxonomies (context) - Tzitzikas, Analyti et al. - 2002
3:   Dynamic Taxonomies: A Model for Large Information Bases (context) - Sacco - 2000
3:   Computational Complexity (context) - Papadimitriou - 1994
3:   Modern Information Retrieval - Baeza-Yates - 1999
2:   A Comparison of Object Modelling Notations: Alloy, UML, and Z (context) - Jackson - 1999
2:   Open Distributed Processing -- Reference Model (context) - IEC - 1995
2:   An introduction to LOTOS: learning by examples (context) - Logrippo, Faci et al. - 1992
2:   Alloy: A Lightweight Object Modelling Notation - Jackson - 1999
1:   Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology - Wegmann, Naumenko - 2001
1:   Can a flat notation be used to specify an oo system: using Z to describe RM-ODP .. (context) - Johnson, Kilov - 1996
1:   Computer Standards and Interfaces (context) - Bowman, Derrick et al. - 1995
1:   Knowledge Representation: Logical Philosophical (context) - Sowa - 1996
1:   Open Distributed Processing and Multimedia (context) - Blair, Stefani
1:   CCITT Specification and Description Language (context) - Recommendation - 1994
1:   Fundamentals of Algebraic Specifications (context) - Ehrig, Mahr - 1985

CiteSeer.IST - Copyright Penn State and NEC