Search Results for Logic.

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

English
Türkçe

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

SpringerLink (Online service)

(1601)

Voronkov, Andrei. editor.

(14)

Bonsangue, Marcello M. editor.

(11)

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

(9)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Rozenberg, Grzegorz. editor.

(8)

Bernardo, Marco. editor.

(7)

Steffen, Bernhard. editor.

(7)

de Boer, Frank S. editor.

(7)

de Queiroz, Ruy. editor.

(7)

Gabbay, Dov M. author.

(6)

Gabbay, Dov M. editor.

(6)

Guenthner, Franz. editor.

(6)

Potapov, Igor. editor. (orcid)0000-0002-7192-7853

(6)

Rahman, Shahid. editor.

(6)

Rossi, Francesca. editor.

(6)

Torroni, Paolo. editor.

(6)

Woodcock, Jim. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Barthe, Gilles. editor.

(5)

Crnkovic, Ivica. editor.

(5)

Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087

(5)

Gorrieri, Roberto. editor.

(5)

Governatori, Guido. editor.

(5)

Graf, Susanne. editor.

(5)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(5)

Meseguer, José. editor.

(5)

Ong, Luke. editor.

(5)

Peña, Ricardo. editor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf H. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Stafford, Judith A. editor.

(5)

Stenström, Per. editor. (orcid)0000-0002-7441-8245

(5)

Zavattaro, Gianluigi. editor.

(5)

Bravetti, Mario. editor.

(4)

Cooper, Barry S. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Dongarra, Jack. editor.

(4)

Fages, François. editor.

(4)

Farabi, Ebu Nasr Muallim-i Sani Muhammed b. Muhammed B.Tarhan, 339/950

(4)

Fisher, Michael. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gerdt, Vladimir P. editor.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(4)

Gorton, Ian. editor.

(4)

Grünberg, Teo, 1927-

(4)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(4)

Higashino, Teruo. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Karhumäki, Juhani. editor.

(4)

Koepf, Wolfram. editor.

(4)

Legay, Axel. editor.

(4)

Leite, Joao. editor.

(4)

Leite, João. editor.

(4)

Maciaszek, Leszek A. editor.

(4)

Margaria, Tiziana. editor.

(4)

Mayr, Ernst W. editor.

(4)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(4)

Montanari, Ugo. editor.

(4)

Palsberg, Jens. editor.

(4)

Peled, Doron A. editor.

(4)

Petrosino, Alfredo. editor.

(4)

Rosu, Grigore. editor.

(4)

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

(4)

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Ungerer, Theo. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Veith, Helmut. editor.

(4)

Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

de Roever, Willem-Paul. editor.

(4)

Agrawal, Manindra. editor.

(3)

Alpuente, María. editor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Atan, Özkan. danışman.

(3)

Aßmann, Uwe. editor.

(3)

Baldoni, Matteo. editor.

(3)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(3)

Bewersdorff, Jörg. author.

(3)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(3)

Bjørner, Dines. author.

(3)

Boissier, Olivier. editor.

(3)

Bondavalli, Andrea. editor.

(3)

Butler, Michael. editor.

(3)

Butterfield, Andrew. editor.

(3)

Calude, Cristian S. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Dawar, Anuj. editor.

(3)

Derrick, John. editor.

(3)

Dignum, Virginia. editor.

(3)

Dingel, Juergen. editor.

(3)

Dix, Jürgen. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Dowek, Gilles. author.

(3)

Ehrig, Hartmut. editor.

(3)

Fiadeiro, José Luiz. editor.

(3)

Fitzgerald, John. editor.

(3)

Gabbay, Dov M., 1945-

(3)

Giese, Holger. editor.

(3)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Hermanns, Holger. editor.

(3)

Hermenegildo, Manuel. editor.

(3)

Hoffmann, Dirk W. author.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Husserl, Edmund. author.

(3)

Hähnle, Reiner. editor.

(3)

Jones, Cliff B. editor.

(3)

Kanamori, Akihiro. editor.

(3)

Kindler, Ekkart. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

König, Barbara. editor.

(3)

Leuschel, Michael. editor.

(3)

Li, Angsheng. editor.

(3)

Lopes, Antonia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Marion, Mathieu. editor.

(3)

Markov, Igor L. author.

(3)

Martin-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(3)

Masulli, Francesco. editor.

