✦ LIBER ✦

Implications of a logical paradox for computer-dispensed justice

✍ Scribed by Joseph S. Fulda

Publisher: Springer
Year: 1994
Tongue: English
Weight: 176 KB
Volume: 8
Category: Article
ISSN: 0951-5666
DOI: 10.1007/bf01195058

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Companion to Philosophical Logic || Ph

A Companion to Philosophical Logic || Philosophical Implications of Logical Paradoxes

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 76 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Smile: a computer program for partitioni

Smile: a computer program for partitioning of programmed logic arrays

✍ Giovanni De Micheli; Mauro Santomauro 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 756 KB

A geometric algorithm for performing bending operations on polyhedral objects is described. The hypotheses, conditions and model of the bending process are defined, and then the mathematical model of bending is developed for each element of the boundary representation of a polyhedron. The algorithm

A New Normalization Strategy for the Imp

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

✍ Luiz C. Pereira; Edward H. Haeusler; Vaston G. Costa; Wagner Sanz 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 184 KB

The variational problem of functions of

The variational problem of functions of logical algebra and a method for its computer realization

✍ Yu. G. Grigor'yan 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 419 KB

Logic programming: a computing tool for

Logic programming: a computing tool for the architect of the future

✍ Peter S.G. Swinson 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 862 KB

A PWR hybrid computer model for assessin

A PWR hybrid computer model for assessing the safety implications of control systems

✍ O.L. Smith; R.S. Booth; N.E. Clapp; F.C. Difilippo; J.-P. Renier; A. Sozer 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 512 KB