Search Results for Conference proceedings.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Mathematical logic.

Yazar

SpringerLink (Online service)

(69)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Cornelis, Chris. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Ortuño, Francisco. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Valenzuela, Olga. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Abraham, Erika. editor.

(1)

Agrawal, Manindra. editor.

(1)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Andreasen, Troels. editor.

(1)

Asher, Nicholas. editor.

(1)

Baptista, Jorge. editor.

(1)

Barais, Olivier. editor.

(1)

Batyrshin, Ildar. editor.

(1)

Bello, Rafael. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Bernardi, Raffaella. editor.

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Bloem, Roderick. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

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

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Candeias, Sara. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Cerrito, Serenella. editor.

(1)

Christiansen, Henning. editor.

(1)

Ciucci, Davide. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Demri, Stéphane. editor.

(1)

Diaz, Josep. editor.

(1)

Dillig, Isil. editor.

(1)

Ekštein, Kamil. editor.

(1)

Fermé, Eduardo. editor.

(1)

Fernández, Miriam. editor. (orcid)0000-0001-5939-4321

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Gamboa, Ruben. editor.

(1)

George, Laurent. editor.

(1)

Giese, Holger. editor.

(1)

Glodeanu, Cynthia Vera. editor.

(1)

Goertzel, Ben. editor.

(1)

Gopal, T V. editor.

(1)

Gopal, T.V. editor.

(1)

Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

(1)

Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828

(1)

Greco, Sergio. editor.

(1)

Grossi, Davide. editor.

(1)

Haller, Armin. editor. (orcid)0000-0003-3425-0780

(1)

Hammar, Karl. editor. (orcid)0000-0001-8767-4136

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472

(1)

Hofman, Piotrek. editor.

(1)

Holzer, Markus. editor.

(1)

Hospodár, Michal. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Höfner, Peter. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Janowicz, Krzysztof. editor.

(1)

Jipsen, Peter. editor.

(1)

Jirásková, Galina. editor.

(1)

Jones, Richard. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kan, Min-Yen. editor.

(1)

Kapur, Deepak. editor.

(1)

Kaytoue, Mehdi. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Klein, Gerwin. editor.

(1)

Kobele, Greg. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kutrib, Martin. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

König, Barbara. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Larsen, Henrik Legind. editor.

(1)

Leake, David. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leite, Joao. editor.

(1)

Leone, Nicola. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Sujian. editor.

(1)

Lopez, Vanessa. editor.

(1)

Lutz, Carsten. editor.

(1)

MacIntyre, John. editor.

(1)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(1)

Mamede, Nuno. editor.

(1)

Manea, Florin. editor.

(1)

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

(1)

Manuel, Amaldev. editor.

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martin, Barnaby. editor.

(1)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(1)

Marín-Hernández, Antonio. editor.

(1)

Medina-Moreno, Jesús. editor.

(1)

Meheus, Joke. editor.

(1)

Menasalvas Ruiz, Ernestina. editor.

(1)

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

(1)

Merz, Stephan. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Morrill, Glyn. editor.

(1)

Motoda, Hiroshi. editor.

(1)

Muscholl, Anca. editor.

(1)

Muskens, Reinhard. editor.

(1)

Müller, Martin Eric. editor.

(1)

Narukawa, Yasuo. editor.

(1)

O'Sullivan, Barry. editor.

(1)

Ogrodniczuk, Maciej. editor.

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Orseau, Laurent. editor.

(1)

Osswald, Rainer. editor.

(1)

Pang, Jun. editor.

(1)

Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837

(1)

Paraboni, Ivandré. editor.

(1)

Pardo, Thiago A.S. editor.

(1)

Parent, Xavier. editor.

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170

(1)

Paulusma, Daniël. editor.

(1)

Pearce, David. editor.

(1)

Pimenidis, Elias. editor.

(1)

Pogodalla, Sylvain. editor.

(1)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(1)

Primiero, Giuseppe. editor.

(1)

Przepiórkowski, Adam. editor.

(1)

Ras, Zbigniew. editor.

(1)

Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291

(1)

Richter, Frank. editor.

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Sacarea, Christian. editor.

(1)

Saccà, Domenico. editor.

(1)

Sangiorgi, Davide. editor.

(1)

Sattler, Uli. editor.

(1)

Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563

(1)

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415

(1)

Shang, Lin. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Shi, Zhongzhi. editor.

(1)

Shur, Arseny M. editor.

(1)

Sierra-Rodríguez, José-Luis. editor.

(1)

Simpson, Alex. editor.

(1)

Skrzypczak, Michał. editor.

(1)

Slezak, Dominik. editor.

(1)

Smolka, Scott A. editor.

(1)

Snaider, Javier. editor.

(1)

Soloviev, Sergei. editor.

(1)

Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859

(1)

Tang, Jie. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thielscher, Michael. editor.

(1)

Ting, I-Hsien. editor.

(1)

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037

(1)

Truthe, Bianca. editor.

(1)

Uden, Lorna. editor.

(1)

Vardanega, Tullio. editor.

(1)

Vinju, Jurgen. editor.

(1)

Viviani, Marco. editor. (orcid)0000-0002-2274-9050

(1)

Volkov, Mikhail V. editor.

(1)

Volpe Nunes, Maria das Gracas. editor.

(1)

Watada, Junzo. editor.

(1)

Weidenbach, Christoph. editor.

(1)

Wiels, Virginie. editor.

(1)

Wolf, Verena. editor. (orcid)0000-0001-8460-6007

(1)

Wu, Zhaohui. editor.

(1)

Yahav, Eran. editor.

(1)

Zan, Hongying. editor.

(1)

Zaveri, Amrapali. editor.

(1)

Zhao, Dongyan. editor.

(1)

de Givry, Simon. editor. (orcid)0000-0002-2242-0458

(1)

Tümünü genişlet

Dil

(69)

Yayın Yılı

-

(36)

(33)

Konu

Artificial intelligence.

(42)

Computer logic.

(28)

Software engineering.

(22)

Computer science—Mathematics.

(17)

(16)

(14)

Information storage and retrieval.

(14)

Programming languages (Electronic computers).

(12)

(10)

Application software.

(8)

Database management.

(7)

Data structures (Computer science).

(6)

Natural language processing (Computer science).

(6)

Computer programming.

(5)

Computer communication systems.

(3)

Computer simulation.

(3)

Computer system failures.

(3)

Pattern recognition.

(3)

Special purpose computers.

(3)

Bioinformatics.

(2)

Computer science.

(2)

Machine learning.

(2)

Numerical analysis.

(2)

Optical data processing.

(2)

Arithmetic and logic units, Computer.

(1)

Computational linguistics.

(1)

Computer organization.

(1)

Computer security.

(1)

Information theory.

(1)

Knowledge representation (Information theory) .

(1)

(1)

Management information systems.

(1)

Mathematical statistics.

(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ç

69 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6

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.

13.

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings için kapak resmi

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Yazar

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35166-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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:

15.

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings için kapak resmi

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Yazar

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II için kapak resmi

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings için kapak resmi

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Yazar

Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27629-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Yazar

Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23247-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings için kapak resmi

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Yazar

Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58771-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings için kapak resmi

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Yazar

Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21451-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Yazar

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings için kapak resmi

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Yazar

Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29026-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings için kapak resmi

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30179-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11