Search Results for 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: Mathematical logic.

Author

SpringerLink (Online service)

(183)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Ren, Jinchang. editor.

(3)

Strauss, Olivier. editor.

(3)

Worrell, James. editor.

(3)

Yager, Ronald R. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Cooper, S. Barry. editor.

(2)

Cornelis, Chris. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Gao, Zhi. editor.

(2)

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

(2)

Hussain, Amir. editor.

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Jiang, Bo. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

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

(2)

Li, Chenglong. editor.

(2)

Li, Wei. author.

(2)

Lutz, Carsten. editor.

(2)

Mahmud, Mufti. editor.

(2)

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

(2)

Moortgat, Michael. editor.

(2)

Ortuño, Francisco. editor.

(2)

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

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sui, Yuefei. author.

(2)

Sun, Jun. editor.

(2)

Tang, Jie. editor.

(2)

Valenzuela, Olga. editor.

(2)

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

(2)

Wang, Shuqiang. editor.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

Yang, Erfu. editor.

(2)

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

(2)

Zhao, Zhicheng. editor.

(2)

Zheng, Aihua. editor.

(2)

Ésik, Zoltán. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Abraham, Erika. editor.

(1)

Agrawal, Manindra. editor.

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Akama, Seiki. editor.

(1)

Alexandru, Andrei. author.

(1)

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

(1)

Andreasen, Troels. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

(1)

Asher, Nicholas. editor.

(1)

Atif, Muhammad. author.

(1)

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

(1)

Baltag, Alexandru. editor.

(1)

Baptista, Jorge. editor.

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

(1)

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

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

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

(1)

Batyrshin, Ildar. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Beierle, Christoph. editor.

(1)

Bekki, Daisuke. editor.

(1)

Bello, Rafael. editor.

(1)

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

(1)

Bernardi, Raffaella. editor.

(1)

Bernardino, Jorge. editor.

(1)

Bertolotti, Tommaso. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

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

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Bobillo, Fernando. editor.

(1)

Boiten, Eerke A. author.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

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

(1)

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

(1)

Breveglieri, Luca. author. (orcid)0000-0001-5294-6840

(1)

Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X

(1)

Bulling, Nils. editor.

(1)

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

(1)

Cai, Zhipeng. editor.

(1)

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

(1)

Calude, Cristian S. editor.

(1)

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

(1)

Candeias, Sara. editor.

(1)

Cantone, Domenico. editor. (orcid)0000-0002-1306-1166

(1)

Cariani, Fabrizio. editor.

(1)

Carvalho, Rommel N. editor.

(1)

Casadio, Claudia. editor.

(1)

Cassez, Franck. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Cerrito, Serenella. editor.

(1)

Chaves, Madalena. editor.

(1)

Chen, Rongjun. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Christiansen, Henning. editor.

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Ciobanu, Gabriel. author.

(1)

Ciucci, Davide. editor.

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Coecke, Bob. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Costa, Paulo C.G. editor.

(1)

Crespi Reghizzi, Stefano. author.

(1)

Croitoru, Madalina. editor.

(1)

Cuzzocrea, Alfredo. 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)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Dediu, Adrian-Horia. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Derrick, John. author.

(1)

Diaz, Josep. editor.

(1)

Dietz, Jan L. G. editor.

(1)

Dillig, Isil. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dowek, Gilles. editor.

(1)

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

(1)

Ekštein, Kamil. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X

(1)

Fanizzi, Nicola. editor.

(1)

Farmer, William M. author. (orcid)0009-0009-5524-9085

(1)

Fermé, Eduardo. editor.

(1)

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

(1)

Fiadeiro, José Luiz. editor.

(1)

Filipe, Joaquim. editor.

(1)

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

(1)

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

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Fred, Ana. editor.

(1)

Freivalds, Rūsiņš. editor.

(1)

Fullér, Robert. editor.

(1)

Gabbay, Dov M. author.

(1)

Gailly, Frederik. editor.

(1)

Gamboa, Ruben. editor.

(1)

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

(1)

George, Laurent. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Giese, Holger. editor.

(1)

Giove, Silvio. editor.

(1)

Glocker, Ben. editor.

(1)

Glodeanu, Cynthia Vera. editor.

(1)

Goertzel, Ben. editor.

(1)

Gonzales, Christophe. editor.

(1)

