×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [logical formalism]
Home >
logical formalism
Formal Methods and Testing Goal: software reliability Use software engineering methodologies to develop the code. Use formal methods during code development.
217 views
Formal Methods Goal: software reliability Use software engineering methodologies to develop the code. Use formal methods during code development.
223 views
Softrare Reliability Methods Prof. Doron A. Peled Bar Ilan University, Israel And Univeristy of warwick, UK Version 2008.
215 views
Knowledge Representation and Reasoning using Description Logic Presenter Shamima Mithun.
213 views
Inria - Software assets - Aerospace
759 views
leanCoR: lean Connection-based DL Reasoner
43 views
Lean Logic for Lean Times: Entailment and Contradiction Revisited
25 views
Fuzzy OWL-2 Annotation for MetOcean Ontology
817 views
Scholasticism_ Personalities and Problems of Medieval Philosophy - Josef Pieper
252 views
Gothic Architecture and Logo Design. Overview Introduction The Nature of the Gothic Characteristics of Gothic Architecture Landmarks of French Gothic.
247 views
Planning under Uncertainty with Markov Decision Processes: Lecture I Craig Boutilier Department of Computer Science University of Toronto.
213 views
Ross D. King Department of Computer Science Aberystwyth University
[email protected]
Automating Biology using Robot Scientists.
218 views
Next >