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

Narrowed by:

+

Language: English

Author

SpringerLink (Online service)

(1972)

(22)

Voronkov, Andrei. editor.

(18)

Gabbay, Dov M., 1945-

(12)

Wiley InterScience (Online service)

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. 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)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Kacprzyk, Janusz. 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)

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

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

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)

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)

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)

Castillo, Oscar. author.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

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

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Koutny, Maciej. editor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

LaMeres, Brock J. author.

(4)

Majumdar, Rupak. editor.

(4)

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

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. editor.

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

Petrosino, Alfredo. editor.

(4)

Risby, Bonnie Lou.

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

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zsók, Viktória. editor.

(4)

Ölveczky, Peter Csaba. editor.

(4)

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)

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)

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)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hegel, Georg Wilhelm Friedrich, 1770-1831.

(3)

Hegel, Georg Wilhelm Friedrich.

(3)

(3)

Henzinger, Thomas A. editor.

(3)

Hermanns, Holger. editor.

(3)

Hermenegildo, Manuel V. editor.

(3)

Herzig, Andreas. editor.

(3)

Hinchey, Mike. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

International Colloquium in the Philosophy of Science (1965 : Bedford College)

(3)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(3)

Johnsen, Einar Broch. editor.

(3)

Jones, Cliff B. editor.

(3)

Kanamori, Akihiro. editor.

(3)

Katoen, Joost-Pieter. editor.

(3)

Language

(2)

(2)

(1)

Publication Date

-

(257)

(243)

(228)

(221)

(205)

(193)

(190)

(189)

(186)

(180)

(172)

(151)

(117)

(98)

(45)

(40)

(34)

(33)

(30)

(26)

(23)

(23)

(23)

(23)

(23)

(22)

(21)

(20)

(19)

(18)

(17)

(17)

(17)

(17)

(16)

(16)

(16)

(15)

(15)

(14)

(14)

(13)

(13)

(12)

(12)

(12)

(11)

(11)

(11)

(10)

(10)

(10)

(10)

(10)

(9)

(9)

(9)

(8)

(8)

(8)

(8)

(8)

(6)

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

Subject

Computer science.

(1227)

(1134)

Software engineering.

(870)

Artificial intelligence.

(606)

Computer Communication Networks.

(294)

Logic, Symbolic and mathematical.

(286)

Computer software.

(238)

(190)

Computer logic.

(160)

Mathematical logic.

(149)

(131)

Computational complexity.

(118)

Philosophy (General).

(113)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Operating systems (Computers).

(101)

Mathematical Logic and Formal Languages.

(100)

Information theory.

(89)

Algebra -- Data processing.

(79)

(78)

Information systems.

(77)

Computer simulation.

(76)

Programming languages (Electronic computers).

(75)

(74)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Science -- Philosophy.

(59)

Data structures (Computer science).

(58)

Computer system performance.

(57)

Programming Languages, Compilers, Interpreters.

(56)

(54)

(52)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Electronic data processing.

(41)

Systems engineering.

(41)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(40)

(37)

Genetic epistemology.

(37)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

(31)

Bioinformatics.

(29)

Computation by Abstract Devices.

(29)

Computer vision.

(29)

Programming Techniques.

(29)

Linguistics -- Philosophy.

(28)

Mathematical Logic and Foundations.

(28)

Computer programming.

(27)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Multimedia systems.

(25)

Engineering mathematics.

(24)

Information storage and retrieval.

(24)

Management information systems.

(24)

Data protection.

(22)

(22)

(22)

(21)

(21)

Computer security.

(20)

Mathematics -- Philosophy.

(20)

(19)

Electronic books.

(19)

(19)

Information Systems Applications (incl. Internet).

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

Logic circuits.

(18)

Arithmetic and logic units, Computer.

(17)

Computer system failures.

(17)

(17)

(17)

Computer aided design.

(16)

Digital electronics.

(16)

(16)

Mathematical statistics.

(16)

Microprocessors.

(16)

Data encryption (Computer science).

(15)

Electronic circuits.

(15)

Natural language processing (Computer science).

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Management of Computing and Information Systems.

(14)

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Computer hardware.

(13)

Information Storage and Retrieval.

(13)

Mathematics_$xHistory.

(13)

Modality (Logic)

(13)

MANTIKSAL DEVRELER.

(12)

Numerical analysis.

(12)

(12)

Algebraic logic.

(11)

Computer industry.

(11)

(11)

(11)

Science -- History.

(11)

Symbolic and Algebraic Manipulation.

(11)

Philosophy of mind.

(10)

