Search Results for Mathematical logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Artificial intelligence.

Author

SpringerLink (Online service)

(156)

Schlechta, Karl. author.

(4)

Blackburn, Patrick. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Gabbay, Dov M. author.

(3)

Laurent, Anne. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Bekki, Daisuke. editor.

(2)

Biere, Armin. editor.

(2)

Bobillo, Fernando. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Cornelis, Chris. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Horrocks, Ian. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Lukasiewicz, Thomas. editor.

(2)

Lutz, Carsten. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Masulli, Francesco. editor.

(2)

Middeldorp, Aart. editor.

(2)

Morrill, Glyn. editor.

(2)

Nickles, Matthias. editor.

(2)

Pool, Michael. editor.

(2)

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

(2)

Richter, Frank. editor.

(2)

Sattler, Uli. editor.

(2)

Sojka, Petr. editor.

(2)

Son, Tran Cao. editor.

(2)

Subrahmanian, V.S. author.

(2)

Tang, Jie. editor.

(2)

Truthe, Bianca. editor.

(2)

Voronkov, Andrei. editor.

(2)

Weidenbach, Christoph. editor.

(2)

(1)

Albert, Elvira. editor.

(1)

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

(1)

Amgoud, Leila. author.

(1)

Andreasen, Troels. editor.

(1)

Andrew, Alex M. author.

(1)

Anshakov, Oleg M. author.

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Asher, Nicholas. editor.

(1)

Aspinall, David. editor.

(1)

Astola, Jaakko. author.

(1)

Bacchus, Fahiem. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baptista, Jorge. editor.

(1)

Barceló, Pablo. editor.

(1)

Barla, Annalisa. editor. (orcid)0000-0002-3436-035X

(1)

Baroglio, Cristina. editor.

(1)

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

(1)

Batyrshin, Ildar. editor.

(1)

Beierle, Christoph. editor.

(1)

Bel-Enguix, Gemma. editor.

(1)

Bello, Rafael. editor.

(1)

Benthem, Johan.

(1)

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

(1)

Berdine, Josh. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Bertacco, Valeria. editor.

(1)

Berto, Francesco. editor.

(1)

Bezhanishvili, Guram. editor.

(1)

Bezhanishvili, Nick. editor.

(1)

Blazy, Sandrine. editor.

(1)

Boella, Guido. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Breda, Marco. author.

(1)

Brézillon, Patrick. editor.

(1)

Bulling, Nils. editor.

(1)

Buscema, Paolo Massimo. author.

(1)

Butler, Alastair. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X

(1)

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

(1)

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

(1)

Candeias, Sara. editor.

(1)

Carette, Jacques. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Carvalho, Rommel N. editor.

(1)

Cellier, Peggy. editor.

(1)

Cerrito, Serenella. editor.

(1)

Chaves, Madalena. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Christiansen, Henning. editor.

(1)

Ciucci, Davide. editor.

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Costa, Paulo C. G. editor.

(1)

Costa, Paulo C.G. editor.

(1)

Croitoru, Madalina. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Dapoigny, Richard. editor.

(1)

Darmont, Jérôme. editor. (orcid)0000-0003-1491-384X

(1)

Dasgupta, Sudeb. editor.

(1)

Davenport, James H. editor.

(1)

Davis, Brian. editor.

(1)

Demri, Stéphane. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Dickerson, John P. author.

(1)

Dillig, Isil. editor.

(1)

Distel, Felix. editor.

(1)

Ditmarsch, Hans. editor.

(1)

Droste, Manfred. editor.

(1)

Duchier, Denys. editor.

(1)

Duparc, Jacques. editor.

(1)

Eder, Johann. editor. (orcid)0000-0001-6050-468X

(1)

Ekštein, Kamil. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

Euzenat, Jérôme. author.

(1)

Fermé, Eduardo. editor.

(1)

Fleuriot, Jacques. editor.

(1)

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

(1)

Fontaine, Pascal. editor.

(1)

Fullér, Robert. editor.

(1)

Gaag, Linda C. editor.

(1)

Gabbay, Dov. author.

(1)

Galmiche, Didier. editor.

(1)

Gamboa, Ruben. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-7128-507X

(1)

Ganesalingam, Mohan. author.

(1)

Ganter, Bernhard. editor.

(1)

Gergely, Tamás. author.

(1)

Giacobazzi, Roberto. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Giove, Silvio. editor.

(1)

Glocker, Ben. editor.

(1)

Glodeanu, Cynthia Vera. editor.

(1)

Goertzel, Ben. editor.

(1)

Gomes, Carla P. editor.

(1)

Gonthier, Georges. editor.

(1)

Gonzales, Christophe. editor.

(1)

Goranko, Valentin. editor.

(1)

Gottlob, Georg. editor.

(1)

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

(1)

Greco, Sergio. editor.

(1)

Greenspan, Hayit. editor.

(1)

Grossi, Davide. editor.

(1)

