Search Results for Mathematical logic.

|

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

Yazar

SpringerLink (Online service)

(477)

Gabbay, Dov M. author.

(4)

Löwe, Benedikt. editor.

(4)

Mostowski, Andrzej.

(4)

Schlechta, Karl. author.

(4)

Andreescu, Titu. author.

(3)

Association for Symbolic Logic.

(3)

Blackburn, Patrick. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Cooper, S. Barry. editor.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Kanamori, Akihiro. editor.

(3)

Laurent, Anne. editor.

(3)

Nerode, Anil. editor.

(3)

(3)

Ong, Luke. editor.

(3)

Pacuit, Eric. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Seising, Rudolf. editor.

(3)

Strauss, Olivier. editor.

(3)

Suppes, Patrick, 1922-

(3)

Tarski, Alfred.

(3)

Trillas, Enric. editor.

(3)

Wiley InterScience (Online service)

(3)

Yager, Ronald R. editor.

(3)

Ésik, Zoltán. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Arruda, A. I. (Ayda Ignez)

(2)

Artemov, Sergei. editor.

(2)

(2)

Bekki, Daisuke. editor.

(2)

Benthem, Johan.

(2)

Beziau, Jean-Yves. editor.

(2)

Biere, Armin. editor.

(2)

Bloem, Roderick. editor.

(2)

Bobillo, Fernando. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bridges, Douglas S. author.

(2)

Carnielli, Walter. author.

(2)

(2)

Coecke, Bob. editor.

(2)

Cornelis, Chris. editor.

(2)

Crespi Reghizzi, Stefano. author.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

(2)

Dalen, D. van (Dirk), 1932-

(2)

Dediu, Adrian-Horia. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Ditmarsch, Hans. editor.

(2)

Ebbinghaus, Heinz-Dieter. author.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Flum, Jörg. author.

(2)

Fried, Michael D. author.

(2)

Gabbay, Dov M. editor.

(2)

Gandy, R. O. (Robin O.)

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Goncharov, Sergei S. editor.

(2)

Grossi, Davide. editor.

(2)

Gupta, Amitabha. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Herzberg, Frederik. author.

(2)

Hilpinen, Risto, contributor.

(2)

Hooker, John, 1949-

(2)

Horrocks, Ian. editor.

(2)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(2)

Jain, Sanjay. editor.

(2)

Jarden, Moshe. author.

(2)

Kaminski, Michael. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Konstantinidis, Stavros. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Kunen, Kenneth.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

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

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Legay, Axel. editor.

(2)

Lindström, Sten. editor.

(2)

Lucchetti, Roberto. editor.

(2)

Lukasiewicz, Thomas. editor.

(2)

Lutz, Carsten. editor.

(2)

Marchisotto, Elena Anne. author.

(2)

Martín-Vide, Carlos. editor.

(2)

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

(2)

Masulli, Francesco. editor.

(2)

Medina-Moreno, Jesús. editor.

(2)

Mendelson, Elliott.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Middeldorp, Aart. editor.

(2)

Moortgat, Michael. editor.

(2)

Moraga, Claudio. editor.

(2)

Morrill, Glyn. editor.

(2)

Morzenti, Angelo. author.

(2)

Mundici, Daniele. author.

(2)

Nickles, Matthias. editor.

(2)

Ortuño, Francisco. editor.

(2)

O’Regan, Gerard. author.

(2)

Palmgren, Erik. editor.

(2)

Petre, Luigia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pietarinen, Ahti-Veikko, contributor.

(2)

Pool, Michael. editor.

(2)

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

(2)

Potapov, Igor. editor.

(2)

Prestel, Alexander. author.

(2)

Priese, Lutz. author.

(2)

(2)

Rautenberg, Wolfgang. author.

(2)

Richter, Frank. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Rosen, Kenneth H.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Shur, Arseny M. editor.

(2)

Soifer, Alexander. author.

(2)

Sojka, Petr. editor.

(2)

Sommaruga, Giovanni. editor.

(2)

Son, Tran Cao. editor.

(2)

Stephan, Frank. editor.

(2)

Subrahmanian, V.S. author.

(2)

Sun, Jun. editor.

(2)

Tang, Jie. editor.

(2)

Tasiran, Serdar. editor.

(2)

Termini, Settimo. editor.

(2)

Tieszen, Richard.

(2)

Truthe, Bianca. editor.

(2)

Valenzuela, Olga. editor.