(3)

Matson, Eric T. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Meyer, Bertrand. editor.

(3)

Métais, Elisabeth. editor.

(3)

Nerode, Anil. editor.

(3)

Nesin, Ali, 1956-

(3)

Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(3)

Ossowski, Sascha. editor.

(3)

Palamidessi, Catuscia. editor.

(3)

Paschke, Adrian. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pedrycz, Witold. editor.

(3)

Pfenning, Frank. editor.

(3)

Plasil, Frantisek. editor.

(3)

Rahonis, George. editor.

(3)

Rautenberg, Wolfgang. author.

(3)

Rebuschi, Manuel. editor.

(3)

Rybalchenko, Andrey. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schewe, Klaus-Dieter. editor.

(3)

Schmidt, Renate. editor.

(3)

Schätz, Bernhard. editor.

(3)

Seidl, Helmut. editor.

(3)

Seipel, Dietmar. editor.

(3)

Shao, Zhong. editor.

(3)

Simao, Adenilso. editor. (orcid)0000-0002-1454-2607

(3)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(3)

Staab, Steffen. editor. (orcid)0000-0002-0780-4154

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Stoelinga, Mariëlle. editor.

(3)

Suárez, Mauricio. editor.

(3)

Szyperski, Clemens. editor.

(3)

Torres, Juan Manuel. editor.

(3)

Vardanega, Tullio. editor.

(3)

Varró, Dániel. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Wallis, W.D. author.

(3)

Wansing, Heinrich. editor.

(3)

Winikoff, Michael. editor.

(3)

Wirsing, Martin. editor.

(3)

Wolff, Burkhart. editor.

(3)

Yakovlev, Alex. editor.

(3)

Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

(3)

van Benthem, Johan. editor.

(3)

van der Hoek, Wiebe. editor.

(3)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(3)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Agotnes, Thomas. editor.

(2)

Aigner, Martin. author.

(2)

Ait Ameur, Yamine. editor.

(2)

Akbayır, Kamil. danışman.

(2)

Albert, Elvira. editor.

(2)

Ali Sedad, 1857-1900.

(2)

Aloni, Maria. editor.

(2)

(2)

Astola, Jaakko. author.

(2)

Azemard, Nadine. editor.

(2)

Baader, Franz. editor.

(2)

Baral, Chitta. editor.

(2)

Barkalov, Alexander. author.

(2)

Tümünü genişlet

Dil

(1595)

(109)

(62)

(26)

(6)

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(196)

(179)

(177)

(171)

(160)

(159)

(158)

(157)

(152)

(137)

(11)

(11)

(11)

(10)

(9)

(9)

(8)

(8)

(7)

(6)

(5)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(1061)

Computer Science Logic and Foundations of Programming.

(982)

Software engineering.

(753)

Formal Languages and Automata Theory.

(611)

Machine theory.

(611)

Compilers (Computer programs).

(561)

Compilers and Interpreters.

(561)

Artificial intelligence.

(409)

Computer programming.

(407)

Programming Techniques.

(407)

Theory of Computation.

(329)

Computer networks .

(306)

Computer Communication Networks.

(287)

Mathematical logic.

(259)

Mathematical Logic and Foundations.

(258)

(219)

Computer science-Mathematics.

(214)

(188)

Discrete mathematics.

(122)

Electronic data processing-Management.

(99)

(99)

Discrete Mathematics in Computer Science.

(97)

(86)

(85)

Application software.

(84)

Computer and Information Systems Applications.

(84)

Symbolic and Algebraic Manipulation.

(74)

Philosophy of Science.

(69)

Science-Philosophy.

(69)

Mathematics of Computing.

(60)

Arithmetic and Logic Structures.

(57)

Computer arithmetic and logic units.

(57)

Operating Systems.

(56)

Operating systems (Computers).

(56)

Computer Modelling.

(55)

Computer simulation.

(55)

Computers, Special purpose.

(53)

Special Purpose and Application-Based Systems.

(53)

(51)

Knowledge, Theory of.

(51)

(51)

Information Storage and Retrieval.

(49)

Information storage and retrieval systems.

(49)

Computer System Implementation.

(44)

Computer systems.

(44)

Computer architecture.

(42)

Electronic Circuits and Systems.

(40)

Electronic circuits.

(40)

Microprocessors.

(40)

