Search Results for Mathematical logic.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

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

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.

13.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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:

18.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

20.

Cover image for Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Author

Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Author

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Author

Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9767-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

Author

Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 13

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11