Search Results for 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

Author

SpringerLink (Online service)

(2126)

(22)

Voronkov, Andrei. editor.

(18)

Kacprzyk, Janusz. editor.

(13)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. editor.

(10)

Potapov, Igor. editor.

(9)

Rozenberg, Grzegorz. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Leite, João. editor.

(7)

Martín-Vide, Carlos. editor.

(7)

Mostowski, Andrzej.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Taylor and Francis.

(7)

Woodcock, Jim. editor.

(7)

Calude, Cristian S. editor.

(6)

Cooper, S. Barry. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Governatori, Guido. editor.

(6)

Graf, Susanne. editor.

(6)

Meseguer, José. editor.

(6)

Rahman, Shahid. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Torroni, Paolo. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Castillo, Oscar. author.

(5)

Chen, Wai-Kai, 1936-

(5)

Dastani, Mehdi. editor.

(5)

Dediu, Adrian-Horia. editor.

(5)

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

(5)

Gabbay, Dov M. author.

(5)

Gabbay, Dov M. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Karhumäki, Juhani. editor.

(5)

LaMeres, Brock J. author.

(5)

Legay, Axel. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Shaoying. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Pedrycz, Witold. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Seising, Rudolf. editor.

(5)

Steffen, Bernhard. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bekki, Daisuke. editor.

(4)

Bensalem, Saddek. editor.

(4)

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

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Deleuze, Gilles.

(4)

Duan, Zhenhua. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Filipe, Joaquim. 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)

Hinchey, Mike. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Jain, Lakhmi C. editor.

(4)

Koutny, Maciej. editor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

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

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. author.

(4)

Merayo, Mercedes G. editor.

(4)

Nerode, Anil. 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)

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

Roman, Dumitru. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schlechta, Karl. author.

(4)

Schürr, Andy. editor.

(4)

Seipel, Dietmar. editor.

(4)

Sirjani, Marjan. editor.

(4)

Suppes, Patrick, 1922-

(4)

Ungerer, Theo. editor.

(4)

Uzam, Murat, 1968- author.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Yager, Ronald R. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. editor.

(4)

Zsók, Viktória. editor.

(4)

Çapak, İbrahim.

(4)

Ölveczky, Peter Csaba. editor.

(4)

(3)

Alpuente, María. editor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Association for Symbolic Logic.

(3)

Banerjee, Mohua. editor.

(3)

Baroglio, Cristina. editor.

(3)

Beklemishev, Lev D. editor.

(3)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bolton, W. (William), 1933-

(3)

Bondavalli, Andrea. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

(3)

Cai, Zhipeng. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Chechik, Marsha. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Costa, Newton C. A. da.

(3)

Crawford, Dean.

(3)

Crossley, John N.

(3)

Curry, Haskell B. (Haskell Brooks), 1900-1982.

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Dawar, Anuj. editor.

(3)

Deiser, Oliver. author.

(3)

Derrick, John. editor.

(3)

Dershowitz, Nachum. editor.

(3)

Dingel, Juergen. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Dowek, Gilles. author.

(3)

Eekelen, Marko. editor.

(3)

Eiter, Thomas. editor.

(3)

Ermolayev, Vadim. editor.

(3)

Faber, Wolfgang. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fenstad, Jens Erik.

(3)

Fisher, Michael. editor.

(3)

Fitzgerald, John. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fu, Haohuan. editor.

(3)

(3)

Gandy, R. O. (Robin O.)

(3)

Gavrilova, Marina L. editor.

(3)

Gerdt, Vladimir P. editor.

(3)

Giese, Holger. editor.

(3)

Language

(3059)

(68)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Publication Date

-

(267)

(257)

(235)

(225)

(213)

(209)

(203)

(203)

(200)

(197)

(196)

(185)

(165)

(160)

(56)

(51)

(48)

(45)

(44)

(42)

(41)

(40)

(38)

(34)

(32)

(31)

(27)

