Search Results for Conference proceedings.

|

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

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.

1.

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings için kapak resmi

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Yazar

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings için kapak resmi

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Yazar

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

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:

5.

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings için kapak resmi

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Yazar

Ekštein, Kamil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings için kapak resmi

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Yazar

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28796-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

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:

10.

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:

11.

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:

12.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings için kapak resmi

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Yazar

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11