Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Nolt, John, 1950-
(2)
Project Muse.
(2)
Rohatyn, Dennis A.
(2)
Varzi, Achille C.
(2)
Dil
Konu
Computer science.
(12)
Artificial intelligence.
(11)
Reasoning.
(8)
Computer Communication Networks.
(6)
Software engineering.
(6)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
41 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Reasoning about Preference Dynamics için kapak resmi
Reasoning about Preference Dynamics
Yazar 
Liu, Fenrong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1344-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Judgment and reasoning in the child için kapak resmi
Judgment and reasoning in the child
Yazar 
Piaget, Jean, 1896- Cartalis, Mlles E., collab.
Yer Numarası 
BF 723.R4 P53 1928
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Reasoning in Event-Based Distributed Systems için kapak resmi
Reasoning in Event-Based Distributed Systems
Yazar 
Helmer, Sven. editor. Poulovassilis, Alexandra. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19724-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Fundamental uncertainty rationality and plausible reasoning için kapak resmi
Fundamental uncertainty rationality and plausible reasoning
Yazar 
Marzetti Dall'Aste Brandolini, Silva. Scazzieri, Roberto. Palgrave Connect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Domain-Level Reasoning for Spoken Dialogue Systems için kapak resmi
Domain-Level Reasoning for Spoken Dialogue Systems
Yazar 
Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Methods and criteria of reasoning : an inquiry into the structure of controversy için kapak resmi
Methods and criteria of reasoning : an inquiry into the structure of controversy
Yazar 
Crawshay-Williams, Rupert.
Yer Numarası 
BC 177 C7 1957 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms için kapak resmi
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
Yazar 
Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0615-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference için kapak resmi
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Yazar 
Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-11-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Reasoning from Race feminism, law, and the civil rights revolution için kapak resmi
Reasoning from Race feminism, law, and the civil rights revolution
Yazar 
Mayeri, Serena.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.4159/harvard.9780674061101
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Yazar 
Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22119-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Yazar 
Liu, Weiru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22152-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Approximate Reasoning by Parts An Introduction to Rough Mereology için kapak resmi
Approximate Reasoning by Parts An Introduction to Rough Mereology
Yazar 
Polkowski, Lech. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22279-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings için kapak resmi
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Yazar 
Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22546-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots için kapak resmi
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Yazar 
Hartanto, Ronny. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures için kapak resmi
Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
Yazar 
Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23032-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
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 için kapak resmi
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
Yazar 
Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16074-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday için kapak resmi
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Yazar 
Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20832-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Yazar 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Arguing global governance agency, lifeworld, and shared reasoning için kapak resmi
Arguing global governance agency, lifeworld, and shared reasoning
Yazar 
Bjola, Corneliu. Kornprobst, Markus.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Generic Inference a Unifying Theory for Automated Reasoning için kapak resmi
Generic Inference a Unifying Theory for Automated Reasoning
Yazar 
Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878
http://site.ebrary.com/lib/alltitles/Doc?id=10469758
Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings için kapak resmi
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
Yazar 
Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23291-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings için kapak resmi
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Yazar 
Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23580-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens için kapak resmi
Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens
Yazar 
Beißel, Stefan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8349-6232-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
The technique of controversy : principles of dynamic logic için kapak resmi
The technique of controversy : principles of dynamic logic
Yazar 
Bogoslovsky, Boris Basil, 1890-
Yer Numarası 
BC 108 B65 1928 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
25. 
Dialectic için kapak resmi
Dialectic
Yazar 
Adler, Mortimer Jerome, 1902-
Yer Numarası 
BC 177 A4 1927 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
26. 
Rationality and the reflective mind için kapak resmi
Rationality and the reflective mind
Yazar 
Stanovich, Keith E., 1950-
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195341140.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
The promise of reason studies in The new rhetoric için kapak resmi
The promise of reason studies in The new rhetoric
Yazar 
Perelman, Chaïm New rhetoric. Gage, John T., 1947- Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Using occupational therapy models in practice : a field guide için kapak resmi
Using occupational therapy models in practice : a field guide
Yazar 
Turpin, Merrill. Iwama, Michael K.
Yer Numarası 
WB 555 T957 2011
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
29. 
What are stem cells? definitions at the intersection of science and politics için kapak resmi
What are stem cells? definitions at the intersection of science and politics
Yazar 
Lynch, John (John Alexander), 1976- Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Religion in America : a political history için kapak resmi
Religion in America : a political history
Yazar 
Lacorne, Denis.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.7312/laco15100
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
The poverty of Clio : resurrecting economic history için kapak resmi
The poverty of Clio : resurrecting economic history
Yazar 
Boldizzoni, Francesco, 1979-
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7sgj1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
The great chocolate caper : a mystery that teaches logic skills için kapak resmi
The great chocolate caper : a mystery that teaches logic skills
Yazar 
Carr, Mary.
Yer Numarası 
BC108 C3773 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
33. 
Computational logic and human thinking how to be artificially intelligent için kapak resmi
Computational logic and human thinking how to be artificially intelligent
Yazar 
Kowalski, Robert.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Introduction to contextual processing theory and applications için kapak resmi
Introduction to contextual processing theory and applications
Yazar 
Vert, Gregory. Iyengar, S. S. (Sundararaja S.) Phoha, Vir V.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Bayesian artificial intelligence için kapak resmi
Bayesian artificial intelligence
Yazar 
Korb, Kevin B. Nicholson, Ann E.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Mathematical aspects of logic programming semantics için kapak resmi
Mathematical aspects of logic programming semantics
Yazar 
Hitzler, Pascal. Seda, Anthony.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Logic based on Schaum's Outline of theory and problems of logic için kapak resmi
Logic based on Schaum's Outline of theory and problems of logic
Yazar 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Logic demystified için kapak resmi
Logic demystified
Yazar 
Boutelle, Anthony. Gibilisco, Stan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
The science of reason a Festschrift for Jonathan St. B.T Evans için kapak resmi
The science of reason a Festschrift for Jonathan St. B.T Evans
Yazar 
Evans, Jonathan St. B. T., 1948- Manktelow, K. I., 1952- Over, D. E., 1946- Elqayam, Shira.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Medical error and harm understanding, prevention, and control için kapak resmi
Medical error and harm understanding, prevention, and control
Yazar 
Jenicek, Milos, 1935-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Schaum's outline of theory and problems of logic için kapak resmi
Schaum's outline of theory and problems of logic
Yazar 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: