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)

(2011)

(22)

Voronkov, Andrei. editor.

(18)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

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

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)

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)

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

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)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hegel, Georg Wilhelm Friedrich, 1770-1831.

(3)

(3)

Henzinger, Thomas A. editor.

(3)

Hermanns, Holger. editor.

(3)

Hermenegildo, Manuel V. editor.

(3)

Herzig, Andreas. editor.

(3)

Hinchey, Mike. editor.

(3)

Hoffmann, Dirk W. author.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

IEEE Engineering in Medicine and Biology Society.

(3)

Language

(2753)

(66)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Publication Date

-

(267)

(255)

(235)

(225)

(209)

(198)

(197)

(193)

(192)

(187)

(179)

(156)

(118)

(106)

(51)

(43)

(38)

(38)

(33)

(32)

(31)

(26)

(25)

(25)

(24)

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

(1243)

(1147)

Software engineering.

(874)

Artificial intelligence.

(606)

Logic, Symbolic and mathematical.

(314)

Computer Communication Networks.

(294)

Computer software.

(241)

(221)

Computer logic.

(160)

(152)

Mathematical logic.

(151)

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.

(91)

Computer simulation.

(80)

(80)

Algebra -- Data processing.

(79)

(77)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Artificial Intelligence (incl. Robotics).

(60)

Data structures (Computer science).

(60)

Science -- Philosophy.

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

Programming Languages, Compilers, Interpreters.

(56)

(55)

(52)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(45)

Electronic data processing.

(42)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

(38)

Genetic epistemology.

(37)

(36)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Computer vision.

(30)

Electronic books.

(30)

Bioinformatics.

(29)

Computation by Abstract Devices.

(29)

Programming Techniques.

(29)

Linguistics -- Philosophy.

(28)

Mathematical Logic and Foundations.

(28)

Computer programming.

(27)

(27)

Computer communication systems.

(25)

Logic circuits.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

Multimedia systems.

(25)

(25)

(25)

(24)

Engineering mathematics.

(24)

Information storage and retrieval.

(24)

(23)

Data protection.

(22)

(22)

Computer security.

(20)

Mathematics -- Philosophy.

(20)

(19)

(19)

Information Systems Applications (incl. Internet).

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Digital electronics.

(17)

Mathematical statistics.

(17)

Electronic circuits.

(16)

Microprocessors.

(16)

Data encryption (Computer science).

(15)

Mathematics_$xHistory.

(15)

Natural language processing (Computer science).

(15)

(15)

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Management of Computing and Information Systems.

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Computer hardware.

(13)

Information Storage and Retrieval.

(13)

MANTIKSAL DEVRELER.

(13)

Modality (Logic)

(13)

(13)

Numerical analysis.

(12)

(12)

Algebraic logic.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

Symbolic and Algebraic Manipulation.

(11)

Global analysis (Mathematics).

(10)

Philosophy of mind.

(10)

(10)

(9)

Data Mining and Knowledge Discovery.

(9)

