Search Results for Semantics.

3 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

000DEFAULTTR

Yazdır

1.

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings için kapak resmi

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Yazar

Drewes, Frank. editor.

https://doi.org/10.1007/978-3-319-53733-7

Format:

Electronic Resources

Alıntı:

Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression

2.

Verification of Business Rules Programs için kapak resmi

Verification of Business Rules Programs

Verification of Business Rules Programs

Yazar

Berstel-Da Silva, Bruno. author.

http://dx.doi.org/10.1007/978-3-642-40038-4

Format:

Electronic Resources

Alıntı:

semantics and program verification, while its technical contribution is to present an approach to the formal

3.

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings için kapak resmi

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Yazar

Fermé, Eduardo. editor.

http://dx.doi.org/10.1007/978-3-319-11558-0

Format:

Electronic Resources

Alıntı:

Logic G-FL0 with Greatest Fixed-Point Semantics -- Tight Complexity Bounds for Reasoning in the

Tümünü Seç

1

3 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2