Arama Sonuçları algebraic. - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dalgebraic.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300$0026isd$003dtrue?
2025-12-13T17:44:59Z
Parametric Interval Algebraic Systems
ent://SD_ILS/0/SD_ILS:401062
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Skalna, Iwona. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75187-0">https://doi.org/10.1007/978-3-319-75187-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Formalization of Smart Systems Theory and Practice
ent://SD_ILS/0/SD_ILS:402354
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Serdyukova, Natalia. author. Serdyukov, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77051-2">https://doi.org/10.1007/978-3-319-77051-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485526
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193711
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Swart, Harrie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependency Structures and Lexicalized Grammars An Algebraic Approach
ent://SD_ILS/0/SD_ILS:192698
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Kuhlmann, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14568-1">http://dx.doi.org/10.1007/978-3-642-14568-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190857
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
ent://SD_ILS/0/SD_ILS:187541
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Aguzzoli, Stefano. editor. Ciabattoni, Agata. editor. Gerla, Brunella. editor. Manara, Corrado. editor. Marra, Vincenzo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75939-3">http://dx.doi.org/10.1007/978-3-540-75939-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184283
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
WAIC and WBIC with Python Stan 100 Exercises for Building Logic
ent://SD_ILS/0/SD_ILS:528961
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Suzuki, Joe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-3841-4">https://doi.org/10.1007/978-981-99-3841-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the Seventh International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'23) Volume 2
ent://SD_ILS/0/SD_ILS:529125
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43792-2">https://doi.org/10.1007/978-3-031-43792-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Banach Space Valued Neural Network Ordinary and Fractional Approximation and Interpolation
ent://SD_ILS/0/SD_ILS:526890
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Anastassiou, George A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-16400-2">https://doi.org/10.1007/978-3-031-16400-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the 9th International Conference on Computational Science and Technology ICCST 2022, 27-28 August, Johor Bahru, Malaysia
ent://SD_ILS/0/SD_ILS:528613
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Kang, Dae-Ki. editor. Alfred, Rayner. editor. Ismail, Zamhar Iswandono Bin Awang. editor. Baharum, Aslina. editor. Thiruchelvam, Vinesh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-8406-8">https://doi.org/10.1007/978-981-19-8406-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Systems in Cybernetics and Automation Theory Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory
ent://SD_ILS/0/SD_ILS:530555
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18503-3">https://doi.org/10.1007/978-3-319-18503-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332982.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334580.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
ent://SD_ILS/0/SD_ILS:334558
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334558.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38215-4">http://dx.doi.org/10.1007/978-3-642-38215-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334781
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Yer Numarası ONLINE(334781.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334875
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334875.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334877
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334877.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334987.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms in Invariant Theory
ent://SD_ILS/0/SD_ILS:177066
2025-12-13T17:44:59Z
2025-12-13T17:44:59Z
Yazar Sturmfels, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-211-77417-5">http://dx.doi.org/10.1007/978-3-211-77417-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>