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

Author

SpringerLink (Online service)

(2670)

(22)

Kacprzyk, Janusz. editor.

(19)

Voronkov, Andrei. editor.

(19)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(12)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(12)

Bonsangue, Marcello M. editor.

(11)

LaMeres, Brock J. author.

(11)

Potapov, Igor. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. editor.

(10)

Gandomi, Amir H. editor.

(10)

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589

(10)

Rozenberg, Grzegorz. editor.

(10)

Saraswat, Mukesh. editor.

(10)

Yadav, Rajendra Prasad. editor.

(10)

Legay, Axel. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Bernardo, Marco. editor.

(8)

Dix, Jürgen. editor.

(8)

Leite, João. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Martín-Vide, Carlos. editor.

(8)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Cooper, S. Barry. editor.

(7)

Governatori, Guido. editor.

(7)

Liu, Shaoying. editor.

(7)

Mostowski, Andrzej.

(7)

Pedrycz, Witold. editor.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Son, Tran Cao. editor.

(7)

Taylor and Francis.

(7)

Torroni, Paolo. editor.

(7)

Woodcock, Jim. editor.

(7)

Yager, Ronald R. editor.

(7)

Ölveczky, Peter Csaba. editor.

(7)

Bansal, Jagdish Chand. editor.

(6)

Bekki, Daisuke. editor.

(6)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(6)

Calude, Cristian S. editor.

(6)

Castillo, Oscar. author. (orcid)0000-0002-7385-5689

(6)

Das, Kedar Nath. editor.

(6)

Dastani, Mehdi. editor.

(6)

Dediu, Adrian-Horia. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Gabbay, Dov M. author.

(6)

Graf, Susanne. editor.

(6)

Hähnle, Reiner. editor.

(6)

Jain, Lakhmi C. editor.

(6)

Majumdar, Rupak. editor.

(6)

Melin, Patricia. author. (orcid)0000-0001-5798-1426

(6)

Meseguer, José. editor.

(6)

Ong, Luke. editor.

(6)

Pant, Millie. editor.

(6)

Rahman, Shahid. editor.

(6)

Rensink, Arend. editor.

(6)

Roman, Dumitru. editor.

(6)

Seising, Rudolf. editor.

(6)

Stafford, Judith A. editor.

(6)

Steffen, Bernhard. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Artho, Cyrille. editor.

(5)

Beckert, Bernhard. editor.

(5)

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

(5)

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

(5)

Butler, Michael. editor.

(5)

Castillo, Oscar. author.

(5)

Castillo, Oscar. editor. (orcid)0000-0002-7385-5689

(5)

Cevik Onar, Sezi. editor.

(5)

Chen, Wai-Kai, 1936-

(5)

Crnkovic, Ivica. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Duan, Zhenhua. editor.

(5)

Filipe, Joaquim. editor.

(5)

Finkbeiner, Bernd. editor.

(5)

Gabbay, Dov M. editor.

(5)

Gerdt, Vladimir P. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Hinchey, Mike. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Johnsen, Einar Broch. editor.

(5)

Karhumäki, Juhani. editor.

(5)

Kobayashi, Naoki. editor.

(5)

Koepf, Wolfram. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

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

(5)

Melin, Patricia. editor. (orcid)0000-0001-5798-1426

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Nerode, Anil. editor.

(5)

Oztaysi, Basar. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Peled, Doron A. editor.

(5)

Petrosino, Alfredo. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Satoh, Ken. editor.

(5)

Schlechta, Karl. author.

(5)

Schmidt, Renate A. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Sirjani, Marjan. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Zhang, Zili. editor.

(5)

Artemov, Sergei. editor.

(4)

Aßmann, Uwe. editor.

(4)

Balas, Valentina Emilia. editor.

(4)

Bensalem, Saddek. editor.

(4)

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

(4)

Bouajjani, Ahmed. editor.

(4)

Bravetti, Mario. editor.

(4)

Cavalcanti, Ana. editor.

(4)

Chechik, Marsha. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Deep, Kusum. editor. (orcid)0000-0001-5821-2696

(4)

Deleuze, Gilles.

(4)

Ehrig, Hartmut. editor.

(4)

Fitzgerald, John. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Fraenkel, Abraham Adolf, 1891-1965.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Goertzel, Ben. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Hegel, Georg Wilhelm Friedrich.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Korytkowski, Marcin. editor.

(4)

Koutny, Maciej. editor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258

(4)

Li, Wei. author.

(4)

Liang, Qilian. editor.

(4)

Longo, Luca. editor.

(4)

Masulli, Francesco. editor.

(4)

Mayr, Heinrich C. editor.

(4)

Medina, Jesús. editor. (orcid)0000-0002-3931-5873

(4)

Melin, Patricia. author.

(4)

Merayo, Mercedes G. editor.

(4)

Muskens, Reinhard. editor.

(4)

Nicola, Rocco. editor.

(4)

Núñez, Manuel. editor.

(4)

Paige, Richard F. editor.

