Search Results for Logic. - Narrowed by: E-Book - Computer vision. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Computer$002bvision.$002509Computer$002bvision.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-03T07:44:53Z Gentzen Calculi for Modal Propositional Logic ent://SD_ILS/0/SD_ILS:205557 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Poggiolesi, Francesca. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9670-8">http://dx.doi.org/10.1007/978-90-481-9670-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Philosophical Logic Volume 15 ent://SD_ILS/0/SD_ILS:205858 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Gabbay, Dov M. editor.&#160;Guenthner, Franz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0485-5">http://dx.doi.org/10.1007/978-94-007-0485-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Fuzzy Logic using MATLAB ent://SD_ILS/0/SD_ILS:184305 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Sivanandam, S. N. author.&#160;Sumathi, S. author.&#160;Deepa, S. N. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-35781-0">http://dx.doi.org/10.1007/978-3-540-35781-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402321 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017&#160;Benevides, M&aacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332970 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Masulli, Francesco. editor.&#160;Pasi, Gabriella. editor.&#160;Yager, Ronald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332970.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334105 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334337 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Bezhanishvili, Guram. editor.&#160;L&ouml;bner, Sebastian. editor.&#160;Marra, Vincenzo. editor.&#160;Richter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334337.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36976-6">http://dx.doi.org/10.1007/978-3-642-36976-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197086 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Aloni, Maria. editor.&#160;Kimmelman, Vadim. editor.&#160;Roelofsen, Floris. editor.&#160;Sassoon, Galit W. editor.&#160;Schulz, Katrin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31482-7">http://dx.doi.org/10.1007/978-3-642-31482-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193987 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Balasubramaniam, P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19263-0">http://dx.doi.org/10.1007/978-3-642-19263-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings ent://SD_ILS/0/SD_ILS:195055 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Kuchen, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings ent://SD_ILS/0/SD_ILS:195424 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Fanelli, Anna Maria. editor.&#160;Pedrycz, Witold. editor.&#160;Petrosino, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23713-3">http://dx.doi.org/10.1007/978-3-642-23713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic-Based Algorithms for Video De-Interlacing ent://SD_ILS/0/SD_ILS:191449 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Brox, Piedad. author.&#160;Baturone, Iluminada. author.&#160;S&aacute;nchez-Solano, Santiago. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10695-8">http://dx.doi.org/10.1007/978-3-642-10695-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190275 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Ges&ugrave;, Vito. editor.&#160;Pal, Sankar Kumar. editor.&#160;Petrosino, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02282-1">http://dx.doi.org/10.1007/978-3-642-02282-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186836 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Masulli, Francesco. editor.&#160;Mitra, Sushmita. editor.&#160;Pasi, Gabriella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73400-0">http://dx.doi.org/10.1007/978-3-540-73400-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolution&auml;ren Algorithmen ent://SD_ILS/0/SD_ILS:181982 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Lippe, Wolfram-Manfred. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29274-8">http://dx.doi.org/10.1007/3-540-29274-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183474 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Ges&uacute;, Vito. editor.&#160;Masulli, Francesco. editor.&#160;Petrosino, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/10983652">http://dx.doi.org/10.1007/10983652</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183421 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Bloch, Isabelle. editor.&#160;Petrosino, Alfredo. editor.&#160;Tettamanzi, Andrea G. B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11676935">http://dx.doi.org/10.1007/11676935</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399024 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Li, Lian. editor.&#160;Lu, Pinyan. editor.&#160;He, Kun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399961 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Knoll, Florian. editor. (orcid)0000-0001-5357-8656&#160;Maier, Andreas. editor. (orcid)0000-0002-9550-5284&#160;Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00129-2">https://doi.org/10.1007/978-3-030-00129-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Rough Sets XVI ent://SD_ILS/0/SD_ILS:334220 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Peters, James F. editor.&#160;Skowron, Andrzej. editor.&#160;Ramanna, Sheela. editor.&#160;Suraj, Zbigniew. editor.&#160;Wang, Xin. editor.<br/>Preferred Shelf Number&#160;ONLINE(334220.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36505-8">http://dx.doi.org/10.1007/978-3-642-36505-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334658 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334658.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Language of Mathematics A Linguistic and Philosophical Investigation ent://SD_ILS/0/SD_ILS:334341 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Ganesalingam, Mohan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334341.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196754 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Clarke, Edmund. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197048 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;B&eacute;chet, Denis. editor.&#160;Dikovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197361 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Cerro, Luis Fari&ntilde;as. editor.&#160;Herzig, Andreas. editor.&#160;Mengin, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33353-8">http://dx.doi.org/10.1007/978-3-642-33353-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Machine Interaction Research Results of the MMI Program ent://SD_ILS/0/SD_ILS:189685 2024-09-03T07:44:53Z 2024-09-03T07:44:53Z Author&#160;Lalanne, Denis. editor.&#160;Kohlas, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>