Browsing “Logic” (Showing 941 - 960 of 1310 results)

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

An Attempt at a Critical Rationalist Appraisal

A Topos-Theoretic Approach to Systems and Behavior

The Fourth Asian Workshop on Philosophical Logic

11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedings

Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Journeys Beyond the Turing Barrier

An Introduction via the Density of Primes