(2)

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

(2)

Voronkov, Andrei. editor.

(2)

Vîţă, Luminiţa Simona. author.

(2)

Wallis, W.D. author.

(2)

Weidenbach, Christoph. editor.

(2)

Zakharyaschev, Michael. editor.

(2)

Zermelo, Ernst. author.

(2)

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

(2)

van Benthem, Johan. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aberdein, Andrew. editor.

(1)

Abraham, Erika. editor.

(1)

Academia Republicii Socialiste România.

(1)

Achten, Peter. editor.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

Agosti, Stefano, contributor.

(1)

Agrawal, Manindra. editor.

(1)

Agrest, Diana, contributor.

(1)

(1)

Akgül, Tayfun, karikatür.

(1)

Albert, Elvira. editor.

(1)

Albeverio, Sergio. author.

(1)

Alexander, Victoria N., contributor.

(1)

Alinei, Mario, contributor.

(1)

Almansi, Guido, contributor.

(1)

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

(1)

Amgoud, Leila. author.

(1)

Andacht, Fernando, contributor.

(1)

Andersen, Henning, contributor.

(1)

Anderson, Douglas, contributor.

(1)

Andreasen, Troels. editor.

(1)

Andrew, Alex M. author.

(1)

Andrica, Dorin. author.

(1)

Andréka, Hajnal. editor.

(1)

Anellis, Irving, contributor.

(1)

Annoni, Marco, contributor.

(1)

Anshakov, Oleg M. author.

(1)

Apostol, Pavel, contributor.

(1)

Archer, Dane, contributor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Arigoni, A. O., contributor.

(1)

Arlandi, Gian Franco, contributor.

(1)

Artemov, Sergei N. editor.

(1)

Artho, Cyrille. editor.

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Asher, Nicholas. editor.

(1)

Aspinall, David. editor.

(1)

Astola, Jaakko. author.

(1)

Atanassov, Krassimir T. author.

(1)

Atif, Muhammad. author.

(1)

Atkins, Richard Kenneth, contributor.

(1)

Atmanspacher, Harald. editor.

(1)

(1)

Atã, Pedro, contributor.

(1)

Aue, Maximilian.

(1)

Avalle, d\x27Arco Silvio, contributor.

(1)

Aveiro, David. editor. (orcid)0000-0001-6453-3648

(1)

Ayeni, Babatunde J.

(1)

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Baaz, Matthias. author.

(1)

Tümünü genişlet

Dil

(603)

(18)

(7)

(7)

(3)

Multiple languages

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(137)

(85)

(81)

(58)

(39)

(38)

(34)

(32)

(30)

(30)

(28)

(15)

(14)

(11)

(10)

(9)

(9)

(7)

(7)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Logic, Symbolic and mathematical.

(315)

Computer science.

(198)

Artificial intelligence.

(157)

Mathematical logic.

(152)

(133)

Mathematical Logic and Formal Languages.

(101)

Software engineering.

(98)

(85)

Computer logic.

(65)

Logics and Meanings of Programs.

(56)

(50)

Artificial Intelligence (incl. Robotics).

(48)

Computer software.

(41)

(40)

Computer science—Mathematics.

(33)

(31)

(31)

Philosophy (General).

(31)

Programming Languages, Compilers, Interpreters.

(31)

Computational complexity.

(29)

Mathematical Logic and Foundations.

(29)

Information theory.

(27)

Algorithm Analysis and Problem Complexity.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

(24)

Programming languages (Electronic computers).

(24)

(23)

Algebra -- Data processing.

(22)

Computation by Abstract Devices.

(22)

(22)

Information storage and retrieval.

(21)

Programming Techniques.

(21)

Science -- Philosophy.

(20)

Application software.

(19)

Database management.

(19)

Discrete Mathematics in Computer Science.

(16)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(16)

Computer simulation.

(14)

Mathematics -- Philosophy.

(13)

Mathematics_$xHistory.

(13)

Electronic data processing.

(12)

Natural language processing (Computer science).

(12)

Computer programming.

(11)

Data structures (Computer science).

(11)

Global analysis (Mathematics).

(10)

Information Storage and Retrieval.

(10)

Information storage and retrieval systems.

(10)

Distribution (Probability theory).

(9)

Geometry, algebraic.

(9)

Symbolic and Algebraic Manipulation.

(9)

Computer Communication Networks.

(8)

Genetic epistemology.

(8)

(8)

