Yazar
Bikakis, Antonis. editor.
Format:
Electronic Resources
Alıntı:
: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
, logic programming rule engines, and business rule engines and business rule management systems, Semantic
View Other Search Results
Yazar
Rusu, Vlad. editor.
Format:
Electronic Resources
Alıntı:
Object-Oriented Languages - The 4th Rewrite Engines Competition -- Automaton and Equation based Approximations for
Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
and Stratified Datalog Inference Engines in SSReect -- Weak Call-by-Value Lambda Calculus as a Model
Arama Sonuçlarını Sınırlandır
Daraltılmış: