✦ LIBER ✦

Towards formal theory of soft computing

✍ Scribed by V. Novák

Publisher: Springer
Year: 1998
Tongue: English
Weight: 163 KB
Volume: 2
Category: Article
ISSN: 1432-7643
DOI: 10.1007/s005000050024

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards formal theories of autonomous go

Towards formal theories of autonomous goal-directed behavior

✍ Leo Dorst 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 236 KB

Towards a general theory of computabilit

Towards a general theory of computability

✍ Richard Montague 📂 Article 📅 1960 🏛 Springer Netherlands 🌐 English ⚖ 538 KB

Towards a digital library theory: a form

Towards a digital library theory: a formal digital library ontology

✍ Marcos André Gonçalves; Edward A. Fox; Layne T. Watson 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 794 KB

A Contribution Toward Computable Number

A Contribution Toward Computable Number Theory

✍ Albert A. Mullin 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

Changing the Theory of Theory Change - T

Changing the Theory of Theory Change - Towards a Computational Approach

✍ Tennant, Neil 📂 Fiction 📅 0 🌐 English ⚖ 708 KB

The Method of Computing Formal Moduli

✍ Arvid Siqveland 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 228 KB

In this paper we consider a method given earlier for computing the formal moduli of modules. We start with a short resume of the method, then we explain how this method can be implemented using a standard basis computation. We list the formal moduli with versal families for all torsionfree rank 1 mo