Arama Sonuçları Reasoning. - Daraltılmış: Çevrimiçi Kütüphane
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dReasoning.$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253AONLINE$002509$0025C3$002587evrimi$0025C3$0025A7i$002bK$0025C3$0025BCt$0025C3$0025BCphane$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-25T18:13:21Z
Commonsense reasoning
ent://SD_ILS/0/SD_ILS:253776
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Mueller, Erik T.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Nonmonotonic reasoning
ent://SD_ILS/0/SD_ILS:219861
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Antoniou, G. (Grigoris) Williams, M. A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning about knowledge
ent://SD_ILS/0/SD_ILS:219980
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fagin, Ronald.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constraint-based reasoning
ent://SD_ILS/0/SD_ILS:220198
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Freuder, Eugene C. Mackworth, Alan K.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Diagrammatic reasoning in AI
ent://SD_ILS/0/SD_ILS:297644
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Nakatsu, Robbie, 1964-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469746">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469746</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470400777">http://dx.doi.org/10.1002/9780470400777</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=245548&ref=toc">http://www.myilibrary.com?id=245548&ref=toc</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10355297">http://site.ebrary.com/lib/alltitles/Doc?id=10355297</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Methods of legal reasoning
ent://SD_ILS/0/SD_ILS:152330
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4939-0">http://dx.doi.org/10.1007/1-4020-4939-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Visual Reasoning with Diagrams
ent://SD_ILS/0/SD_ILS:332637
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332637.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning about Preference Dynamics
ent://SD_ILS/0/SD_ILS:206040
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Liu, Fenrong. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1344-4">http://dx.doi.org/10.1007/978-94-007-1344-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Approximate Reasoning
ent://SD_ILS/0/SD_ILS:169568
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hüllermeier, Eyke. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5695-8">http://dx.doi.org/10.1007/1-4020-5695-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constitutionalism and Legal Reasoning
ent://SD_ILS/0/SD_ILS:152405
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Torre, Massimo La. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5595-9">http://dx.doi.org/10.1007/978-1-4020-5595-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge representation and reasoning
ent://SD_ILS/0/SD_ILS:253700
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Brachman, Ronald J., 1949- Levesque, Hector J., 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558609327">http://www.sciencedirect.com/science/book/9781558609327</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Nature of Reasoning
ent://SD_ILS/0/SD_ILS:235764
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Leighton, Jacqueline P.. Sternberg, Robert J..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511818714">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Robots, Reasoning, and Reification
ent://SD_ILS/0/SD_ILS:167813
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-87488-3">http://dx.doi.org/10.1007/978-0-387-87488-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of automated reasoning
ent://SD_ILS/0/SD_ILS:253802
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444508133">http://www.sciencedirect.com/science/book/9780444508133</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning about rational agents
ent://SD_ILS/0/SD_ILS:219964
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Wooldridge, Michael J., 1966-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Legal method, skills and reasoning
ent://SD_ILS/0/SD_ILS:266855
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hanson, Sharon, LLB. Hanson, Sharon, LLB. Legal method & reasoning.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203876749">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Yer Numarası XX(520609.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39179-8">https://doi.org/10.1007/978-3-031-39179-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Parallel Constraint Reasoning
ent://SD_ILS/0/SD_ILS:400510
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63516-3">https://doi.org/10.1007/978-3-319-63516-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Linked Data Storing, Querying, and Reasoning
ent://SD_ILS/0/SD_ILS:401935
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73515-3">https://doi.org/10.1007/978-3-319-73515-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Successful Case-based Reasoning Applications-2
ent://SD_ILS/0/SD_ILS:488305
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-38736-4">https://doi.org/10.1007/978-3-642-38736-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-based reasoning a concise introduction
ent://SD_ILS/0/SD_ILS:281379
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar López, Beatriz.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning A Textbook
ent://SD_ILS/0/SD_ILS:334902
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334902.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40167-1">http://dx.doi.org/10.1007/978-3-642-40167-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decentralized Reasoning in Ambient Intelligence
ent://SD_ILS/0/SD_ILS:173543
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Emotions, imagination, and moral reasoning
ent://SD_ILS/0/SD_ILS:260069
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Langdon, Robyn. Mackenzie, Catriona.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203803134">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning in Event-Based Distributed Systems
ent://SD_ILS/0/SD_ILS:194135
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Helmer, Sven. editor. Poulovassilis, Alexandra. editor. Xhafa, Fatos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19724-6">http://dx.doi.org/10.1007/978-3-642-19724-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental uncertainty rationality and plausible reasoning
ent://SD_ILS/0/SD_ILS:278755
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Marzetti Dall'Aste Brandolini, Silva. Scazzieri, Roberto. Palgrave Connect (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Reasoning under Uncertainty
ent://SD_ILS/0/SD_ILS:191458
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bouchon-Meunier, Bernadette. editor. Magdalena, Luis. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José-Luis. editor. Yager, Ronald R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10728-3">http://dx.doi.org/10.1007/978-3-642-10728-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Successful Case-based Reasoning Applications - I
ent://SD_ILS/0/SD_ILS:192543
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14078-5">http://dx.doi.org/10.1007/978-3-642-14078-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling and Reasoning with Vague Concepts
ent://SD_ILS/0/SD_ILS:165711
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Lawry, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-30262-X">http://dx.doi.org/10.1007/0-387-30262-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy expert systems and fuzzy reasoning
ent://SD_ILS/0/SD_ILS:301644
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Siler, William. Buckley, James J., 1936-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={132CAECB-B836-49EA-AE5A-8E6AC4BA0AE8}&Format=50">Click for information</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471698504">http://dx.doi.org/10.1002/0471698504</a>
ebrary <a href="http://site.ebrary.com/id/10114104">http://site.ebrary.com/id/10114104</a>
HathiTrust Digital Library Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/55146362.html">http://catalog.hathitrust.org/api/volumes/oclc/55146362.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Clinical reasoning for manual therapists
ent://SD_ILS/0/SD_ILS:257634
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Jones, Mark A. Rivett, Darren A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750639064">http://www.sciencedirect.com/science/book/9780750639064</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of soft case-based reasoning
ent://SD_ILS/0/SD_ILS:301578
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pal, Sankar K. Shiu, Simon C. K.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/0471644676">http://dx.doi.org/10.1002/0471644676</a>
HathiTrust Digital Library, Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/53138696.html">http://catalog.hathitrust.org/api/volumes/oclc/53138696.html</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=36798&ref=toc">http://www.myilibrary.com?id=36798&ref=toc</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Qualitative methods for reasoning under uncertainty
ent://SD_ILS/0/SD_ILS:219946
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Parsons, Simon.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Causality : models, reasoning, and inference
ent://SD_ILS/0/SD_ILS:506350
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pearl, Judea, author.<br/>Yer Numarası BD541 .P43 2000<br/>Elektronik Erişim <a href="https://doi.org/10.1017/CBO9780511803161">https://doi.org/10.1017/CBO9780511803161</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Legal reasoning and legal theory
ent://SD_ILS/0/SD_ILS:234603
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar MacCormick, Neil.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Qualitative reasoning about physical systems
ent://SD_ILS/0/SD_ILS:258112
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bobrow, Daniel G. (Daniel Gureasko), 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876706">http://www.sciencedirect.com/science/book/9780444876706</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning for Systems Biology and Medicine
ent://SD_ILS/0/SD_ILS:483246
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17297-8">https://doi.org/10.1007/978-3-030-17297-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning : the neuroscience of how we think
ent://SD_ILS/0/SD_ILS:459900
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Krawczyk, Daniel, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128092859">https://www.sciencedirect.com/science/book/9780128092859</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Workflow Modeling Assistance by Case-based Reasoning
ent://SD_ILS/0/SD_ILS:399633
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Müller, Gilbert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-23559-8">https://doi.org/10.1007/978-3-658-23559-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Commonsense reasoning an event calculus-based approach
ent://SD_ILS/0/SD_ILS:355437
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Mueller, Erik T., author.<br/>Yer Numarası ONLINE(355437.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Approaches to Analogical Reasoning: Current Trends
ent://SD_ILS/0/SD_ILS:487950
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54516-0">https://doi.org/10.1007/978-3-642-54516-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332107.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain-Level Reasoning for Spoken Dialogue Systems
ent://SD_ILS/0/SD_ILS:173291
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-9728-9">http://dx.doi.org/10.1007/978-1-4419-9728-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Teaching Mathematical Reasoning in Secondary School Classrooms
ent://SD_ILS/0/SD_ILS:164775
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Brodie, Karin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09742-8">http://dx.doi.org/10.1007/978-0-387-09742-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical reasoning patterns, problems, conjectures, and proofs
ent://SD_ILS/0/SD_ILS:265616
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Nickerson, Raymond S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Practical Logic and Automated Reasoning
ent://SD_ILS/0/SD_ILS:237206
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Harrison, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning on Images and Signals
ent://SD_ILS/0/SD_ILS:186766
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Perner, Petra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73180-1">http://dx.doi.org/10.1007/978-3-540-73180-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rippling: Meta-Level Guidance for Mathematical Reasoning
ent://SD_ILS/0/SD_ILS:238201
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511543326">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constraint Satisfaction Techniques for Agent-Based Reasoning
ent://SD_ILS/0/SD_ILS:197849
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Neagu, Nicoleta. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137139">http://dx.doi.org/10.1007/b137139</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Visualization, Explanation and Reasoning Styles in Mathematics
ent://SD_ILS/0/SD_ILS:168874
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of temporal reasoning in artificial intelligence
ent://SD_ILS/0/SD_ILS:253803
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444514936">http://www.sciencedirect.com/science/book/9780444514936</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transfer of learning cognition, instruction, and reasoning
ent://SD_ILS/0/SD_ILS:258259
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Haskell, Robert E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123305954">http://www.sciencedirect.com/science/book/9780123305954</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mental models in discourse processing and reasoning
ent://SD_ILS/0/SD_ILS:258277
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Rickheit, Gert. Habel, Christopher.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502742">http://www.sciencedirect.com/science/book/9780444502742</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligence, mind, and reasoning structure and development
ent://SD_ILS/0/SD_ILS:258358
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Demetriou, Andreas. Efklides, Anastasia.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444897145">http://www.sciencedirect.com/science/book/9780444897145</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The hands-on guide to clinical reasoning in medicine
ent://SD_ILS/0/SD_ILS:424554
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Irfan, Mujammil, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1002/9781119578055">Wiley Online Library</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic projection for image information retrieval and spatial reasoning
ent://SD_ILS/0/SD_ILS:254812
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Chang, S. K. (Shi Kuo), 1944- Jungert, Erland.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121680305">http://www.sciencedirect.com/science/book/9780121680305</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Farmer, William M. author. SpringerLink (Online service)<br/>Yer Numarası XX(520259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521060
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521060.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40177-0">https://doi.org/10.1007/978-3-031-40177-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521072
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521072.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40960-8">https://doi.org/10.1007/978-3-031-40960-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521244
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521244.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521139
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521139.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:521291
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521291.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31414-8">https://doi.org/10.1007/978-3-031-31414-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
ent://SD_ILS/0/SD_ILS:521939
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Dobber, Jos. author. Harmsen, José. author. van Iersel, Margriet. author. SpringerLink (Online service)<br/>Yer Numarası XX(521939.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27069-7">https://doi.org/10.1007/978-3-031-27069-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483605
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
ent://SD_ILS/0/SD_ILS:486057
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational models for biomedical reasoning and problem solving
ent://SD_ILS/0/SD_ILS:482002
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Chen, Chung-Hao, 1974- editor. Cheung, Sen-Ching Samson, 1969- editor. IGI Global, publisher.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483988
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Şotropa, Diana. editor. (orcid)0000-0003-4403-9946 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23182-8">https://doi.org/10.1007/978-3-030-23182-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security
ent://SD_ILS/0/SD_ILS:483947
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Cybenko, George. editor. Liu, Peng. editor. Wang, Cliff. editor. Wellman, Michael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30719-6">https://doi.org/10.1007/978-3-030-30719-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484899
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485169
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29249-2">https://doi.org/10.1007/978-3-030-29249-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:485354
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings
ent://SD_ILS/0/SD_ILS:482942
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Al-Shaer, Ehab. editor. Wei, Jinpeng. editor. (orcid)0000-0002-6982-7386 Hamlen, Kevin W. editor. Wang, Cliff. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02110-8">https://doi.org/10.1007/978-3-030-02110-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398962
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
ent://SD_ILS/0/SD_ILS:401923
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72691-5">https://doi.org/10.1007/978-3-319-72691-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400874
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401227
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91379-7">https://doi.org/10.1007/978-3-319-91379-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:402536
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:399284
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00338-8">https://doi.org/10.1007/978-3-030-00338-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical investigative methods : critical thinking and reasoning for successful investigations
ent://SD_ILS/0/SD_ILS:356395
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Girod, Robert J., author.<br/>Yer Numarası ONLINE(356395.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781482243147">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518971
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar De Nivelle, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518971.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24312-2">https://doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519080.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519103
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519103.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519113
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519113.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20807-7">https://doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519293.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning and Public Health: New Ways of Coping with Uncertainty
ent://SD_ILS/0/SD_ILS:519555
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cummings, Louise. author. SpringerLink (Online service)<br/>Yer Numarası XX(519555.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15013-0">https://doi.org/10.1007/978-3-319-15013-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518774
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518774.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24586-7">https://doi.org/10.1007/978-3-319-24586-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
ent://SD_ILS/0/SD_ILS:518822
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518822.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518979
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518979.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28702-7">https://doi.org/10.1007/978-3-319-28702-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519157
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519157.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Limits of Legal Reasoning and the European Court of Justice
ent://SD_ILS/0/SD_ILS:238927
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Conway, Gerard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511735929">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485454
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04534-4">https://doi.org/10.1007/978-3-319-04534-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486861
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Lamontagne, Luc. editor. Plaza, Enric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11209-1">https://doi.org/10.1007/978-3-319-11209-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
ent://SD_ILS/0/SD_ILS:488488
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Addis, Tom. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11286-2">https://doi.org/10.1007/978-3-319-11286-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485585
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485675
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10587-1">https://doi.org/10.1007/978-3-319-10587-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485806
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13413-0">https://doi.org/10.1007/978-3-319-13413-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489090
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hernandez, Nathalie. editor. Jäschke, Robert. editor. Croitoru, Madalina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08389-6">https://doi.org/10.1007/978-3-319-08389-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489078
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11113-1">https://doi.org/10.1007/978-3-319-11113-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences
ent://SD_ILS/0/SD_ILS:290918
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Jenicek, Milos, 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466515598">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334832.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334848
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334848.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334719
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334719.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39056-2">http://dx.doi.org/10.1007/978-3-642-39056-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gaag, Linda C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334728.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Geometric Modeling and Reasoning of Human-Centered Freeform Products
ent://SD_ILS/0/SD_ILS:330961
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Wang, Charlie C. L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330961.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4360-4">http://dx.doi.org/10.1007/978-1-4471-4360-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334264.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334092
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.<br/>Yer Numarası ONLINE(334092.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
ent://SD_ILS/0/SD_ILS:195717
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kountchev, Roumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24693-7">http://dx.doi.org/10.1007/978-3-642-24693-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196702
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197306
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32986-9">http://dx.doi.org/10.1007/978-3-642-32986-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197327
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33158-9">http://dx.doi.org/10.1007/978-3-642-33158-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197336
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value
ent://SD_ILS/0/SD_ILS:206573
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Maier, Donald S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-3991-8">http://dx.doi.org/10.1007/978-94-007-3991-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The reasoning criminologist essays in honour of Ronald V. Clarke
ent://SD_ILS/0/SD_ILS:259007
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Clarke, R. V. G. Tilley, Nick. Farrell, Graham.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203154403">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
More! teaching fractions and ratios for understanding : in-depth discussion and reasoning activities
ent://SD_ILS/0/SD_ILS:261145
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Lamon, Susan J., 1949- Lamon, Susan J., 1949- More.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203803196">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The logic of autonomy law, morality and autonomous reasoning
ent://SD_ILS/0/SD_ILS:281259
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sieckmann, Jan-Reinard, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The reputational premium : a theory of party identification and policy reasoning
ent://SD_ILS/0/SD_ILS:376471
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sniderman, Paul M., author. Stiglitz, Edward H., 1980- author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7s54x">http://www.jstor.org/stable/10.2307/j.ctt7s54x</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Thinking and reasoning an introduction to the psychology of reason, judgment and decision making
ent://SD_ILS/0/SD_ILS:259704
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Manktelow, K. I., 1952-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203115466">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application of nursing process and nursing diagnosis an interactive text for diagnostic reasoning
ent://SD_ILS/0/SD_ILS:279506
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Doenges, Marilynn E., 1922- Moorhouse, Mary Frances, 1947-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=529107">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=529107</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Approximate Reasoning by Parts An Introduction to Rough Mereology
ent://SD_ILS/0/SD_ILS:194973
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Polkowski, Lech. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22279-5">http://dx.doi.org/10.1007/978-3-642-22279-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194930
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Liu, Weiru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195060
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
ent://SD_ILS/0/SD_ILS:195071
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hartanto, Ronny. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195299
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23291-6">http://dx.doi.org/10.1007/978-3-642-23291-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens
ent://SD_ILS/0/SD_ILS:200492
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Beißel, Stefan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8349-6232-4">http://dx.doi.org/10.1007/978-3-8349-6232-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
ent://SD_ILS/0/SD_ILS:207018
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-11-4">http://dx.doi.org/10.2991/978-94-91216-11-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
ent://SD_ILS/0/SD_ILS:205893
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0615-6">http://dx.doi.org/10.1007/978-94-007-0615-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning from Race feminism, law, and the civil rights revolution
ent://SD_ILS/0/SD_ILS:230506
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Mayeri, Serena.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.4159/harvard.9780674061101">http://dx.doi.org/10.4159/harvard.9780674061101</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193176
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:194501
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195217
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23032-5">http://dx.doi.org/10.1007/978-3-642-23032-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195384
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23580-1">http://dx.doi.org/10.1007/978-3-642-23580-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generic Inference a Unifying Theory for Automated Reasoning
ent://SD_ILS/0/SD_ILS:298843
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118010877">An electronic book accessible through the World Wide Web; click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9781118010860">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10469758">http://site.ebrary.com/lib/alltitles/Doc?id=10469758</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9781118010860">http://proquest.tech.safaribooksonline.de/9781118010860</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Arguing global governance agency, lifeworld, and shared reasoning
ent://SD_ILS/0/SD_ILS:262653
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bjola, Corneliu. Kornprobst, Markus.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203842577">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192577
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192600
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14274-1">http://dx.doi.org/10.1007/978-3-642-14274-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
ent://SD_ILS/0/SD_ILS:192900
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15223-8">http://dx.doi.org/10.1007/978-3-642-15223-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:193003
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15543-7">http://dx.doi.org/10.1007/978-3-642-15543-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193127
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty
ent://SD_ILS/0/SD_ILS:205508
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cummings, Louise. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9504-6">http://dx.doi.org/10.1007/978-90-481-9504-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
By parallel reasoning the construction and evaluation of analogical arguments
ent://SD_ILS/0/SD_ILS:232992
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bartha, Paul F. A., 1964-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots
ent://SD_ILS/0/SD_ILS:191341
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Wallgrün, Jan Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10345-2">http://dx.doi.org/10.1007/978-3-642-10345-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
ent://SD_ILS/0/SD_ILS:192546
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cao, Tru Hoang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14087-7">http://dx.doi.org/10.1007/978-3-642-14087-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
ent://SD_ILS/0/SD_ILS:168080
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-98132-1">http://dx.doi.org/10.1007/978-0-387-98132-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Use of representations in reasoning and problem solving analysis and improvement
ent://SD_ILS/0/SD_ILS:262773
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Verschaffel, Lieven, 1957-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203847824">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Networks, crowds, and markets reasoning about a highly connected world
ent://SD_ILS/0/SD_ILS:278039
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Easley, David. Kleinberg, Jon.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324125">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324125</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Computational Intelligence Volume 2 Approximate Reasoning
ent://SD_ILS/0/SD_ILS:190029
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hassanien, Aboul-Ella. editor. Abraham, Ajith. editor. Herrera, Francisco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01533-5">http://dx.doi.org/10.1007/978-3-642-01533-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190485
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02998-1">http://dx.doi.org/10.1007/978-3-642-02998-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190727
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Defending Copernicus and Galileo Critical Reasoning in the Two Affairs
ent://SD_ILS/0/SD_ILS:205007
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Finocchiaro, Maurice A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3201-0">http://dx.doi.org/10.1007/978-90-481-3201-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
ent://SD_ILS/0/SD_ILS:188990
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88087-5">http://dx.doi.org/10.1007/978-3-540-88087-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190408
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02716-1">http://dx.doi.org/10.1007/978-3-642-02716-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190456
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02906-6">http://dx.doi.org/10.1007/978-3-642-02906-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190634
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
ent://SD_ILS/0/SD_ILS:190685
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Magnani, Lorenzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03631-6">http://dx.doi.org/10.1007/978-3-642-03631-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:191152
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-05082-4">http://dx.doi.org/10.1007/978-3-642-05082-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
College organization and professional development integrating moral reasoning and reflective practice
ent://SD_ILS/0/SD_ILS:266966
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar St. John, Edward P.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203881668">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach
ent://SD_ILS/0/SD_ILS:185687
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Wolter, Diedrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69012-2">http://dx.doi.org/10.1007/978-3-540-69012-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186004
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
ent://SD_ILS/0/SD_ILS:188307
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bessière, Pierre. editor. Laugier, Christian. editor. Siegwart, Roland. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79007-5">http://dx.doi.org/10.1007/978-3-540-79007-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:188747
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188878
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87601-4">http://dx.doi.org/10.1007/978-3-540-87601-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189114
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88737-9">http://dx.doi.org/10.1007/978-3-540-88737-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189332
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89765-1">http://dx.doi.org/10.1007/978-3-540-89765-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188712
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85502-6">http://dx.doi.org/10.1007/978-3-540-85502-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice
ent://SD_ILS/0/SD_ILS:170144
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Garfield, Joan B. author. Ben-Zvi, Dani. author. Chance, Beth. author. Medina, Elsa. author. Roseth, Cary. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8383-9">http://dx.doi.org/10.1007/978-1-4020-8383-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning
ent://SD_ILS/0/SD_ILS:201293
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hügens, Torben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8349-8171-4">http://dx.doi.org/10.1007/978-3-8349-8171-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics by experiment plausible reasoning in the 21st century
ent://SD_ILS/0/SD_ILS:287065
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Borwein, Jonathan M. Bailey, David H.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439865361">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of hand therapy clinical reasoning and treatment guidelines for common diagnoses of the upper extremity
ent://SD_ILS/0/SD_ILS:145878
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cooper, Cynthia, CHT.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780323033862">http://www.sciencedirect.com/science/book/9780323033862</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Reasoning in Science, Technology, and Medicine
ent://SD_ILS/0/SD_ILS:186423
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kacprzyk, Janusz. editor. Magnani, Lorenzo. editor. Li, Ping. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71986-1">http://dx.doi.org/10.1007/978-3-540-71986-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186741
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187375
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Mellouli, Khaled. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75256-1">http://dx.doi.org/10.1007/978-3-540-75256-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187471
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75666-8">http://dx.doi.org/10.1007/978-3-540-75666-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:187554
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75989-8">http://dx.doi.org/10.1007/978-3-540-75989-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Judicial Reasoning under the UK Human Rights Act
ent://SD_ILS/0/SD_ILS:234940
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fenwick, Helen. Phillipson, Gavin . Masterman, Roger.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511493775">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187067
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74141-1">http://dx.doi.org/10.1007/978-3-540-74141-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:187214
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186472
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72200-7">http://dx.doi.org/10.1007/978-3-540-72200-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bayesian rationality the probabilistic approach to human reasoning
ent://SD_ILS/0/SD_ILS:231474
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Oaksford, M. (Mike) Chater, Nick.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adversarial reasoning computational approaches to reading the opponent's mind
ent://SD_ILS/0/SD_ILS:288385
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kott, Alexander W. McEneaney, William M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420011012">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
ent://SD_ILS/0/SD_ILS:152207
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar ALISEDA, ATOCHA. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3907-7">http://dx.doi.org/10.1007/1-4020-3907-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184450
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11805816">http://dx.doi.org/10.1007/11805816</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184493
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
ent://SD_ILS/0/SD_ILS:184651
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11829263">http://dx.doi.org/10.1007/11829263</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:184679
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11837787">http://dx.doi.org/10.1007/11837787</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184738
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11853107">http://dx.doi.org/10.1007/11853107</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning in Biological Discoveries Essays on Mechanisms, Interfield Relations, and Anomaly Resolution
ent://SD_ILS/0/SD_ILS:237046
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Darden, Lindley.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511498442">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Statistical Reasoning in Medicine The Intuitive P-Value Primer
ent://SD_ILS/0/SD_ILS:166329
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Moyé, Lemuel A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-46212-7">http://dx.doi.org/10.1007/978-0-387-46212-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Consistent Preferences Approach to Deductive Reasoning in Games
ent://SD_ILS/0/SD_ILS:165247
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Asheim, Geir B. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-26237-6">http://dx.doi.org/10.1007/978-0-387-26237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
ent://SD_ILS/0/SD_ILS:175236
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Robots The Art and Science of Programming Robotic Agents
ent://SD_ILS/0/SD_ILS:152109
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Thielscher, Michael. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3069-X">http://dx.doi.org/10.1007/1-4020-3069-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death
ent://SD_ILS/0/SD_ILS:181669
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Christakos, George. author. Olea, Ricardo A. author. Serre, Marc L. author. Yu, Hwa-Lung. author. Wang, Lin-Lin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-28165-7">http://dx.doi.org/10.1007/3-540-28165-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182908
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182913
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182941
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11536406">http://dx.doi.org/10.1007/11536406</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182974
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Godo, Lluís. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138862">http://dx.doi.org/10.1007/b138862</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rhetoric and the rule of law a theory of legal reasoning
ent://SD_ILS/0/SD_ILS:233235
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar MacCormick, Neil.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Judicial Process Realism, Pragmatism, Practical Reasoning and Principles
ent://SD_ILS/0/SD_ILS:235425
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Thomas, E. W..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511493768">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Challenge of Developing Statistical Literacy, Reasoning and Thinking
ent://SD_ILS/0/SD_ILS:168685
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ben-Zvi, Dani. editor. Garfield, Joan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-2278-6">http://dx.doi.org/10.1007/1-4020-2278-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:182822
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183093
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183242
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106616">http://dx.doi.org/10.1007/b106616</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Beyond reasonable doubt reasoning processes in obsessive-compulsive disorder and related disorders
ent://SD_ILS/0/SD_ILS:295809
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar O'Connor, Kieron Philip. Aardema, Frederick. Pélissier, Marie-Claude.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470030271">An electronic book accessible through the World Wide Web; click for information</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470030271">http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470030271</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0616/2004011339-b.html">http://catdir.loc.gov/catdir/enhancements/fy0616/2004011339-b.html</a>
HathiTrust Digital Library Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/55475112.html">http://catalog.hathitrust.org/api/volumes/oclc/55475112.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Law in a Market Context An Introduction to Market Concepts in Legal Reasoning
ent://SD_ILS/0/SD_ILS:238293
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Malloy, Robin Paul.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511599415">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dimensions of Private Law Categories and Concepts in Anglo-American Legal Reasoning
ent://SD_ILS/0/SD_ILS:235456
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Waddams, Stephen.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511495564">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Thinking psychological perspectives on reasoning, judgment, and decision making
ent://SD_ILS/0/SD_ILS:295671
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hardman, David. Macchi, Laura, 1961- John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/047001332X">http://dx.doi.org/10.1002/047001332X</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley047/2003003951.html">http://catdir.loc.gov/catdir/bios/wiley047/2003003951.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Reasoning in a Social World How We Act Together
ent://SD_ILS/0/SD_ILS:235889
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Graham, Keith.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487408">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developing the Horizons of the Mind Relational and Contextual Reasoning and the Resolution of Cognitive Conflict
ent://SD_ILS/0/SD_ILS:235387
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Reich, K. Helmut.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511489983">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Clinical epidemiology & evidence-based medicine fundamental principles of clinical reasoning & research
ent://SD_ILS/0/SD_ILS:367878
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Katz, David L., 1963-<br/>Yer Numarası ONLINE(367878.1)<br/>Elektronik Erişim SAGE knowledge <a href="http://sk.sagepub.com/books/clinical-epidemiology-and-evidence-based-medicine">http://sk.sagepub.com/books/clinical-epidemiology-and-evidence-based-medicine</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic programming and non-monotonic reasoning proceedings of the second international workshop
ent://SD_ILS/0/SD_ILS:220274
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pereira, Luís Moniz. Nerode, Anil, 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning about actions and plans proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon
ent://SD_ILS/0/SD_ILS:254904
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Georgeff, Michael P., 1946- Lansky, Amy L., 1955- American Association for Artificial Intelligence. Center for the Study of Language and Information (U.S.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780934613309">http://www.sciencedirect.com/science/book/9780934613309</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coherent systems
ent://SD_ILS/0/SD_ILS:256520
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Schlechta, Karl.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517890">http://www.sciencedirect.com/science/book/9780444517890</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Creating consilience integrating the sciences and the humanities
ent://SD_ILS/0/SD_ILS:234636
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Slingerland, Edward G. (Edward Gilman) Collard, Mark.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of modal logic
ent://SD_ILS/0/SD_ILS:148544
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=15702464&volume=3">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516909">http://www.sciencedirect.com/science/book/9780444516909</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of the logic of argument and inference the turn towards the practical
ent://SD_ILS/0/SD_ILS:256606
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gabbay, Dov M., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
ent://SD_ILS/0/SD_ILS:336157
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Cellucci, Carlo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336157.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520239
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gupta, Deep. editor. Bhurchandi, Kishor. editor. Murala, Subrahmanyam. editor. Raman, Balasubramanian. editor. Kumar, Sanjeev. editor.<br/>Yer Numarası XX(520239.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31417-9">https://doi.org/10.1007/978-3-031-31417-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520281
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Longo, Luca. editor. (orcid) O'Reilly, Ruairi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520281.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26438-2">https://doi.org/10.1007/978-3-031-26438-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China
ent://SD_ILS/0/SD_ILS:520310
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.<br/>Yer Numarası XX(520310.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-1256-8">https://doi.org/10.1007/978-981-99-1256-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520424
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520424.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34107-6">https://doi.org/10.1007/978-3-031-34107-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520425
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520425.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34111-3">https://doi.org/10.1007/978-3-031-34111-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Systems 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520571
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Papadaki, Maria. editor. Rupino da Cunha, Paulo. editor. Themistocleous, Marinos. editor. Christodoulou, Klitos. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520571.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30694-5">https://doi.org/10.1007/978-3-031-30694-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520663
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.<br/>Yer Numarası XX(520663.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26886-1">https://doi.org/10.1007/978-3-031-26886-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520668
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.<br/>Yer Numarası XX(520668.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29126-5">https://doi.org/10.1007/978-3-031-29126-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520703
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520703.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45728-9">https://doi.org/10.1007/978-3-031-45728-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence 8th China Conference, CCKS 2023, Shenyang, China, August 24-27, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520721
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Wang, Haofen. editor. Han, Xianpei. editor. Liu, Ming. editor. Cheng, Gong. editor. Liu, Yongbin. editor.<br/>Yer Numarası XX(520721.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7224-1">https://doi.org/10.1007/978-981-99-7224-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520731
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520731.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7869-4">https://doi.org/10.1007/978-981-99-7869-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520739
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pillay, Anban. editor. Jembere, Edgar. editor. J. Gerber, Aurona. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520739.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49002-6">https://doi.org/10.1007/978-3-031-49002-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520756
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520756.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-25088-0">https://doi.org/10.1007/978-3-031-25088-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520784
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Yer Numarası XX(520784.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520788
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520788.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520880.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520934
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Yer Numarası XX(520934.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30108-7">https://doi.org/10.1007/978-3-031-30108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:520947
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520947.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33380-4">https://doi.org/10.1007/978-3-031-33380-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521061
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.<br/>Yer Numarası XX(521061.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40286-9">https://doi.org/10.1007/978-3-031-40286-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521094
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521094.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36822-6">https://doi.org/10.1007/978-3-031-36822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521104
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521104.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35969-9">https://doi.org/10.1007/978-3-031-35969-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521105
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521105.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36049-7">https://doi.org/10.1007/978-3-031-36049-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:521166
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521166.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44204-9">https://doi.org/10.1007/978-3-031-44204-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521177
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521177.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43619-2">https://doi.org/10.1007/978-3-031-43619-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521192
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521192.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521126
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.<br/>Yer Numarası XX(521126.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42935-4">https://doi.org/10.1007/978-3-031-42935-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521127
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521127.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43264-4">https://doi.org/10.1007/978-3-031-43264-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521222
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521222.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44693-1">https://doi.org/10.1007/978-3-031-44693-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521251
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.<br/>Yer Numarası XX(521251.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43458-7">https://doi.org/10.1007/978-3-031-43458-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Image and Graphics 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521269
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Lu, Huchuan. editor. Ouyang, Wanli. editor. Huang, Hui. editor. Lu, Jiwen. editor. Liu, Risheng. editor.<br/>Yer Numarası XX(521269.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46314-3">https://doi.org/10.1007/978-3-031-46314-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521271
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.<br/>Yer Numarası XX(521271.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47262-6">https://doi.org/10.1007/978-3-031-47262-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521340
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521340.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:521287
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)<br/>Yer Numarası XX(521287.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28241-6">https://doi.org/10.1007/978-3-031-28241-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521346
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521346.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48539-8">https://doi.org/10.1007/978-3-031-48539-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521353
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.<br/>Yer Numarası XX(521353.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47969-4">https://doi.org/10.1007/978-3-031-47969-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521296
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521296.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33469-6">https://doi.org/10.1007/978-3-031-33469-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521303
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.<br/>Yer Numarası XX(521303.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40292-0">https://doi.org/10.1007/978-3-031-40292-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521307
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)<br/>Yer Numarası XX(521307.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40725-3">https://doi.org/10.1007/978-3-031-40725-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521309
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.<br/>Yer Numarası XX(521309.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42505-9">https://doi.org/10.1007/978-3-031-42505-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Prolog: The Next 50 Years
ent://SD_ILS/0/SD_ILS:521397
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Yer Numarası XX(521397.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521406
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521406.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47745-4">https://doi.org/10.1007/978-3-031-47745-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Medical Persuasion Understanding the Impact on Medical Argumentation
ent://SD_ILS/0/SD_ILS:521482
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Velanovich, Vic. author. SpringerLink (Online service)<br/>Yer Numarası XX(521482.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30371-5">https://doi.org/10.1007/978-3-031-30371-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520200
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Quan, Wei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520200.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-9697-9">https://doi.org/10.1007/978-981-19-9697-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deep Cognitive Networks Enhance Deep Learning by Modeling Human Cognitive Mechanism
ent://SD_ILS/0/SD_ILS:520396
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Huang, Yan. author. Wang, Liang. author. SpringerLink (Online service)<br/>Yer Numarası XX(520396.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-0279-8">https://doi.org/10.1007/978-981-99-0279-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:520403
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Yer Numarası XX(520403.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-1645-0">https://doi.org/10.1007/978-981-99-1645-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:520404
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Yer Numarası XX(520404.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-1639-9">https://doi.org/10.1007/978-981-99-1639-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence in Healthcare Industry
ent://SD_ILS/0/SD_ILS:520479
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Talukdar, Jyotismita. author. Singh, Thipendra P. author. Barman, Basanta. author. SpringerLink (Online service)<br/>Yer Numarası XX(520479.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-3157-6">https://doi.org/10.1007/978-981-99-3157-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers
ent://SD_ILS/0/SD_ILS:520482
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520482.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-37189-9">https://doi.org/10.1007/978-3-031-37189-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
ent://SD_ILS/0/SD_ILS:520483
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Jonoska, Nataša. editor. Winfree, Erik. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520483.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-9891-1">https://doi.org/10.1007/978-981-19-9891-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Dynamic Data Driven Applications Systems Volume 2
ent://SD_ILS/0/SD_ILS:520614
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520614.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27986-7">https://doi.org/10.1007/978-3-031-27986-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520796.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520843
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520843.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520864.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520889.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520927
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520927.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29786-1">https://doi.org/10.1007/978-3-031-29786-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520981
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Yer Numarası XX(520981.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-5834-4">https://doi.org/10.1007/978-981-99-5834-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520984.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2024-11-25T18:13:21Z
2024-11-25T18:13:21Z
Yazar Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Yer Numarası XX(521001.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>