Data structures (Computer scienc.

(9)

(9)

Geometry, algebraic.

(9)

Induction (Logic)

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

MANTIKSAL TASARIM.

(9)

Special purpose computers.

(9)

(9)

programmation en logique.

(9)

Arithmetic and Logic Structures.

(8)

Computational linguistics.

(8)

Economics, Mathematical.

(8)

(8)

(8)

Language and logic.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

Science -- Philosophy -- Congresses.

(8)

Semantics (Philosophy)

(8)

Theory of Computation.

(8)

VHDL (Computer hardware description language)

(8)

BİLGİ KURAMI.

(7)

Computer science -- Mathematics.

(7)

Electronic digital computers -- Circuits.

(7)

(7)

(7)

Language and languages -- Philosophy.

(7)

Logic -- Early works to 1800.

(7)

Logische Programmierung.

(7)

Optical data processing.

(7)

Programmable controllers.

(7)

Programmable logic devices.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TÜMEVARIM (MANTIK)

(7)

ANAHTARLAMA KURAMI.

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Computational Intelligence.

(6)

Computer Science, general.

(6)

Control theory.

(6)

Engineering design.

(6)

History of Mathematical Sciences.

(6)

Judgment (Logic)

(6)

Knowledge, Theory of.

(6)

Law -- Philosophy.

(6)

(6)

Logic -- History.

(6)

Logic -- Problems, exercises, etc.

(6)

Logic, Medieval.

(6)

Logisch programmeren.

(6)

Mantık -- Problemler, Alıştırmalar, Vb.

(6)

Nanotechnology.

(6)

Numeric Computing.

(6)

Philosophy of law.

(6)

Probability and Statistics in Computer Science.

(6)

Social sciences -- Philosophy.

(6)

System Performance and Evaluation.

(6)

Telecommunication.

(6)

Thought and thinking -- Problems, exercises, etc.

(6)

Automatic control.

(5)

Axiomatic set theory.

(5)

Biomedical engineering.

(5)

Computational Biology/Bioinformatics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer graphics.

(5)

(5)

Game Theory, Economics, Social and Behav. Sciences.

(5)

Intuitionistic mathematics.

(5)

(5)

(5)

(5)

Logic design -- Data processing.

(5)

(5)

Many-valued logic.

(5)

Mathematical physics.

(5)

Microprogramming .

(5)

Neural networks (Computer science)

(5)

Neurale netwerken.

(5)

Nonlinear control theory.

(5)

Nonmonotonic reasoning.

(5)

(5)

Operating Systems.

(5)

Operations research.

(5)

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

Library

Beytepe Library

Conservatory Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

2886 Results Found

Subscribe to search results

1 .. 236 237 238 239 240 241

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.

2845.

Cover image for Birinci çözümlemeler

Birinci çözümlemeler

Birinci çözümlemeler

Author

Aristoteles. Houshiary, Ali.

Preferred Shelf Number

B440.A8 B57 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

2846.

Cover image for Handbook of fuzzy computation

Handbook of fuzzy computation

Handbook of fuzzy computation

Author

Ruspini, Enrique H. Bonissone, Piero Patrone. Pedrycz, Witold, 1953-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

2847.

Cover image for Chaucer and the Trivium : the mindsong of the Canterbury Tales

Chaucer and the Trivium : the mindsong of the Canterbury Tales

Chaucer and the Trivium : the mindsong of the Canterbury Tales

Author

Russell, J. Stephen.

Preferred Shelf Number

PR 1874 R87 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

2848.

Cover image for Klasik mantık

Author

Öner, Necati.

Preferred Shelf Number

BC 59 .O58 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

2849.

Cover image for Elements of the theory of computation

Elements of the theory of computation

Elements of the theory of computation

Author

Lewis, Harry R. Papadimitriou, Christos H.

Preferred Shelf Number

QA267 .L49 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

2850.

Cover image for Sıradışı mantık bulmacaları

Sıradışı mantık bulmacaları

Sıradışı mantık bulmacaları

Author

Brecher, Erwin. Erenus, Vasıf.

Preferred Shelf Number

GV1507.P43 B7419 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

2851.

Cover image for Fuzzy controllers

Fuzzy controllers

Fuzzy controllers

Author

Reznik, Leonid, 1955-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2852.

Cover image for Fuzzy management contemporary ideas and practices at work

Fuzzy management contemporary ideas and practices at work

Fuzzy management contemporary ideas and practices at work

Author

Grint, Keith.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198775003.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

2853.

Cover image for The art of causal conjecture

The art of causal conjecture

The art of causal conjecture

Author

Shafer, Glenn, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2854.

Cover image for For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning

Author

Levi, Isaac, 1930-

Preferred Shelf Number

BC 183 L48 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

2855.

Cover image for Temel mantık

Author

Ural, Şafak.

Preferred Shelf Number

BC117.T8 U73 1995

Format:

Availability

Beytepe Library~1

Available:
Copies:

2856.

Cover image for Felsefe nedir?

Author

Deleuze, Gilles. Guattari, Felix. Ilgaz, Turhan.

Preferred Shelf Number

B2430.D453 F45 1995

Format:

Availability

Law Library~1

Available:
Copies:

1 .. 236 237 238 239 240 241

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11