Math Applications in Computer Science.

(8)

(8)

(8)

Computational intelligence.

(7)

Computer communication systems.

(7)

Computer system failures.

(7)

Computer vision.

(7)

(7)

Information Systems Applications (incl. Internet).

(7)

Numerical analysis.

(7)

Simulation and Modeling.

(7)

Theory of Computation.

(7)

Bioinformatics.

(6)

Computer science -- Mathematics.

(6)

Data Mining and Knowledge Discovery.

(6)

History of Mathematical Sciences.

(6)

Mathematical statistics.

(6)

Operating systems (Computers).

(6)

(6)

(6)

Computer Science, general.

(5)

Electronic books.

(5)

Information systems.

(5)

(5)

(5)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Control and Systems Theory.

(4)

Control engineering.

(4)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Knowledge representation (Information theory) .

(4)

Linguistics -- Philosophy.

(4)

Logic, Symbolic and mathematical -- Textbooks.

(4)

Management information systems.

(4)

Mantık, sembolik ve Matematiksel.

(4)

Mathematics of Computing.

(4)

Mathematics, general.

(4)

(4)

Numeric Computing.

(4)

(4)

Optical data processing.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

Science -- History.

(4)

Science -- Philosophy -- Congresses.

(4)

Semantics (Philosophy)

(4)

Computational Intelligence.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer organization.

(3)

Computer security.

(3)

Data Structures.

(3)

(3)

(3)

Industrial engineering.

(3)

Information Systems.

(3)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Machine learning.

(3)

Management of Computing and Information Systems.

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical optimization.

(3)

Mathematical physics.

(3)

(3)

Modality (Logic)

(3)

Natural language processing (Computer science)

(3)

Pattern recognition.

(3)

(3)

Quantum theory.

(3)

(3)

Social sciences -- Data processing.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Special purpose computers.

(3)

User Interfaces and Human Computer Interaction.

(3)

(3)

Analysis (Philosophy) -- Problems, exercises, etc.

(2)

Applications of Mathematics.

(2)

Artificial intelligence -- Mathematics.

(2)

Commonsense reasoning -- Automation.

(2)

Computable functions.

(2)

Computational Biology/Bioinformatics.

(2)

Computational linguistics.

(2)

Decidability (Mathematical logic)

(2)

(2)

Engineering mathematics.

(2)

Field theory (Physics).

(2)

(2)

Gödel's theorem.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Induction (Logic)

(2)

Intuitionistic mathematics.

(2)

Language and languages -- Philosophy.

(2)

Law -- Examinations, questions, etc.

(2)

Law School Admission Test -- Study guides.

(2)

Law schools -- United States -- Entrance examinations -- Study guides.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- History -- 20th century.

(2)

Logic, Symbolic and mathematical -- Problems, exercises, etc.

(2)

Logic, symbolic and mathematical.

(2)

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

MATHEMATICS / Logic.

(2)

Mantık, Sembolik ve matematiksel -- Ders kitapları.

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Matematiksel mantık.

(2)

Methodology -- Congresses.

(2)

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

Order, Lattices, Ordered Algebraic Structures.

(2)

(2)

(2)

(2)

Probability Theory and Stochastic Processes.

(2)

Probability and Statistics in Computer Science.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

(2)

Systems theory.

(2)

Test-taking skills.

(2)

Translators (Computer programs).

(2)

Universities and colleges -- Graduate work -- Examinations -- Study guides.

(2)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus.

(2)

logique mathématique.

(2)

logique symbolique.

(2)

Akıl yürütme.

(1)

Algebra, Boolean.

(1)

Algebraic topology.

(1)

Analysis (Philosophy) -- History -- 20th century.

(1)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Automatic control.

(1)

Automatic theorem proving.

(1)

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Prof.Dr.Onur Bilge Kulak Collection

Kütüphane

Beytepe Kütüphanesi

Ç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

636 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 7 8 9 10 11 .. 53

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.

97.

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:

98.

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday için kapak resmi

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers için kapak resmi

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Yazar

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

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:

101.

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35540-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Logic Functions and Equations Binary Models for Computer Science için kapak resmi

Logic Functions and Equations Binary Models for Computer Science

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

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:

104.

Formal Languages and Compilation için kapak resmi

Formal Languages and Compilation

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy için kapak resmi

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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:

107.

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings için kapak resmi

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Yazar

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 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-29007-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 7 8 9 10 11 .. 53

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11