Search Results for Induction (Logic) - Narrowed by: SpringerLink (Online service) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInduction$002b$002528Logic$002529$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300? 2024-09-17T07:14:40Z Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic ent://SD_ILS/0/SD_ILS:168623 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Robyns, Beno&icirc;t. author.&#160;Francois, Bruno. author.&#160;Degobert, Philippe. author.&#160;Hautier, Jean Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-901-7">http://dx.doi.org/10.1007/978-0-85729-901-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics for Computer Scientists A Practice-Oriented Approach ent://SD_ILS/0/SD_ILS:520344 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Hartmann, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520344.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520796 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Goertzel, Ben. editor.&#160;Ikl&eacute;, Matt. editor.&#160;Potapov, Alexey. editor.&#160;Ponomaryov, Denis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520796.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-19907-3">https://doi.org/10.1007/978-3-031-19907-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:520864 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Lopez-Garcia, Pedro. editor.&#160;Gallagher, John P. editor.&#160;Giacobazzi, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520864.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520880 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Hansen, Helle Hvid. editor.&#160;Scedrov, Andre. editor.&#160;de Queiroz, Ruy J.G.B. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520880.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 25th International Symposium, FM 2023, L&uuml;beck, Germany, March 6-10, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520889 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Chechik, Marsha. editor.&#160;Katoen, Joost-Pieter. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520889.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521379 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Campagner, Andrea. editor.&#160;Urs Lenz, Oliver. editor.&#160;Xia, Shuyin. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;W&#261;s, Jaros&#322;aw. editor.<br/>Preferred Shelf Number&#160;XX(521379.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519079 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519079.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-09-17T07:14:40Z 2024-09-17T07:14:40Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>