Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(30)
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X
(2)
Dimitrova, Rayna. editor.
(2)
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996
(2)
Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789
(2)
Dil
Yayın Yılı
-
Konu
Logic in AI.
(30)
Computer science.
(15)
Software engineering.
(14)
Computer science -- Mathematics.
(11)
Theory of Computation.
(11)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
40 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
A grammatical view of logic programming için kapak resmi
A grammatical view of logic programming
Yazar 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Mathematical aspects of logic programming semantics için kapak resmi
Mathematical aspects of logic programming semantics
Yazar 
Hitzler, Pascal., author. Seda, Anthony.
Yer Numarası 
QA76.63 .H58 2011
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Principles of logic and logic programming için kapak resmi
Principles of logic and logic programming
Yazar 
Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
From logic to logic programming için kapak resmi
From logic to logic programming
Yazar 
Doets, Kees.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Inductive logic programming from machine learning to software engineering için kapak resmi
Inductive logic programming from machine learning to software engineering
Yazar 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming için kapak resmi
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Foundations of probabilistic logic programming : languages, semantics, inference and learning için kapak resmi
Foundations of probabilistic logic programming : languages, semantics, inference and learning
Yazar 
Riguzzi, Fabrizio, author.
Yer Numarası 
QA76.63
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003427421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Warren's abstract machine a tutorial reconstruction için kapak resmi
Warren's abstract machine a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures için kapak resmi
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Yazar 
Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80283-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers için kapak resmi
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
Yazar 
Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86054-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers için kapak resmi
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Yazar 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88045-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings için kapak resmi
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Yazar 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets