Search Results for Mathematical logic.

371 sonuç bulundu

Tümünü Seç

1 .. 27 28 29 30 31

00000000000DEFAULTTR

361.

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Yazar

Sau, Ignasi. editor. (orcid)0000-0002-8981-9287

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

Format:

Electronic Resources

Alıntı:

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

362.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001

363.

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Yazar

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product

364.

Advances in Unconventional Computing Volume 1: Theory

Yazar

Adamatzky, Andrew. editor.

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

Format:

Electronic Resources

Alıntı:

-- Conventional and Unconventional Approaches to Swarm Logic -- On the Inverse Pattern Recognition Problem in the

365.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

366.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

367.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

368.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

369.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

370.

Declarative logic programming : theory, systems, and applications

Yazar

Kifer, M. (Michael), 1954-, editor, author.

Abstract with links to full text http://dx.doi.org/10.1145/3191315

Format:

Electronic Resources

Alıntı:

Declarative logic programming : theory, systems, and applications / Kifer, M. (Michael), 1954

371.

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I

Yazar

Tan, Ying. editor.

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

Format:

Electronic Resources

Alıntı:

a First Order Logic Approach -- Flock Diameter Control in a Collision-Avoiding Cucker-Smale Flocking

Tümünü Seç

1 .. 27 28 29 30 31

371 sonuç bulundu

	{displayName}	{count}
{error}