Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Reasoning theories : towards an architecture for open mechanized reasoning systems
Reasoning theories : towards an architecture for open mechanized reasoning systems
Reasoning theories : towards an architecture for open mechanized reasoning systems
Giunchiglia, F. (Autor:in) / Pecchiari, P. (Autor:in) / Talcott, C. (Autor:in)
IRST technical report ; 9409-15
1994
50 S
graph. Darst
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Buch
Englisch
Theories of Mechanical Reasoning Under Uncertainty
| Springer Verlag | 1990
ACCELERATION OF PROBABILISTIC REASONING THROUGH CUSTOM PROCESSOR ARCHITECTURE
| British Library Conference Proceedings | 2020
A Multi-context architecture for formalizing complex reasoning
| TIBKAT | 1993
JSM-reasoning for Control Problems in Open ()-worlds
| British Library Conference Proceedings | 1995