(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.

(1244)

(1155)

Software engineering.

(876)

Artificial intelligence.

(657)

Logic, Symbolic and mathematical.

(323)

Computer Communication Networks.

(299)

Computer software.

(241)

(234)

Computer logic.

(161)

(155)

Mathematical logic.

(152)

Computational complexity.

(118)

Philosophy (General).

(115)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Operating systems (Computers).

(101)

Information theory.

(93)

Computer simulation.

(82)

(80)

Algebra -- Data processing.

(79)

(78)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Computational intelligence.

(69)

Data structures (Computer science).

(62)

Science -- Philosophy.

(61)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

(56)

Programming Languages, Compilers, Interpreters.

(56)

(54)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(45)

Electronic data processing.

(42)

Electronic circuits.

(41)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

(39)

Genetic epistemology.

(37)

(36)

Computer vision.

(35)

Electronic books.

(35)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

(32)

Bioinformatics.

(30)

Computation by Abstract Devices.

(29)

(29)

Engineering mathematics.

(29)

Logic circuits.

(29)

Mathematical Logic and Foundations.

(29)

Programming Techniques.

(29)

Computer programming.

(28)

Linguistics -- Philosophy.

(28)

(28)

Microprocessors.

(26)

Multimedia systems.

(26)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Information storage and retrieval.

(24)

(24)

Data protection.

(23)

(23)

Computer security.

(22)

Digital electronics.

(21)

Electronic Circuits and Systems.

(21)

Mathematics -- Philosophy.

(21)

(20)

(20)

Information Systems Applications (incl. Internet).

(19)

Mathematical statistics.

(19)

(19)

Telecommunication.

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Modality (Logic)

(17)

Natural language processing (Computer science).

(17)

(17)

Signal processing.

(17)

Control engineering.

(16)

Data encryption (Computer science).

(15)

Mathematics_$xHistory.

(15)

(15)

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

(14)

Management of Computing and Information Systems.

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Communications Engineering, Networks.

(13)

Computer architecture.

(13)

Computer hardware.

(13)

Computer science -- Mathematics.

(13)

Information Storage and Retrieval.

(13)

MANTIKSAL DEVRELER.

(13)

Algebraic logic.

(12)

MATHEMATICS / Logic

(12)

Numerical analysis.

(12)

Processor Architectures.

(12)

Symbolic and Algebraic Manipulation.

(12)

Computer engineering.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

Control and Systems Theory.

(10)

Data Mining and Knowledge Discovery.

(10)

Global analysis (Mathematics).

(10)

(10)

Language and languages -- Philosophy.

(10)

Language and logic.

(10)

Logic programming.

(10)

MATHEMATICS / General

(10)

Nanotechnology.

(10)

PHILOSOPHY / Logic

(10)

Philosophy of mind.

(10)

(10)

TECHNOLOGY / Electronics / Circuits / General

(10)

(9)

Arithmetic and Logic Structures.

(9)

Computational linguistics.

(9)

Control theory.

(9)

Data structures (Computer scienc.

(9)

Electronics and Microelectronics, Instrumentation.

(9)

Engineering design.

(9)

Geometry, algebraic.

(9)

Induction (Logic)

(9)

Industrial engineering.

(9)

Logic programming -- Congresses.

(9)

MANTIKSAL TASARIM.

(9)

Machine learning.

(9)

PHILOSOPHY / General

(9)

Programmable controllers.

(9)

Programmable logic devices.

(9)

Semantics (Philosophy)

(9)

Signal, Speech and Image Processing.

(9)

Soft computing.

(9)

Special purpose computers.

(9)

TECHNOLOGY / Electricity

(9)

(9)

programmation en logique.

(9)

(8)

Computer networks .

(8)

Economics, Mathematical.

(8)

(8)

(8)

Knowledge, Theory of.

(8)

Law -- Philosophy.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Math Applications in Computer Science.

(8)

Mathematical optimization.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Operations research.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

(8)

Science -- Philosophy -- Congresses.

(8)

TECHNOLOGY / Electronics / General

(8)

Theory of Computation.

(8)

VHDL (Computer hardware description language)

(8)

BİLGİ KURAMI.

(7)

Electronic digital computers -- Circuits.

(7)

Embedded computer systems.

(7)

Engineering -- Data processing.

(7)

(7)

Logic -- Early works to 1800.

(7)

Logic -- History.

(7)

Logische Programmierung.

(7)

Microprogramming .

(7)

Optical data processing.

(7)

Probability and Statistics in Computer Science.

(7)

Social sciences -- Data processing.

(7)

Social sciences.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TÜMEVARIM (MANTIK)

(7)

ANAHTARLAMA KURAMI.

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Axiomatic set theory.

(6)

Biomedical engineering.

(6)

COMPUTERS / Computer Engineering

(6)

Computational Intelligence.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer Science, general.

(6)

Control, Robotics, Automation.

(6)

Data Engineering.

(6)

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

Library

Beytepe Library

Conservatory Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

3194 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 267

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 Systems of logic

Systems of logic

Systems of logic

Author

Martin, Norman M.

Preferred Shelf Number

BC 135 M325 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Cover image for Computability and logic

Computability and logic

Computability and logic

Author

Boolos, George S. Jeffrey, R. C., ort. yaz.

Preferred Shelf Number

QA 9.59 B66 1989

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Cover image for Logic with prolog

Logic with prolog

Logic with prolog

Author

Gibbins, Peter.

Preferred Shelf Number

QA 76.73.P76 G53 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Cover image for Logic tools programming

Logic tools programming

Logic tools programming

Author

Pace, Philip, 1956- Pace, L., ort. yaz.

Preferred Shelf Number

QA 76.6 P325 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Cover image for Introduction to logic

Introduction to logic

Introduction to logic

Author

Packard, Dennis J. Faulconer, James E., ort. yaz.

Preferred Shelf Number

BC 108 P22 1980

Format:

Availability

Beytepe Library~2

Available:
Copies:

6.

Cover image for Computer logic design

Computer logic design

Computer logic design

Author

Mano, M. Morris, 1927-

Preferred Shelf Number

TK 7868.S9 M275 1972

Format:

Availability

Beytepe Library~3

Available:
Copies:

7.

Cover image for Logic for philosophers

Logic for philosophers

Logic for philosophers

Author

Purtill, Richard L., 1931-

Preferred Shelf Number

BC 71 P86 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Cover image for Sets and logic

Author

Hanna, Samuel C. Saber, John C., ort. yaz.

Preferred Shelf Number

QA 248 H29 1971

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

Cover image for Introduction to logic

Introduction to logic

Introduction to logic

Author

Beach, John D.

Preferred Shelf Number

BC 108 B34 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Cover image for Understanding symbolic logic

Understanding symbolic logic

Understanding symbolic logic

Author

Massey, Gerald J.

Preferred Shelf Number

BC 135 M35 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

11.

Cover image for Logic in teaching

Logic in teaching

Logic in teaching

Author

Ennis, Robert Hugh, 1927-

Preferred Shelf Number

BC 161.T4 E5 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

Cover image for Methods of logic

Methods of logic

Methods of logic

Author

Quine, Willard Van Orman.

Preferred Shelf Number

BC 50 Q8 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 267

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11