Search Results for Mathematical logic.

108 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 9

000000000000DEFAULTTR

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

http://dx.doi.org/10.1007/978-3-319-06025-5

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

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

Format:

Electronic Resources

Alıntı:

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

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

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

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

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Yazar

Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068

https://doi.org/10.1007/978-3-319-66706-5

Format:

Electronic Resources

Alıntı:

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

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

Yazar

Du, Dingzhu. editor.

https://doi.org/10.1007/978-981-10-6893-5

Format:

Electronic Resources

Alıntı:

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

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Yazar

Hung, Dang Van. editor.

https://doi.org/10.1007/978-3-319-67729-3

Format:

Electronic Resources

Alıntı:

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

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

10.

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Huisman, Marieke. editor.

https://doi.org/10.1007/978-3-662-54494-5

Format:

Electronic Resources

Alıntı:

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

11.

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

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

Format:

Electronic Resources

Alıntı:

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

12.

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Yazar

Lachiche, Nicolas. editor.

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

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 9

108 sonuç bulundu

	{displayName}	{count}
{error}