Search Results for Logic programming.

1.

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Yazar

Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)

Yer Numarası

XX(519102.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23708-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Yazar

Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

XX(519103.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-48899-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Yazar

Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)

Yer Numarası

XX(519276.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Yazar

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Yer Numarası

XX(519293.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23264-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

Yazar

Trappl, Robert. editor. SpringerLink (Online service)

Yer Numarası

XX(518563.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-21548-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Yazar

Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)

Yer Numarası

XX(518775.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Yazar

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Yer Numarası

XX(518949.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-47709-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Yazar

Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Yer Numarası

XX(519139.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-28114-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Yazar

Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

XX(519146.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46823-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(519161.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46678-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Yazar

Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)

Yer Numarası

XX(519087.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Yazar

Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)

Yer Numarası

XX(518763.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23485-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}