Search Results for Mathematical logic.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Yazar

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415

https://doi.org/10.1007/978-3-030-30048-7

Format:

Electronic Resources

Alıntı:

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

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

http://dx.doi.org/10.1007/978-3-319-21491-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

Yazar

Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768

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

Format:

Electronic Resources

Alıntı:

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

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Yazar

Moral, Serafín. editor. (orcid)0000-0002-5555-0857

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

Format:

Electronic Resources

Alıntı:

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

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Yazar

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

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

Format:

Electronic Resources

Alıntı:

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

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

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

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Yazar

Hooker, John. editor. (orcid)0000-0003-3169-1871

https://doi.org/10.1007/978-3-319-98334-9

Format:

Electronic Resources

Alıntı:

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

Methods and Models in Mathematical Programming

Yazar

MirHassani, S. A. author.

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

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies

10.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches / Steffen, Bernhard

11.

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Yazar

Dutra, Inês. editor.

https://doi.org/10.1007/978-3-319-61982-8

Format:

Electronic Resources

Alıntı:

Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I

12.

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Yazar

Daydé, Michel. editor.

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

Format:

Electronic Resources

Alıntı:

Arithmetic and logic units, Computer.

	{displayName}	{count}
{error}