Search Results for Mathematical Logic and Formal Languages.

367 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 31

000000000000DEFAULTTR

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Yazar

Artemov, Sergei. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar

Derrick, John. author.

http://dx.doi.org/10.1007/978-1-4471-5355-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

Yazar

Śmiałek, Michał. author.

http://dx.doi.org/10.1007/978-3-319-12838-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author.

https://doi.org/10.1007/978-3-662-60670-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Yazar

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

https://doi.org/10.1007/978-3-030-30763-9

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Epistemology, Context, and Formalism

Yazar

Lihoreau, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Heyting Algebras Duality Theory

Yazar

Esakia, Leo. author.

https://doi.org/10.1007/978-3-030-12096-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Leo Esakia on Duality in Modal and Intuitionistic Logics

Yazar

Bezhanishvili, Guram. editor.

http://dx.doi.org/10.1007/978-94-017-8860-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

Yazar

Calosi, Claudio. editor.

http://dx.doi.org/10.1007/978-3-319-05356-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

10.

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author.

https://doi.org/10.1007/978-3-030-04879-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

11.

Linguistic Expressions and Semantic Processing A Practical Approach

Yazar

Butler, Alastair. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

12.

David Makinson on Classical Methods for Non-Classical Problems

Yazar

Hansson, Sven Ove. editor.

http://dx.doi.org/10.1007/978-94-007-7759-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Tümünü Seç

1 2 3 4 5 .. 31

367 sonuç bulundu

	{displayName}	{count}
{error}