Search Results for Engines.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings

Yazar

Bikakis, Antonis. editor.

http://dx.doi.org/10.1007/978-3-319-09870-8

Format:

Electronic Resources

Alıntı:

: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Yazar

Alferes, Jose Julio. editor.

http://dx.doi.org/10.1007/978-3-319-42019-6

Format:

Electronic Resources

Alıntı:

, logic programming rule engines, and business rule engines and business rule management systems, Semantic

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Yazar

Rusu, Vlad. editor.

https://doi.org/10.1007/978-3-319-99840-4

Format:

Electronic Resources

Alıntı:

Object-Oriented Languages - The 4th Rewrite Engines Competition -- Automaton and Equation based Approximations for

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author.

https://doi.org/10.1007/978-3-319-51653-0

Format:

Electronic Resources

Alıntı:

, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

https://doi.org/10.1007/978-3-030-17502-3

Format:

Electronic Resources

Alıntı:

Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

https://doi.org/10.1007/978-3-319-66107-0

Format:

Electronic Resources

Alıntı:

and Stratified Datalog Inference Engines in SSReect -- Weak Call-by-Value Lambda Calculus as a Model

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}