Search Results for Mathematical logic.

512 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 43

000000000000DEFAULTTR

13.

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Yazar

Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678

https://doi.org/10.1007/978-3-030-00389-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

14.

Controlling Language in Industry Controlled Languages for Technical Documents

Yazar

Crabbe, Stephen. author.

https://doi.org/10.1007/978-3-319-52745-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

15.

Nonsymmetric Operads in Combinatorics

Yazar

Giraudo, Samuele. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

16.

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

17.

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

http://dx.doi.org/10.1007/978-3-319-42282-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

18.

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

19.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author.

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

20.

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

21.

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Yazar

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

https://doi.org/10.1007/978-3-319-69904-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

22.

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar

Beck, J. Christopher. editor.

https://doi.org/10.1007/978-3-319-66158-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

23.

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ı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

24.

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.

Tümünü Seç

1 2 3 4 5 .. 43

512 sonuç bulundu

	{displayName}	{count}
{error}