Processor Architectures.

(40)

(38)

Electronic digital computers-Evaluation.

(36)

History of Mathematical Sciences.

(36)

System Performance and Evaluation.

(36)

Artificial intelligence-Data processing.

(35)

(35)

(33)

Human-computer interaction.

(33)

Language and languages-Philosophy.

(33)

Philosophy of Language.

(33)

User Interfaces and Human Computer Interaction.

(33)

User interfaces (Computer systems).

(33)

Computer Engineering and Networks.

(29)

Computer engineering.

(29)

Models of Computation.

(29)

Numerical analysis.

(28)

Data Mining and Knowledge Discovery.

(27)

(27)

Database management.

(27)

Information theory.

(26)

History of Philosophy.

(24)

(24)

(24)

Philosophy-History.

(24)

Engineering mathematics.

(23)

Engineering-Data processing.

(23)

(23)

Mathematical and Computational Engineering Applications.

(23)

Computer vision.

(22)

Data and Information Security.

(22)

Data protection.

(22)

(22)

Applications of Mathematics.

(21)

Electronics and Microelectronics, Instrumentation.

(21)

Mathematical statistics.

(21)

Natural Language Processing (NLP).

(21)

Natural language processing (Computer science).

(21)

Probability and Statistics in Computer Science.

(21)

Computer-Aided Engineering (CAD, CAE) and Design.

(20)

Computer-aided engineering.

(20)

(20)

(20)

(19)

(19)

Multimedia systems.

(19)

Probability Theory.

(19)

Multimedia Information Systems.

(18)

Computational intelligence.

(17)

Mathematical Applications in Computer Science.

(16)

Bioinformatics.

(15)

Business information services.

(15)

Coding and Information Theory.

(15)

(15)

Electrical engineering.

(15)

(15)

History of Science.

(15)

IT in Business.

(15)

Law-Philosophy.

(15)

(15)

Philosophy, Modern.

(15)

Science-History.

(15)

Computational and Systems Biology.

(14)

Computers and Society.

(14)

Computers and civilization.

(14)

Control engineering.

(14)

Electrical and Electronic Engineering.

(14)

(13)

Automated Pattern Recognition.

(13)

Computer input-output equipment.

(13)

Input/Output and Data Communications.

(13)

Mathematical analysis.

(13)

Operations research.

(13)

Pattern recognition systems.

(13)

(13)

Computer Application in Administrative Data Processing.

(12)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(12)

Early Modern Philosophy.

(12)

Felsefe, İslam

(12)

Hardware Performance and Reliability.

(12)

Image processing-Digital techniques.

(12)

Information technology-Management.

(12)

(12)

Mantık, İslam

(12)

Theories of Law, Philosophy of Law, Legal History.

(12)

Computer Hardware.

(11)

(11)

(11)

Data Structures and Information Theory.

(11)

Data encryption (Computer science).

(11)

Data structures (Computer science).

(11)

(11)

Logic, Symbolic and mathematical

(11)

Order, Lattices, Ordered Algebraic Structures.

(11)

Philosophy of mind.

(11)

(11)

Computational linguistics.

(10)

(10)

(10)

(10)

Mathematics-Data processing.

(10)

(10)

Phenomenology .

(10)

Philosophy, Islamic

(10)

Algebraic geometry.

(9)

Control and Systems Theory.

(9)

Management science.

(9)

Operations Research and Decision Theory.

(9)

Quantitative Economics.

(9)

(9)

Control Structures and Microprogramming.

(8)

(8)

Microprogramming .

(8)

Moral Philosophy and Applied Ethics.

(8)

Philosophy of Law.

(8)

(8)

(8)

(7)

Computational Science and Engineering.

(7)

Computer Memory Structure.

(7)

Computer graphics.

(7)

Computer storage devices.

(7)

Control, Robotics, Automation.

(7)

Engineering design.

(7)

Functional analysis.

(7)

Mantık, sembolik ve matematiksel

(7)

Mathematical physics.

(7)

Memory management (Computer science).

(7)

Philosophy and social sciences.

(7)

Philosophy of the Social Sciences.

(7)

Quantum physics.

(7)

(7)

Van Yüzüncü Yıl Üniversitesi -- Sosyal Bilimler Enstitüsü.

(7)

Algebra, Homological.

(6)

Applied linguistics.

