Search Results for Logic programming languages.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Artificial intelligence.

Yazar

SpringerLink (Online service)

(12)

Alferes, Jose Julio. editor.

(1)

Bansal, Jagdish Chand. editor.

(1)

Beck, J. Christopher. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Das, Kedar Nath. editor.

(1)

Deep, Kusum. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Fodor, Paul. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Governatori, Guido. editor.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Inoue, Katsumi. editor.

(1)

Kroening, Daniel. editor.

(1)

Leone, Nicola. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Mathew, Lisa. editor.

(1)

Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435

(1)

Nagar, Atulya. editor.

(1)

Ohwada, Hayato. editor.

(1)

Pant, Millie. editor.

(1)

Roman, Dumitru. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Subramanian, K. G. editor. (orcid)0000-0001-8726-5850

(1)

Sumii, Eijiro. editor.

(1)

Taha, Walid. editor.

(1)

Yamamoto, Akihiro. editor.

(1)

Tümünü genişlet

Dil

(12)

Yayın Yılı

-

(3)

(2)

(2)

(2)

(2)

(1)

Tümünü genişlet

Konu

Computer logic.

(5)

Computer programming.

(5)

Programming languages (Electronic computers).

(5)

Software engineering.

(5)

Mathematical logic.

(4)

Computer Science Logic and Foundations of Programming.

(3)

Computer science.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Programming Techniques.

(3)

Compilers (Computer programs).

(2)

Compilers and Interpreters.

(2)

Computational intelligence.

(2)

Computer Application in Administrative Data Processing.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Information technology -- Management.

(2)

(1)

Application software.

(1)

Computer and Information Systems Applications.

(1)

Computer science -- Mathematics.

(1)

Human-Machine Interfaces.

(1)

Human-machine systems.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

12 sonuç bulundu

Arama sonuçlarına abone ol

1

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024 için kapak resmi

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

Yazar

Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6957-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Yazar

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74209-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers için kapak resmi

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Yazar

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14174-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings için kapak resmi

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19570-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Yazar

Beck, J. Christopher. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66158-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings için kapak resmi

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51676-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings için kapak resmi

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Yazar

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42019-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers için kapak resmi

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Yazar

Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40566-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1 için kapak resmi

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

Yazar

Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-81-322-2217-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings için kapak resmi

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Yazar

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07151-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12154-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers için kapak resmi

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Yazar

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54108-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11