Guo, Meiyun. editor.

(1)

Gur, Yaniv. editor.

(1)

Han, Xianpei. editor.

(1)

Harmelen, Frank van. editor.

(1)

Harmelen, Frank. editor.

(1)

He, Kun. editor.

(1)

Hedin, Görel. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hoos, Holger H. editor.

(1)

Hospodár, Michal. editor.

(1)

Hutter, Dieter. editor.

(1)

Huynh, Van-Nam. editor.

(1)

Höfner, Peter. editor.

(1)

Ida, Tetsuo. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Hiroyuki. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Indrzejczak, Andrzej. author.

(1)

Inuiguchi, Masahiro. editor.

(1)

Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jain, Sanjay. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Jiménez-López, M. Dolores. editor.

(1)

Jipsen, Peter. editor.

(1)

Jirásková, Galina. editor.

(1)

Järvisalo, Matti. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kaiser, Łukasz. author.

(1)

Kaljurand, Kaarel. editor.

(1)

Kaminski, Michael. editor.

(1)

Kamišalić Latifić, Aida. editor. (orcid)0000-0002-8574-8506

(1)

Kan, Min-Yen. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Katrenko, Sophia. editor.

(1)

Kaytoue, Mehdi. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090

(1)

Klein, Gerwin. editor.

(1)

Kleine Büning, Hans. editor.

(1)

Kobele, Greg. editor.

(1)

Kolaitis, Phokion. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Konukoglu, Ender. editor.

(1)

Kotzinos, Dimitris. editor.

(1)

Koubarakis, Manolis. editor.

(1)

Kroening, Daniel. editor.

(1)

Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601

(1)

Kuhn, Tobias. editor.

(1)

Kuich, Werner. editor.

(1)

Kumar Vishvakarma, Santosh. editor.

(1)

Language

(156)

Publication Date

-

(48)

(42)

(34)

(5)

(5)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

Subject

Computer science.

(76)

Mathematical logic.

(76)

Artificial Intelligence (incl. Robotics).

(48)

Mathematical Logic and Formal Languages.

(48)

Software engineering.

(35)

Logic, Symbolic and mathematical.

(34)

(32)

Computer logic.

(27)

Logics and Meanings of Programs.

(23)

(20)

Computer science—Mathematics.

(16)

Computer software.

(16)

Application software.

(15)

Information storage and retrieval.

(15)

(13)

Database management.

(12)

Computation by Abstract Devices.

(10)

(10)

Algorithm Analysis and Problem Complexity.

(9)

Programming Languages, Compilers, Interpreters.

(9)

Information Storage and Retrieval.

(8)

Information storage and retrieval systems.

(8)

Algebra -- Data processing.

(7)

(7)

Programming Techniques.

(7)

Computational complexity.

(6)

Computer simulation.

(6)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(6)

Electronic data processing.

(6)

Information Systems Applications (incl. Internet).

(6)

Programming languages (Electronic computers).

(6)

Discrete Mathematics in Computer Science.

(5)

Operating systems (Computers).

(5)

Symbolic and Algebraic Manipulation.

(5)

Computer Communication Networks.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer Science, general.

(4)

Computer programming.

(4)

Information systems.

(4)

Information theory.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

Simulation and Modeling.

(4)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer communication systems.

(3)

(3)

Mathematical statistics.

(3)

(3)

Optical data processing.

(3)

Pattern recognition.

(3)

Philosophy (General).

(3)

Science -- Philosophy.

(3)

Social sciences -- Data processing.

(3)

User Interfaces and Human Computer Interaction.

(3)

(2)

Bioinformatics.

(2)

Computer organization.

(2)

Computer system failures.

(2)

Data structures (Computer science).

(2)

Engineering mathematics.

(2)

Image Processing and Computer Vision.

(2)

Information Systems.

(2)

Management of Computing and Information Systems.

(2)

Math Applications in Computer Science.

(2)

Mathematical Logic and Foundations.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Special purpose computers.

(2)

Translators (Computer programs).

(2)

Arithmetic and logic units, Computer.

(1)

Business Information Systems.

(1)

(1)

Computational Biology/Bioinformatics.

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer security.

(1)

Computers and Society.

(1)

Data protection.

(1)

Document Preparation and Text Processing.

(1)

(1)

(1)

Genetic epistemology.

(1)

Geometry, algebraic.

(1)

(1)

Health informatics.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Language Translation and Linguistics.

(1)

Linguistics -- Philosophy.

(1)

Management information systems.

(1)

Numeric Computing.

(1)

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Philosophy of Language.

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Science -- History.

(1)

Science -- Study and teaching.

(1)

(1)

Systems and Data Security.

(1)

Systems engineering.

(1)

Systems theory.

(1)

Text processing (Computer science.

(1)

Theory of Computation.

(1)

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

156 Results Found

Subscribe to search results

1 2 3 4 5 .. 13

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for 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

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

Author

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)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Author

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Author

Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Author

Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60292-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 13

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11