Data Mining and Knowledge Discovery.

(9)

Data structures (Computer scienc.

(9)

Geometry, algebraic.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

MANTIKSAL TASARIM.

(9)

(9)

(9)

Special purpose computers.

(9)

programmation en logique.

(9)

Arithmetic and Logic Structures.

(8)

Computational linguistics.

(8)

Economics, Mathematical.

(8)

Language and logic.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

Science -- Philosophy -- Congresses.

(8)

Semantics (Philosophy)

(8)

(8)

Computer science -- Mathematics.

(7)

(7)

(7)

(7)

(7)

(7)

Logische Programmierung.

(7)

Math Applications in Computer Science.

(7)

Optical data processing.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Theory of Computation.

(7)

VHDL (Computer hardware description language)

(7)

ANAHTARLAMA KURAMI.

(6)

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Computational Intelligence.

(6)

Computer Science, general.

(6)

Control theory.

(6)

Electronic digital computers -- Circuits.

(6)

Engineering design.

(6)

Global analysis (Mathematics).

(6)

History of Mathematical Sciences.

(6)

Judgment (Logic)

(6)

Language and languages -- Philosophy.

(6)

Law -- Philosophy.

(6)

(6)

Logic, Medieval.

(6)

Logisch programmeren.

(6)

Nanotechnology.

(6)

Numeric Computing.

(6)

Philosophy of law.

(6)

Probability and Statistics in Computer Science.

(6)

Programmable controllers.

(6)

Programmable logic devices.

(6)

Social sciences -- Philosophy.

(6)

System Performance and Evaluation.

(6)

TÜMEVARIM (MANTIK)

(6)

Automatic control.

(5)

Axiomatic set theory.

(5)

BİLGİ KURAMI.

(5)

Computational Biology/Bioinformatics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer graphics.

(5)

Game Theory, Economics, Social and Behav. Sciences.

(5)

Induction (Logic)

(5)

Intuitionistic mathematics.

(5)

(5)

(5)

Logic -- Early works to 1800.

(5)

Logic design -- Data processing.

(5)

Many-valued logic.

(5)

Microprogramming .

(5)

Nonlinear control theory.

(5)

Nonmonotonic reasoning.

(5)

(5)

Operating Systems.

(5)

Operations research.

(5)

Pattern recognition.

(5)

(5)

SAYISAL ELEKTRONİK.

(5)

Social sciences -- Methodology.

(5)

Special Purpose and Application-Based Systems.

(5)

(5)

Telecommunication.

(5)

Thought and thinking -- Problems, exercises, etc.

(5)

(5)

User Interfaces and Human Computer Interaction.

(5)

Categories (Mathematics)

(4)

Circuits and Systems.

(4)

Combinatory logic.

(4)

Computable functions.

(4)

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

Sağlık Bilimleri Genel Koleksiyon

Library

Beytepe Library

Conservatory Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

2752 Results Found

Subscribe to search results

1 2 3 4 5 .. 230

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.

25.

Cover image for Dynamic Epistemic Logic

Dynamic Epistemic Logic

Dynamic Epistemic Logic

Author

Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5839-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Computability, complexity, logic

Computability, complexity, logic

Computability, complexity, logic

Author

Börger, E. (Egon), 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Ancient formal logic

Ancient formal logic

Ancient formal logic

Author

Bochenski, Joseph M., 1902-1995.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Logic and Structure

Logic and Structure

Logic and Structure

Author

Dalen, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331010.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4558-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Logic the basics

Logic the basics

Logic the basics

Author

Beall, J. C.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Philosophy of logic

Philosophy of logic

Philosophy of logic

Author

Jacquette, Dale.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Orbiting with logic

Orbiting with logic

Orbiting with logic

Author

Risby, Bonnie Lou. Crawford, Dean.

Preferred Shelf Number

LB1590.3 R57 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

Cover image for Logic and structure

Logic and structure

Logic and structure

Author

Dalen, D. van.

Preferred Shelf Number

QA 9 D16 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Cover image for Digital logic design

Digital logic design

Digital logic design

Author

Holdsworth, B. (Brian) Woods, R. C. (R. Clive)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Logic and existence

Logic and existence

Logic and existence

Author

Hyppolite, Jean.

Preferred Shelf Number

B2949.L8 H913 1997

Format:

Availability

Beytepe Library~1

Available:
Copies:

35.

Cover image for Introduction to logic

Introduction to logic

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

Cover image for Advanced Logic Synthesis

Advanced Logic Synthesis

Advanced Logic Synthesis

Author

Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67295-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 230

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11