✦ LIBER ✦

On computable formal concepts in computable formal contexts

✍ Scribed by A. S. Morozov; M. A. L’vova

Publisher: SP MAIK Nauka/Interperiodica
Year: 2007
Tongue: English
Weight: 163 KB
Volume: 48
Category: Article
ISSN: 0037-4466
DOI: 10.1007/s11202-007-0089-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On computable automorphisms in formal co

On computable automorphisms in formal concept analysis

✍ A. S. Morozov 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 172 KB

Formal Concept Analysis: Tutorial on for

Formal Concept Analysis: Tutorial on formal concept analysis

✍ Rudolf Wille 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 10 KB

Formalizing computational river networks

✍ Shilong Ma; Xiaolin Hu 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 356 KB

Computing with words in formal methods

✍ Tuan D. Pham 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views

Formal Methods in Human-Computer Interac

Formal Methods in Human-Computer Interaction

✍ Rinsjel Winder 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 103 KB

Formal methods in computer system design

✍ C.A.R. Hoare 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 501 KB

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.