(4)

Palanque, Philippe. editor.

(4)

Panigrahi, Bijaya Ketan. editor.

(4)

Pogodalla, Sylvain. editor.

(4)

Risby, Bonnie Lou, author.

(4)

Risby, Bonnie Lou.

(4)

Risby, Robert K., II, author.

(4)

Robinson, Abraham, 1918-1974.

(4)

Roever, Willem-Paul. editor.

(4)

Romanovsky, Alexander. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schewe, Klaus-Dieter. editor.

(4)

Schürr, Andy. editor.

(4)

Seifert, Christin. editor. (orcid)0000-0002-6776-3868

(4)

Seipel, Dietmar. editor.

(4)

Sichman, Jaime Simão. editor.

(4)

Skavhaug, Amund. editor.

(4)

Sokolsky, Oleg. editor.

(4)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(4)

Suppes, Patrick, 1922-

(4)

Tadeusiewicz, Ryszard. editor.

(4)

Taraate, Vaibbhav. author.

(4)

Truthe, Bianca. editor.

(4)

Ungerer, Theo. editor.

(4)

Uzam, Murat, 1968- author.

(4)

Varró, Dániel. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Vorozhtsov, Evgenii V. editor.

(4)

Wang, Wei. editor.

(4)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Language

(3754)

(68)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Publication Date

-

(269)

(257)

(235)

(232)

(230)

(225)

(213)

(211)

(204)

(203)

(203)

(200)

(196)

(185)

(180)

(172)

(165)

(142)

(67)

(56)

(54)

(48)

(44)

(41)

(40)

(38)

(29)

(23)

(23)

(22)

(21)

(21)

(20)

(20)

(20)

(18)

(18)

(18)

(18)

(17)

(17)

(16)

(16)

(15)

(15)

(15)

(13)

(13)

(13)

(12)

(12)

(12)

(12)

(11)

(11)

(11)

(10)

(10)

(10)

(9)

(9)

(8)

(8)

(8)

(7)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(1518)

(1202)

Software engineering.

(1078)

Artificial intelligence.

(893)

Computer Communication Networks.

(358)

Logic, Symbolic and mathematical.

(324)

(242)

Computer software.

(241)

Computer Science Logic and Foundations of Programming.

(231)

Mathematical logic.

(185)

Computational intelligence.

(175)

Machine theory.

(167)

Formal Languages and Automata Theory.

(164)

(163)

Computer logic.

(161)

(159)

Computer simulation.

(125)

Computational complexity.

(120)

Operating systems (Computers).

(115)

Philosophy (General).

(115)

Compilers (Computer programs).

(109)

Compilers and Interpreters.

(109)

Electronic books.

(109)

Information theory.

(106)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Computer science -- Mathematics.

(100)

Computer networks .

(95)

Theory of Computation.

(95)

(93)

Application software.

(91)

Programming Techniques.

(82)

Computer programming.

(81)

(81)

Programming languages (Electronic computers).

(81)

Electronic circuits.

(80)

Algebra -- Data processing.

(79)

Information storage and retrieval systems.

(78)

Information systems.

(77)

Data structures (Computer science).

(71)

(67)

Science -- Philosophy.

(65)

Mathematical Logic and Foundations.

(61)

Artificial Intelligence (incl. Robotics).

(60)

Electronic Circuits and Systems.

(60)

Computer and Information Systems Applications.

(59)

Database management.

(58)

Computer system performance.

(57)

Computer vision.

(56)

Programming Languages, Compilers, Interpreters.

(56)

Microprocessors.

(51)

Computer network architectures.

(50)

(50)

Computer science—Mathematics.

(48)

Discrete Mathematics in Computer Science.

(48)

Data Mining and Knowledge Discovery.

(46)

Systems engineering.

(46)

Computer Modelling.

(45)

Special Purpose and Application-Based Systems.

(45)

(44)

Electronic data processing.

(44)

Natural language processing (Computer science).

(44)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

Computers, Special purpose.

(40)

Engineering mathematics.

(40)

Logic programming.

(40)

Computer engineering.

(39)

Computer architecture.

(38)

Genetic epistemology.

(37)

(36)

Processor Architectures.

(36)

Bioinformatics.

(35)

Data protection.

(35)

(35)

Control engineering.

(34)

Mathematical statistics.

(33)

Algorithm Analysis and Problem Complexity.

(32)

Information Storage and Retrieval.

(32)

Mathematics of Computing.

(32)

Computer Engineering and Networks.

(31)

Discrete mathematics.

(31)

(31)

TECHNOLOGY & ENGINEERING.

(31)

(30)

Computation by Abstract Devices.

(29)

Logic circuits.

(29)

Natural Language Processing (NLP).

(29)

Signal processing.

(29)

Linguistics -- Philosophy.

(28)

Microprogramming .

(28)

Multimedia systems.

(27)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Arithmetic and Logic Structures.

(24)

(24)

Information storage and retrieval.

(24)

(24)

(24)

