Search Results for Calculus.

4 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ç

0000DEFAULTTR

Yazdır

1.

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings için kapak resmi

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Yazar

Morrill, Glyn. editor.

http://dx.doi.org/10.1007/978-3-662-44121-3

Format:

Electronic Resources

Alıntı:

by Restarting Automata -- The conjoinability relation in discontinuous Lambek calculus -- The

2.

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday için kapak resmi

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Yazar

Casadio, Claudia. editor.

http://dx.doi.org/10.1007/978-3-642-54789-8

Format:

Electronic Resources

Alıntı:

-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus.

3.

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings için kapak resmi

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

Yazar

Asher, Nicholas. editor.

http://dx.doi.org/10.1007/978-3-662-43742-1

Format:

Electronic Resources

Alıntı:

Anaphora with Dependent Types -- An Interpretation of Full Lambek Calculus in Its Variant without Empty

4.

Service-Oriented Computing – ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers için kapak resmi

Service-Oriented Computing – ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

Service-Oriented Computing – ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

Yazar

Lomuscio, Alessio R. editor.

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

Format:

Electronic Resources

Alıntı:

Metamodel Perspective -- Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL

Tümünü Seç

1

4 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