(6)

Category Theory, Homological Algebra.

(6)

Cognitive psychology.

(6)

Computers-History.

(6)

History of Computing.

(6)

Mantık, Sembolik ve matematiksel

(6)

(6)

Operations Research, Management Science .

(6)

Political science.

(6)

(6)

Signal processing.

(6)

Signal, Speech and Image Processing .

(6)

Theoretical Linguistics / Grammar.

(6)

Bilgisayar programları_Otomatik kontrol

(5)

Biology-Philosophy.

(5)

Communications Engineering, Networks.

(5)

Computer programs_Automatic control

(5)

Tümünü genişlet

Materyal Türü

Shelf Location

Elsevier E-Kitap Koleksiyonu

Genel Koleksiyon

Nadir Eserler Koleksiyonu

Referans Koleksiyonu

Springer E-Kitap Koleksiyonu

Tez Koleksiyonu

Turcademy E-Kitap Koleksiyonu

İlahiyet Genel Koleksiyon

Tümünü genişlet

Kütüphane

Ferit Melen Kütüphanesi

İlahiyat Kütüphanesi

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1800 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 150

000000000000DEFAULT

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Logic için kapak resmi

by

Hodges, Wilfrid

Format:

Alıntı:

Logic / Hodges, Wilfrid

SD_ILS:53443

2.

Inductive logic için kapak resmi

Inductive logic

Inductive logic

by

Gabbay, Dov M., 1945-

ScienceDirect https://www.sciencedirect.com/science/book/9780444529367
ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/10

Format:

Alıntı:

Inductive logic / Gabbay, Dov M., 1945-

SD_ILS:198527

3.

Mathematical logic için kapak resmi

Mathematical logic

Mathematical logic

by

Kleene, Stephen Cole, 1909-

Format:

Alıntı:

Mathematical logic / Kleene, Stephen Cole, 1909-

SD_ILS:79949

4.

Dynamic Epistemic Logic için kapak resmi

Dynamic Epistemic Logic

Dynamic Epistemic Logic

by

van Ditmarsch, Hans. author.

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

Format:

Alıntı:

Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,

SD_ILS:143466

5.

Logic in Reality için kapak resmi

Logic in Reality

Logic in Reality

by

BRENNER, JOSEPH. author.

https://doi.org/10.1007/978-1-4020-8375-4

Format:

Alıntı:

Logic in Reality BRENNER, JOSEPH. author.

SD_ILS:155629

6.

Introduction to logic için kapak resmi

Introduction to logic

Introduction to logic

by

Copi, Irving M.

Format:

Alıntı:

Introduction to logic / Copi, Irving M.

SD_ILS:63565

7.

Logic and Structure için kapak resmi

Logic and Structure

Logic and Structure

by

van Dalen, Dirk. author.

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

Format:

Alıntı:

Logic and Structure van Dalen, Dirk. author.

SD_ILS:166101

8.

Synchronous precharge logic için kapak resmi

Synchronous precharge logic

Synchronous precharge logic

by

Smoszna, Marek.

ScienceDirect https://www.sciencedirect.com/science/book/9780123985279

Format:

Alıntı:

Synchronous precharge logic / Smoszna, Marek.

SD_ILS:199130

9.

Stochastic Coalgebraic Logic için kapak resmi

Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic

by

Doberkat, Ernst-Erich. author.

https://doi.org/10.1007/978-3-642-02995-0

Format:

Alıntı:

Stochastic Coalgebraic Logic Doberkat, Ernst-Erich. author.

SD_ILS:175971

10.

Contemporary logic design için kapak resmi

Contemporary logic design

Contemporary logic design

by

Katz, Randy H., 1955-

Format:

Alıntı:

Contemporary logic design / Katz, Randy H., 1955-

SD_ILS:85084

11.

Fuzzy Equational Logic için kapak resmi

Fuzzy Equational Logic

Fuzzy Equational Logic

by

Belohlávek, Radim. author.

https://doi.org/10.1007/b105121

Format:

Alıntı:

Fuzzy Equational Logic Belohlávek, Radim. author.

SD_ILS:142203

12.

Introduction to logic için kapak resmi

Introduction to logic

Introduction to logic

by

Packard, Denis J.

Format:

Alıntı:

Introduction to logic / Packard, Denis J.

SD_ILS:65205

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 150

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)