International conference on theoretical computer science (ifip tcs2000)

Bulletin of Symbolic Logic 7 (2):291-292 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600005941

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The international conference on theoretical aspects of computer science.Albert R. Meyer & Takayasu Ito - 1993 - Journal of Symbolic Logic 58 (1):369.
IFIP WG 2.12 and WG 12.4 International Workshop on Web Semantic (SWWS)-Applications of Semantic Web-QP-T: Query Pattern-Based RDB-to-XML Translation. [REVIEW]Jinhyung Jeong Kim & Yixin Baik Jing - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 1844-1853.
IFIP WG 2.12 and WG 12.4 International Workshop on Web Semantic (SWWS)-Security, Risk and Privacy for the Semantic Web-An OWL Copyright Ontology for Semantic Digital Rights Management. [REVIEW]Roberto Gil Garcia - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 1745-1754.
IFIP WG 2.12 and WG 12.4 International Workshop on Web Semantic (SWWS)-Ontologies-OntoExtractor: A Fuzzy-Based Approach to Content and Structure-Based Metadata Extraction. [REVIEW]Paolo Damiani Ceravolo & Marcello Viviani Leida - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 1825-1834.
International federation for information processing's framework for computer ethics.Professor J. Berleur - 1996 - Science and Engineering Ethics 2 (2):155-165.
Theory and applications of satisfiability testing: 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004: revised selected papers.Holger H. Hoos & David G. Mitchell (eds.) - 2005 - New York: Springer.
International federation for information processing’s framework for computer ethics.J. Berleur - 1996 - Science and Engineering Ethics 2 (2):155-165.
Fourth international symposium on theoretical aspects of computer software (TACS2001).Takayasu Ito - 2002 - Bulletin of Symbolic Logic 8 (2):321.
Emergence and Evolution of Natural Languages: New Mathematical and Algorithmic Perspectives.Edward G. Belaga - 2008 - In Proceedings of Language, Communication and Cognition International Conference, Brighton, August 4th-7th 2008.
Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings.Karem A. Sakallah & Laurent Simon (eds.) - 2011 - New York: Springer.
Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010: proceedings.Ofer Strichman & Stefan Szeider (eds.) - 2010 - Berlin: Springer.
How Digital Computer Simulations Explain Real‐World Processes.Ulrich Krohs - 2008 - International Studies in the Philosophy of Science 22 (3):277 – 292.

Analytics

Added to PP
2014-03-25

Downloads
16 (#892,354)

6 months
7 (#417,309)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references