Arama Sonuçları Genetic. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dGenetic.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-29T13:31:53Z
Linear Genetic Programming
ent://SD_ILS/0/SD_ILS:165774
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-31030-5">http://dx.doi.org/10.1007/978-0-387-31030-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cartesian Genetic Programming
ent://SD_ILS/0/SD_ILS:193564
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Miller, Julian F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17310-3">http://dx.doi.org/10.1007/978-3-642-17310-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice III
ent://SD_ILS/0/SD_ILS:165469
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice II
ent://SD_ILS/0/SD_ILS:164879
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice X
ent://SD_ILS/0/SD_ILS:332135
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332135.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice IX
ent://SD_ILS/0/SD_ILS:174011
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1770-5">http://dx.doi.org/10.1007/978-1-4614-1770-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice VIII
ent://SD_ILS/0/SD_ILS:172966
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7747-2">http://dx.doi.org/10.1007/978-1-4419-7747-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice VII
ent://SD_ILS/0/SD_ILS:172304
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1626-6">http://dx.doi.org/10.1007/978-1-4419-1626-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice VI
ent://SD_ILS/0/SD_ILS:167829
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-87623-8">http://dx.doi.org/10.1007/978-0-387-87623-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice IV
ent://SD_ILS/0/SD_ILS:166493
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming Theory and Practice V
ent://SD_ILS/0/SD_ILS:167322
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automatic Quantum Computer Programming A Genetic Programming Approach
ent://SD_ILS/0/SD_ILS:166173
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Spector, Lee. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-36791-0">http://dx.doi.org/10.1007/978-0-387-36791-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming IV Routine Human-Competitive Machine Intelligence
ent://SD_ILS/0/SD_ILS:165278
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137549">http://dx.doi.org/10.1007/b137549</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods
ent://SD_ILS/0/SD_ILS:165805
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31240-4">http://dx.doi.org/10.1007/0-387-31240-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401745
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77553-1">https://doi.org/10.1007/978-3-319-77553-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334384
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.<br/>Yer Numarası ONLINE(334384.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37207-0">http://dx.doi.org/10.1007/978-3-642-37207-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196623
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Moraglio, Alberto. editor. Silva, Sara. editor. Krawiec, Krzysztof. editor. Machado, Penousal. editor. Cotta, Carlos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29139-5">http://dx.doi.org/10.1007/978-3-642-29139-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multiobjective Genetic Algorithms for Clustering Applications in Data Mining and Bioinformatics
ent://SD_ILS/0/SD_ILS:193355
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Maulik, Ujjwal. author. Bandyopadhyay, Sanghamitra. author. Mukhopadhyay, Anirban. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16615-0">http://dx.doi.org/10.1007/978-3-642-16615-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194360
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Silva, Sara. editor. Foster, James A. editor. Nicolau, Miguel. editor. Machado, Penousal. editor. Giacobini, Mario. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20407-4">http://dx.doi.org/10.1007/978-3-642-20407-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191903
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Esparcia-Alcázar, Anna Isabel. editor. Ekárt, Anikó. editor. Silva, Sara. editor. Dignum, Stephen. editor. Uyar, A. Şima. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12148-7">http://dx.doi.org/10.1007/978-3-642-12148-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:189911
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01181-8">http://dx.doi.org/10.1007/978-3-642-01181-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks
ent://SD_ILS/0/SD_ILS:169893
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6668-9">http://dx.doi.org/10.1007/978-1-4020-6668-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188206
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78671-9">http://dx.doi.org/10.1007/978-3-540-78671-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligence
ent://SD_ILS/0/SD_ILS:185234
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Bandyopadhyay, Sanghamitra. author. Pal, Sankar K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-49607-6">http://dx.doi.org/10.1007/3-540-49607-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186320
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71605-1">http://dx.doi.org/10.1007/978-3-540-71605-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186865
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73482-6">http://dx.doi.org/10.1007/978-3-540-73482-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183634
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11729976">http://dx.doi.org/10.1007/11729976</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183060
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Keijzer, Maarten. editor. Tettamanzi, Andrea. editor. Collet, Pierre. editor. Hemert, Jano. editor. Tomassini, Marco. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107383">http://dx.doi.org/10.1007/b107383</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183100
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138412">http://dx.doi.org/10.1007/b138412</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evolvable Hardware
ent://SD_ILS/0/SD_ILS:165804
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31238-2">http://dx.doi.org/10.1007/0-387-31238-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
ent://SD_ILS/0/SD_ILS:166176
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information from Processes About the Nature of Information Creation, Use, and Representation
ent://SD_ILS/0/SD_ILS:197035
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Losee, Robert M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31190-1">http://dx.doi.org/10.1007/978-3-642-31190-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Probabilistic Logics and Probabilistic Networks
ent://SD_ILS/0/SD_ILS:205718
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0008-6">http://dx.doi.org/10.1007/978-94-007-0008-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dynamic Formal Epistemology
ent://SD_ILS/0/SD_ILS:205739
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0074-1">http://dx.doi.org/10.1007/978-94-007-0074-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Degrees of Belief
ent://SD_ILS/0/SD_ILS:170468
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9198-8">http://dx.doi.org/10.1007/978-1-4020-9198-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ethics in Cyberspace How Cyberspace May Influence Interpersonal Interaction
ent://SD_ILS/0/SD_ILS:204769
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Ploug, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-2370-4">http://dx.doi.org/10.1007/978-90-481-2370-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Knowledge A Constructive Type-theoretical Approach
ent://SD_ILS/0/SD_ILS:169711
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Primiero, Giuseppe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6170-7">http://dx.doi.org/10.1007/978-1-4020-6170-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dynamic Epistemic Logic
ent://SD_ILS/0/SD_ILS:152432
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5839-4">http://dx.doi.org/10.1007/978-1-4020-5839-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Induction, Algorithmic Learning Theory, and Philosophy
ent://SD_ILS/0/SD_ILS:152468
2024-12-29T13:31:53Z
2024-12-29T13:31:53Z
Yazar Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6127-1">http://dx.doi.org/10.1007/978-1-4020-6127-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>