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 .. 7 8 9 10 11 .. 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.

97.

Cover image for Fuzzy logic in geology

Fuzzy logic in geology

Fuzzy logic in geology

Author

Demicco, Robert V. Klir, George J., 1932-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Logic, Thought and Language

Logic, Thought and Language

Logic, Thought and Language

Author

O'Hear, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Fuzzy logic in chemistry

Fuzzy logic in chemistry

Fuzzy logic in chemistry

Author

Rouvray, D. H.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Logic programming and databases

Logic programming and databases

Logic programming and databases

Author

Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.

Preferred Shelf Number

QA 76.63 C47 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

101.

Cover image for Foundations of illocutionary logic

Foundations of illocutionary logic

Foundations of illocutionary logic

Author

Searle, John R.

Preferred Shelf Number

P 95.55 S42 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

102.

Cover image for Temporal logic of programs

Temporal logic of programs

Temporal logic of programs

Author

Kröger, Fred, 1945-

Preferred Shelf Number

QA 76.6 K753 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

103.

Cover image for Fundamentals of logic design

Fundamentals of logic design

Fundamentals of logic design

Author

Roth, Charles H.

Preferred Shelf Number

TK 7868.L6 R67 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

104.

Cover image for Fundamentals of logic design

Fundamentals of logic design

Fundamentals of logic design

Author

Roth, Charles H.

Preferred Shelf Number

TK 7868.L6 R67 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

105.

Cover image for The logic of literature

The logic of literature

The logic of literature

Author

Hamburger, Kate, 1896-

Preferred Shelf Number

PN 45 H3513 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

106.

Cover image for Logic, automata, and algorithms

Logic, automata, and algorithms

Logic, automata, and algorithms

Author

Aiserman, Mark A.

Preferred Shelf Number

QA 267.5.S4 L613 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

107.

Cover image for Logic, language, and metaphysics

Logic, language, and metaphysics

Logic, language, and metaphysics

Author

Martin, Richard Milton.

Preferred Shelf Number

BC 51 M37 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

108.

Cover image for The logic of education

The logic of education

The logic of education

Author

Hirst, Paul Haywood.

Preferred Shelf Number

LB 880 H59 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 7 8 9 10 11 .. 325

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11