✦ LIBER ✦

And so on . . . : reasoning with infinite diagrams

✍ Scribed by Solomon Feferman

Book ID: 111923040
Publisher: Springer Netherlands
Year: 2011
Tongue: English
Weight: 376 KB
Volume: 186
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-011-9985-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Annotating problem diagrams with archite

Annotating problem diagrams with architectural tactics for reasoning on quality requirements

✍ José M. Cañete-Valdeón 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 785 KB

Diagnostic reasoning and medical decisio

Diagnostic reasoning and medical decision-making with fuzzy influence diagrams

✍ Han-Ying Kao 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Logical Reasoning with Diagrams, Gerard

Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds.

✍ Maarten de Rijke 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 23 KB

Interactions with diagrams and the makin

Interactions with diagrams and the making of reasoned conjectures in geometry

✍ Patricio Herbst 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 373 KB

Toward reasoning with unified modeling l

Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory

✍ Ekawit Nantajeewarawat; Vilas Wuwongse; Chutiporn Anutariya; Kiyoshi Akama; Sura 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

A practical framework for representing knowledge and reasoning in the domain of Unified Modeling Language (UML) is proposed. In this framework, graphical diagrams in a UML model are encoded as Extensible Markup Language (XML)/Metadata Interchange (XMI) elements, which are regarded as facts about a s

Phase diagrams for a semi-infinite nemat

Phase diagrams for a semi-infinite nematic in contact with a micropatterned surface

✍ Atherton, T.J. 📂 Article 📅 2010 🏛 Taylor and Francis Group 🌐 English ⚖ 236 KB