Search Results for Logic.

97 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 9

000000000000DEFAULTTR

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Fuzzy Logic for Image Processing A Gentle Introduction Using Java

Yazar

Caponetti, Laura. author.

https://doi.org/10.1007/978-3-319-44130-6

Format:

Electronic Resources

Alıntı:

Fuzzy Logic for Image Processing A Gentle Introduction Using Java / Caponetti, Laura. author.

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing

Yazar

Seising, Rudolf. editor.

https://doi.org/10.1007/978-3-319-48317-7

Format:

Electronic Resources

Alıntı:

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing Seising, Rudolf. editor.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Yazar

Kennedy, Juliette. editor.

https://doi.org/10.1007/978-3-662-55386-2

Format:

Electronic Resources

Alıntı:

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-319-94205-6

Format:

Electronic Resources

Alıntı:

Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / Galmiche, Didier. editor.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author.

https://doi.org/10.1007/978-3-662-54314-6

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

10.

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Yazar

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

11.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

12.

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Yazar

Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Tümünü Seç

1 2 3 4 5 .. 9

97 sonuç bulundu

	{displayName}	{count}
{error}