Gopal, T V. editor.

(1)

Gopal, T.V. editor.

(1)

Gorrieri, Roberto. author.

(1)

Graf, Susanne. 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)

Greenspan, Hayit. editor.

(1)

Groote, Jan Friso. author.

(1)

Grossi, Davide. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Gur, Yaniv. editor.

(1)

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

(1)

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

(1)

Han, Xianpei. editor.

(1)

Harmelen, Frank van. editor.

(1)

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

(1)

He, Kun. editor.

(1)

Hepp, Martin. editor.

(1)

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

(1)

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446

(1)

Hirsch, Edward. editor.

(1)

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

(1)

Hofman, Piotrek. editor.

(1)

Holzer, Markus. editor.

(1)

Horrocks, Ian. editor.

(1)

Hospodár, Michal. editor.

(1)

Huang, Kaizhu. editor.

(1)

Language

(183)

(2)

Publication Date

-

(76)

(73)

(10)

(10)

(7)

(6)

(1)

(1)

(1)

Subject

Artificial intelligence.

(88)

Computer logic.

(64)

Software engineering.

(54)

(34)

Computer science—Mathematics.

(33)

Mathematical Logic and Foundations.

(33)

(31)

Computer science.

(26)

Programming languages (Electronic computers).

(24)

Information storage and retrieval.

(21)

Application software.

(20)

Natural language processing (Computer science).

(16)

Database management.

(15)

Theory of Computation.

(14)

Computer science -- Mathematics.

(13)

(13)

Computer programming.

(12)

Formal Languages and Automata Theory.

(11)

Machine theory.

(11)

(10)

Logic programming.

(10)

Mathematics of Computing.

(10)

Computer simulation.

(9)

Data structures (Computer science).

(9)

Computer communication systems.

(7)

Computer system failures.

(7)

Computer Science Logic and Foundations of Programming.

(6)

Numerical analysis.

(6)

Bioinformatics.

(5)

Computational intelligence.

(5)

Computer System Implementation.

(5)

Computer systems.

(5)

Information theory.

(5)

Machine learning.

(5)

Mathematical statistics.

(5)

Computer Modelling.

(4)

Knowledge representation (Information theory) .

(4)

(4)

Natural Language Processing (NLP).

(4)

Optical data processing.

(4)

Computer Application in Social and Behavioral Sciences.

(3)

Computer organization.

(3)

Computer security.

(3)

Data Structures and Information Theory.

(3)

(3)

Management information systems.

(3)

Pattern recognition.

(3)

Social sciences -- Data processing.

(3)

Special purpose computers.

(3)

(2)

Cognitive psychology.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Matematiksel mantık.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Microprogramming .

(2)

Philosophy of Science.

(2)

Science -- Philosophy.

(2)

Arithmetic and logic units, Computer.

(1)

(1)

(1)

Biomathematics.

(1)

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computational and Systems Biology.

(1)

Computational complexity.

(1)

Computational linguistics.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Communication Networks.

(1)

Computer and Information Systems Applications.

(1)

Computer hardware.

(1)

Computer networks .

(1)

Control Structures and Microprogramming.

(1)

Design and Analysis of Algorithms.

(1)

Dil ve diller -- Felsefe

(1)

Electrical engineering.

(1)

Formal Reasoning.

(1)

(1)

Health informatics.

(1)

Information technology -- Management.

(1)

Language and languages -- Philosophy.

(1)

Logic circuits.

(1)

Management science.

(1)

Mantıksal devreler.

(1)

Mantıksal tasarım.

(1)

Markov Process.

(1)

Markov processes.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Biology.

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Partial differential equations.

(1)

Philosophical Foundations of Physics and Astronomy.

(1)

Physics -- Philosophy.

(1)

Programming Techniques.

(1)

Quantum computers.

(1)

(1)

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe 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

185 Results Found

Subscribe to search results

1 2 3 4 5 .. 16

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 Logic in Computer Science

Logic in Computer Science

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Author

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85352-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Author

Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-89610-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Author

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95908-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

Author

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86054-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Author

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51777-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

Author

Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55248-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

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:

9.

Cover image for At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

Author

Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Logic Functions and Equations Binary Models for Computer Science

Logic Functions and Equations Binary Models for Computer Science

Logic Functions and Equations Binary Models for Computer Science

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02420-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 .. 16

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11