Computer System Implementation.

(23)

Computer security.

(23)

Computer systems.

(23)

Control Structures and Microprogramming.

(23)

(23)

Telecommunication.

(23)

Digital electronics.

(22)

Machine learning.

(22)

(22)

(21)

Electronic data processing -- Management.

(21)

(21)

Mathematics -- Philosophy.

(21)

Probability and Statistics in Computer Science.

(21)

Signal, Speech and Image Processing.

(21)

Symbolic and Algebraic Manipulation.

(21)

(20)

(19)

Control and Systems Theory.

(19)

Engineering -- Data processing.

(19)

Information Systems Applications (incl. Internet).

(19)

Numerical analysis.

(19)

Operating Systems.

(19)

System Performance and Evaluation.

(19)

Computer organization.

(18)

Data encryption (Computer science).

(18)

Electronics and Microelectronics, Instrumentation.

(18)

Internet of things.

(18)

Mathematical Applications in Computer Science.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer arithmetic and logic units.

(17)

Computer system failures.

(17)

(17)

Modality (Logic)

(17)

Operations research.

(17)

(17)

Communications Engineering, Networks.

(16)

User Interfaces and Human Computer Interaction.

(16)

Control, Robotics, Automation.

(15)

Mathematics_$xHistory.

(15)

(15)

(15)

(15)

Control theory.

(14)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Embedded computer systems.

(14)

Information technology -- Management.

(14)

Management of Computing and Information Systems.

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Social sciences -- Data processing.

(14)

Translators (Computer programs).

(14)

User interfaces (Computer systems).

(14)

Algebraic logic.

(13)

Computer Application in Administrative Data Processing.

(13)

Computer hardware.

(13)

Data and Information Security.

(13)

Electronic digital computers -- Evaluation.

(13)

MANTIKSAL DEVRELER.

(13)

Nanotechnology.

(13)

(13)

Computational linguistics.

(12)

Data Engineering.

(12)

Human-computer interaction.

(12)

(12)

Industrial engineering.

(12)

MATHEMATICS / Logic

(12)

Mathematical optimization.

(12)

(12)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(11)

Computer industry.

(11)

Cooperating objects (Computer systems).

(11)

Cyber-Physical Systems.

(11)

Data Structures and Information Theory.

(11)

Embedded Systems.

(11)

Language and logic.

(11)

Operations Research and Decision Theory.

(11)

(11)

Science -- History.

(11)

Soft computing.

(11)

Electronic circuit design.

(10)

Engineering design.

(10)

Global analysis (Mathematics).

(10)

Knowledge, Theory of.

(10)

Language and languages -- Philosophy.

(10)

MATHEMATICS / General

(10)

Memory management (Computer science).

(10)

PHILOSOPHY / Logic

(10)

Philosophy of mind.

(10)

TECHNOLOGY / Electronics / Circuits / General

(10)

(9)

Computer graphics.

(9)

Data structures (Computer scienc.

(9)

(9)

Material Type

Shelf Location

Beytepe Art Collection

Beytepe CD-ROM Koleksiyonu

Beytepe Danışma Koleksiyonu

Beytepe General Collection

Beytepe Görsel-İşitsel Koleksiyonu

Beytepe Tez Koleksiyonu

Electronic Library

Konservatuvar Genel Koleksiyon

Law General Collection

Prof.Dr.Onur Bilge Kulak Collection

Sağlık Bilimleri Genel Koleksiyon

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

Conservatory Library

Health Sciences 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

3889 Results Found

Subscribe to search results

1 .. 10 11 12 13 14 .. 325

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.

133.

Cover image for Greek, Indian, and Arabic logic

Greek, Indian, and Arabic logic

Greek, Indian, and Arabic logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444504661

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Games: Unifying Logic, Language, and Philosophy

Games: Unifying Logic, Language, and Philosophy

Games: Unifying Logic, Language, and Philosophy

Author

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Mathematical Logic Foundations for Information Science

Mathematical Logic Foundations for Information Science

Mathematical Logic Foundations for Information Science

Author

Li, Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-9977-1

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Categorical logic and type theory

Categorical logic and type theory

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444501707

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Tools and techniques in modal logic

Tools and techniques in modal logic

Tools and techniques in modal logic

Author

Kracht, Marcus.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444500557

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534187

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534125

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for A survey of mathematical logic

A survey of mathematical logic

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533982

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Truth and consequence in mediaeval logic

Truth and consequence in mediaeval logic

Truth and consequence in mediaeval logic

Author

Moody, Ernest A. (Ernest Addison), 1903-1975.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533760

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for The propositional logic of Boethius

The propositional logic of Boethius

The propositional logic of Boethius

Author

Dürr, Karl, 1888-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533661

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for An essay in modal logic

An essay in modal logic

An essay in modal logic

Author

Wright, G. H. von (Georg Henrik), 1916-2003.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533708

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Logic programming languages constraints, functions, and objects

Author

Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 10 11 12 13 14 .. 325

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11