Giriş
|
Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
English
Search Limit
Bütün Kütüphaneler
Elektronik Kaynaklar
Hepsi
Başkent Üniversitesi Kütüphanesi
Anadolu OSB Meslek Yüksekokulu
Atasev Özel Koleksiyon
Erdoğan Tercan Koleksiyonu
Güzel Sanatlar ve Tasarım Arşivi
Kazan Meslek Yüksekokulu
Hukuk Koleksiyonu
Ord.Prof.Dr. Enver Ziya Karal Tarih Uygulama Ars.Mrk.
Özel Koleksiyon Serdar Özersin
Tez Koleksiyonu
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
9
Search Field
Tüm Alanlar
Arama:
Gelişmiş Arama
Search Results
Elektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Language: English
+
Konu: Artificial intelligence.
+
Konu: Electronic books.
Yazar
Dahil
Hariç
ProQuest (Firm)
(83)
American Association for Artificial Intelligence.
(4)
Fette, Bruce Alan.
(3)
Kanal, Laveen N.
(3)
Dror, Itiel E.
(2)
Gelsema, Edzard S., 1937-
(2)
Open University.
(2)
Pfeifer, Rolf, 1947-
(2)
Picton, Philip.
(2)
ACM Digital Library.
(1)
Abhang, Priyanka A., author.
(1)
Abramson, Bruce.
(1)
Addo, Archie, author.
(1)
Adriaens, Geert.
(1)
Ahamed, Syed V.
(1)
Allen, James, 1950-
(1)
Appel, Andrew, author.
(1)
Arai, Tatsuo.
(1)
Arbib, Michael A.
(1)
Association for Computing Machinery.
(1)
Association pour la promotion de l'informatique avancée.
(1)
Ballard, Will, author.
(1)
Banafa, Ahmed, author.
(1)
Bandyopadhyay, Sanghamitra, 1968-
(1)
Baral, Chitta.
(1)
Barbucha, Dariusz.
(1)
Beber, Grace.
(1)
Beer, Randall D.
(1)
Belpaeme, Tony.
(1)
Bennett, Curtis , author.
(1)
Besnard, Philippe, 1958-
(1)
Bharath, A. A. (Anil Anthony)
(1)
Bhardwaj, Anurag, author.
(1)
Bhatt, Mehul.
(1)
Bhattacharjee, Joydeep, author.
(1)
Birnbaum, Lawrence.
(1)
Bochman, Alexander, 1955-
(1)
Bodaghi, Nahid Bayat.
(1)
Boden, Margaret A.
(1)
Boden, Margaret A., author.
(1)
Bonaccorso, Giuseppe, author.
(1)
Bongard, Josh.
(1)
Bonissone, Piero Patrone, editor.
(1)
Booker, Lashon.
(1)
Borgida, Alexander.
(1)
Botti, Vicent.
(1)
Bourgine, Paul.
(1)
Bowles, Adrian, author.
(1)
Brey, Philip A. E.
(1)
Briggle, Adam.
(1)
Brodie, Michael L.
(1)
Broeck, C. van den (Christian), 1954-
(1)
Brown, Daniel, Dr.
(1)
Brucher, Matthieu, author.
(1)
Bugaj, Stephan Vladimir.
(1)
Buitelaar, Paul.
(1)
Bundy, Alan.
(1)
Bunke, Horst.
(1)
Bussin, Mark, author.
(1)
Cakrabarttī, Aruṇā, editor.
(1)
Callataÿ, Armand M. de, 1935- author.
(1)
Caplan, David, 1947-
(1)
Castro, Alberto F. Hamilton.
(1)
Center for the Study of Language and Information (U.S.)
(1)
Centhala, Srini, author.
(1)
Ceusters, W. (Werner)
(1)
Chamoux, Jean-Pierre, editor.
(1)
Chan, Felix.
(1)
Chang, Chin-Liang, 1937-
(1)
Cheong, Loh Sau.
(1)
Cimiano, Philipp.
(1)
Cock, Martine de.
(1)
Coelho, Luis Pedro, author.
(1)
Collins, Allan, 1937-
(1)
Collins, Gregg.
(1)
Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
(1)
Conference on Uncertainty in Artificial Intelligence (7th : 1991 : Los Angeles, Calif.)
(1)
Conference on Uncertainty in Artificial Intelligence (8th : 1992 : Stanford University)
(1)
Cook, Diane J., 1963-
(1)
Cottrell, Garrison Weeks, 1950-
(1)
Cowley, Stephen J. (Stephen John), 1955-
(1)
Cox, Michael T., 1955-
(1)
Crespo, A. (Alfons)
(1)
Cudihins, Dmitrijs, author.
(1)
Czap, Hans.
(1)
D'Ambrosio, Bruce, editor.
(1)
Das, Sajal K.
(1)
Dautenhahn, Kerstin.
(1)
Davim, J. Paulo.
(1)
Davis, Ernest.
(1)
Dawson, Michael Robert William, 1959- author.
(1)
De Gyurky, Szabolcs Michael.
(1)
De Visser, Ewart J., editor.
(1)
DeLancey, Craig, 1965-
(1)
Di, Wei, author.
(1)
Dietrich, Eric.
(1)
Doumpos, Michael.
(1)
Doyle, Jon.
(1)
Du Boulay, Ben.
(1)
Dubois, Didier.
(1)
Dunin-Kȩplicz, Barbara.
(1)
Dupuis, Brian, 1984- author.
(1)
Dutta, Sayon, author.
(1)
Dutta, Soumitra.
(1)
Engel, A. (Andreas), 1957-
(1)
Epstein, Robert, 1953-
(1)
Erneling, Christina E., 1951-
(1)
European-Japanese Conference on Information Modelling and Knowledge Bases (12th : 2001 : Krippen, Germany)
(1)
FSMNLP 2008 (2008 : Ispra, Italy)
(1)
Fagin, Ronald.
(1)
Findler, N. V.
(1)
Fisher, Michael, 1962-
(1)
Flores, John A.
(1)
Fogel, David B.
(1)
Gabbay, Dov M., 1945-
(1)
Gandy, R. O. (Robin O.)
(1)
Ganegedara, Thushan, author.
(1)
Gawali, Bharti, author.
(1)
Geller, James.
(1)
Georgeff, Michael P., 1946-
(1)
Geraci, Robert M.
(1)
German, O. V. (Oleg Vitolʹdovich)
(1)
Gibert, Karina.
(1)
Ginsberg, Matthew L., 1955-
(1)
Glymour, Clark N.
(1)
Goertzel, Ben.
(1)
González, Evelio J.
(1)
Gorayska, Barbara.
(1)
Gordon, Brent M.
(1)
Govers, Francis X, author.
(1)
Govindaraju, Venu.
(1)
Grand, Simon.
(1)
Grigoroudis, Evangelos.
(1)
Gudivada, Venkat N., editor.
(1)
Güsgen, Hans Werner, 1959-
(1)
Halpern, Joseph Y., 1953-
(1)
Hamm, Steve.
(1)
Hammond, Kristian J.
(1)
Harnad, Stevan R.
(1)
Hayes-Roth, Frederick.
(1)
Hendler, James A.
(1)
Hippe, Z., 1930-
(1)
Hirota, K. (Kaoru)
(1)
Hogan, Aidan, author.
(1)
Holland, Owen.
(1)
Horvitz, Eric.
(1)
Hunt, Earl B.
(1)
Hunter, Anthony, 1962-
(1)
Hunter, Lynette.
(1)
Hurwitz, Judith S., author.
(1)
Husbands, Phil.
(1)
IEEE Computer Society.
(1)
IFAC Symposium on Artificial Intelligence in Real-Time Control (1994 : Valencia, Spain)
(1)
International Business Machines Corporation.
(1)
International Conference on Artificial Intelligence Planning Systems (1st : 1992 : College Park, Md.)
(1)
International Conference on Artificial Intelligence: Methodology, Systems, Applications (4th : 1990 : Albania, Bulgaria)
(1)
International Conference on Artificial Intelligence: Methodology, Systems, Applications (5th : 1992 : Sofia, Bulgaria)
(1)
International Conference on Economics and Artificial Intelligence (2nd : 1990 : Paris, France)
(1)
International Federation of Automatic Control.
(1)
International Symposium on Systems and Human Science (1st : 2003 : Osaka University)
(1)
International Workshop on Machine Learning (8th : 1991 : Northwestern University)
(1)
Jaakkola, Hannu.
(1)
Janssen, Terry.
(1)
Johnson, David Martel.
(1)
Johnson, J. (Jeffrey)
(1)
Johnson, Jeffrey.
(1)
Johnston, John, 1947-
(1)
Jonckers, Viviane.
(1)
Jorrand, Ph. (Philippe)
(1)
Joshi, Prateek, author.
(1)
Kandel, Abraham.
(1)
Kangassalo, Hannu.
(1)
Karim, Rezaul, author.
(1)
Kaufman, Marcia, author.
(1)
Keisoku Jidō Seigyo Gakkai (Japan)
(1)
Kelly, John E., III (John Edward), 1954-
(1)
Kerre, Etienne.
(1)
Kiong, Loo Chu.
(1)
Kitamura, Tadashi, 1947-
(1)
Kitano, Hiroaki, 1961-
(1)
Kiyoki, Yasushi.
(1)
Konar, Amit, editor.
(1)
Kopec, Danny, author.
(1)
Kopec, Danny, editor.
(1)
Kyaw, Aung Sithu.
(1)
Laird, John, 1954-
(1)
Lam, H. K.
(1)
Lansky, Amy L., 1955-
(1)
Last, Mark.
(1)
Lawless, William, editor.
(1)
Leaver, Tama.
(1)
Lee, Richard Char-Tung, 1939- author.
(1)
Leibovitz, Liel, author.
(1)
Li, Min, 1978-
(1)
Liao, Beishui.
(1)
Lifschitz, Vladimir.
(1)
Ling, Steve S. H.
(1)
Liu, Derong.
(1)
Liu, Jiming, 1962-
(1)
Liu, Yuxi, author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Yayın Yılı
Dahil
Hariç
-
2018
(17)
2014
(14)
2013
(13)
2010
(12)
2008
(11)
2006
(10)
1990
(9)
2002
(9)
2017
(9)
1991
(8)
2005
(8)
2012
(8)
1988
(7)
1992
(7)
2001
(7)
1994
(6)
2007
(6)
2009
(6)
2011
(6)
2016
(6)
1987
(5)
1995
(5)
1997
(5)
1999
(5)
2003
(5)
2004
(5)
1986
(4)
1996
(4)
1998
(4)
2015
(4)
2019
(4)
2020
(4)
1975
(3)
1989
(3)
1993
(3)
2000
(3)
1973
(2)
1978
(2)
1979
(2)
1982
(2)
1900
(1)
1901
(1)
1902
(1)
1903
(1)
1904
(1)
1905
(1)
1906
(1)
1907
(1)
1908
(1)
1909
(1)
1910
(1)
1911
(1)
1912
(1)
1913
(1)
1914
(1)
1915
(1)
1916
(1)
1917
(1)
1918
(1)
1919
(1)
1920
(1)
1921
(1)
1922
(1)
1923
(1)
1924
(1)
1925
(1)
1926
(1)
1927
(1)
1928
(1)
1929
(1)
1930
(1)
1931
(1)
1932
(1)
1933
(1)
1934
(1)
1935
(1)
1936
(1)
1937
(1)
1938
(1)
1939
(1)
1940
(1)
1941
(1)
1942
(1)
1943
(1)
1944
(1)
1945
(1)
1946
(1)
1947
(1)
1948
(1)
1949
(1)
1950
(1)
1951
(1)
1952
(1)
1953
(1)
1954
(1)
1955
(1)
1956
(1)
1957
(1)
1958
(1)
1959
(1)
1960
(1)
1961
(1)
1962
(1)
1963
(1)
1964
(1)
1965
(1)
1966
(1)
1967
(1)
1968
(1)
1969
(1)
1970
(1)
1971
(1)
1972
(1)
1974
(1)
1976
(1)
1977
(1)
1980
(1)
1981
(1)
1983
(1)
1984
(1)
1985
(1)
2021
(1)
2022
(1)
2023
(1)
2024
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Intelligence artificielle.
(34)
Kunstmatige intelligentie.
(18)
Artificial intelligence -- Congresses.
(16)
Künstliche Intelligenz
(16)
Conference papers and proceedings.
(15)
COMPUTERS -- General.
(14)
Expert systems (Computer science)
(12)
Cognitive science.
(11)
Machine learning.
(11)
Neural networks (Computer science)
(11)
Cognition.
(10)
Artificial intelligence
(8)
Intelligence artificielle -- Congrès.
(8)
Reasoning.
(8)
COMPUTERS -- Intelligence (AI) & Semantics.
(6)
Künstliche Intelligenz.
(6)
Aufsatzsammlung
(5)
COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.
(5)
Knowledge, Theory of.
(5)
Computer games -- Programming.
(4)
Computer vision.
(4)
Computers.
(4)
Cybernetics.
(4)
Human-computer interaction.
(4)
Logic, Symbolic and mathematical.
(4)
Parallel processing (Electronic computers)
(4)
Problem solving.
(4)
Python (Computer program language)
(4)
Raisonnement.
(4)
Computational intelligence.
(3)
Computational linguistics.
(3)
Computer science.
(3)
Information retrieval.
(3)
Intelligent agents (Computer software)
(3)
Linguistique informatique.
(3)
Natural language processing (Computer science)
(3)
Pattern perception.
(3)
Pattern recognition systems.
(3)
Planification.
(3)
Planning.
(3)
Psycholinguistics.
(3)
Psycholinguistique.
(3)
Reasoning -- Congresses.
(3)
Robotics.
(3)
Semantic computing.
(3)
Software radio.
(3)
Sémantique.
(3)
Wireless communication systems.
(3)
Application software -- Development.
(2)
Artificial life.
(2)
Automatic theorem proving.
(2)
Big data.
(2)
Bioinformatics.
(2)
Cognitiewetenschap.
(2)
Computer algorithms.
(2)
Computer engineering.
(2)
Computer integrated manufacturing systems.
(2)
Computer networks.
(2)
Computer programming.
(2)
Connaissance, Théorie de la.
(2)
Conscious automata.
(2)
Datenverarbeitung
(2)
Electronic data processing -- Distributed processing.
(2)
Human information processing.
(2)
Human-machine systems.
(2)
Image processing.
(2)
Intellect.
(2)
Intelligent control systems.
(2)
Internet of things.
(2)
Knowledge representation (Information theory)
(2)
Knowledge, Theory of -- Congresses.
(2)
Kognitiver Prozess
(2)
Kongress
(2)
Logic, Symbolic and mathematical -- Congresses.
(2)
Logic.
(2)
Maschinelles Lernen
(2)
Pattern recognition
(2)
Philosophy of mind.
(2)
Planung
(2)
Problemlösen
(2)
R (Computer program language)
(2)
Raisonnement -- Congrès.
(2)
Redeneren.
(2)
Religion and science.
(2)
Science -- Philosophy.
(2)
Self-organizing systems.
(2)
Semantics.
(2)
System design.
(2)
Systèmes experts (Informatique)
(2)
TECHNOLOGY & ENGINEERING -- Mobile & Wireless Communications.
(2)
TECHNOLOGY & ENGINEERING -- Radio.
(2)
Technology -- Social aspects.
(2)
Technology.
(2)
Thought and thinking.
(2)
Théorèmes -- Démonstration automatique.
(2)
Uncertainty (Information theory)
(2)
Uncertainty (Information theory) -- Congresses.
(2)
Virtual reality.
(2)
54.72 artificial intelligence.
(1)
APRENDIZADO COMPUTACIONAL.
(1)
Adaptation (Biology) -- Computer simulation.
(1)
Adaptive computing systems.
(1)
Adaptive control systems -- Mathematical models.
(1)
Affect (Psychology)
(1)
Algorithms & data structures.
(1)
Algorithms.
(1)
Algorithmus.
(1)
Ambiguity.
(1)
Ambiguität
(1)
Ambiguïteit.
(1)
Ambiguïté
(1)
Androids -- Social aspects.
(1)
Androids.
(1)
Animal behavior -- Computer simulation.
(1)
Aphasia.
(1)
Apprentissage automatique -- Congrès.
(1)
Apprentissage automatique.
(1)
Artificial intelligence -- History.
(1)
Artificial intelligence -- Methodology.
(1)
Artificial intelligence -- Social aspects.
(1)
Artificial intelligence Applications of computer systems Programming Use of associative networks
(1)
Artificial intelligence Related to Economics
(1)
Artificial intelligence Related to Mind
(1)
Artificiel
(1)
Automatentheorie.
(1)
Automatic control.
(1)
Automatisches Beweisverfahren
(1)
Autonomic computing.
(1)
BUSINESS & ECONOMICS -- Industrial Management.
(1)
BUSINESS & ECONOMICS -- Management Science.
(1)
BUSINESS & ECONOMICS -- Management.
(1)
BUSINESS & ECONOMICS -- Organizational Behavior.
(1)
BUSINESS & ECONOMICS / General.
(1)
Base
(1)
Bases de données -- Gestion.
(1)
Benevolence.
(1)
Berekenbaarheid.
(1)
Bewegingsleer.
(1)
Bewegung
(1)
Bewegungsanalyse
(1)
Bewegungssteuerung
(1)
Bewijs (wetenschap)
(1)
Bildfolgenverarbeitung
(1)
Biomechanica.
(1)
Blockchains (Databases)
(1)
Brain -- Mathematical models.
(1)
Brain -- Physiology.
(1)
Brain -- physiology.
(1)
Brain.
(1)
Business planning.
(1)
COMPUTERS -- Cybernetics.
(1)
COMPUTERS -- Data Processing.
(1)
Cas
(1)
Causale modellen.
(1)
Cerveaux électroniques.
(1)
Chemical engineering Use of Computers
(1)
Chemical process control -- Data processing.
(1)
Chemical structure -- Data processing.
(1)
Chemie
(1)
Chemie.
(1)
Chemische Reaktion
(1)
Chemische Reaktion.
(1)
Chemische Struktur
(1)
Chemische Struktur.
(1)
Chemische structuur.
(1)
Chemistry Role of Artificial intelligence
(1)
Cinésiologie -- Recherche -- Technique.
(1)
Cognitie.
(1)
Cognition -- Congresses.
(1)
Cognition -- Congrès.
(1)
Cognition -- Mathematical models.
(1)
Cognition -- Modèles mathématiques.
(1)
Cognition -- Philosophie.
(1)
Cognition -- Philosophy.
(1)
Cognitive neuroscience.
(1)
Cognitive psychology.
(1)
Cognitive science -- Congresses.
(1)
Commande automatique.
(1)
Commonsense reasoning.
(1)
Complex analysis, complex variables.
(1)
Comprehension (Theory of knowledge)
(1)
Computational biology.
(1)
Computational grids (Computer systems)
(1)
Computational intelligence -- Congresses.
(1)
Computer Systems.
(1)
Computer architecture.
(1)
Computer checkers.
(1)
Computer engineering -- Philosophy.
(1)
Computer engineering -- Social aspects.
(1)
Computer games -- Design.
(1)
Computer science
(1)
Computer security.
(1)
Computer software -- Quality control.
(1)
Computer software -- Testing.
(1)
Computer-aided design.
(1)
Computeralgebra
(1)
Computerlinguistik
(1)
Computers -- Religious aspects.
(1)
Computers and civilization.
(1)
Concept learning -- Congresses.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Kütüphane
Dahil
Hariç
Başkent Kütüphanesi
Lokasyon
Dahil
Hariç
Ebook Central
Elsevier E-Kitap Koleksiyonu
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
205 sonuç bulundu
1
..
14
15
16
17
18
Sırala:
Konuyla İlgili Sırala
Yayın Yılı (eskiden yeniye)
Yayın Yılı (yeniden eskiye)
Başlık
Yazar
OK
Eposta Adresleri
:
Phone Number:
Mobile Carrier:
AT&T
Boost
Nextel (Sprint)
Sprint (PCS)
T Mobile
TracFone
US Cellular
Verizon
Virgin
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.
Text it to me
Text it to me, and go to next item
0
DEFAULTTR
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
Symbolic logic and mechanical theorem proving
205.
Symbolic logic and mechanical theorem proving
by
Chang, Chin-Liang, 1937-
ScienceDirect
https://www.sciencedirect.com/science/book/9780080917283
Format:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
14
15
16
17
18
Search Results
Elektronik Kaynaklar
Search Results
Elektronik Kaynaklar
OK
Eposta Adresleri
:
Phone Number:
Mobile Carrier:
AT&T
Boost
Nextel (Sprint)
Sprint (PCS)
T Mobile
TracFone
US Cellular
Verizon
Virgin
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.
Text it to me
Text it to me, and go to next item
Elektronik Kaynaklar
Sonuçlar alınıyor Elektronik Kaynaklar...
action