Search Results for Logic.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

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)

Tümünü genişlet

Dil

(2753)

(67)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(267)

(255)

(235)

(225)

(209)

(198)

(197)

(193)

(192)

(187)

(179)

(156)

(118)

(106)

(51)

(43)

(38)

(38)

(33)

(32)

(31)

(26)

(25)

(25)

(25)

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

Tümünü genişlet

Konu

Computer science.

(1243)

(1147)

Software engineering.

(874)

Artificial intelligence.

(606)

Logic, Symbolic and mathematical.

(314)

Computer Communication Networks.

(294)

Computer software.

(241)

(222)

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)

(26)

Computer communication systems.

(25)

Logic circuits.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

Multimedia systems.

(25)

(25)

(24)

Engineering mathematics.

(24)

Information storage and retrieval.

(24)

(23)

(23)

Data protection.

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

(16)

Data encryption (Computer science).

(15)

Mathematics_$xHistory.

(15)

Natural language processing (Computer science).

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

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

Akıl yürütme.

(5)

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)

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)

Tümünü genişlet

Materyal Türü

Tümünü genişlet

Shelf Location

Beytepe Art Collection

Beytepe CD-ROM Koleksiyonu

Beytepe Danışma Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Görsel-İşitsel Koleksiyonu

Beytepe Tez Koleksiyonu

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Konservatuvar Genel Koleksiyon

Prof.Dr.Onur Bilge Kulak Collection

Sağlık Bilimleri Genel Koleksiyon

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Hukuk Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri Kütüphanesi

Çevrimiçi Kütüphane

{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

2887 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 8 9 10 11 12 .. 241

000000000000DEFAULT_TR

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.

109.

Foundations of logic programming için kapak resmi

Foundations of logic programming

Foundations of logic programming

Yazar

Lloyd, John Wylie, 1947-

Yer Numarası

QA 76.6 L538 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

110.

Logic, automata, and algorithms için kapak resmi

Logic, automata, and algorithms

Logic, automata, and algorithms

Yazar

Aĭzerman, M. A. (Mark Aronovich), 1913-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Language, truth, and logic için kapak resmi

Language, truth, and logic

Language, truth, and logic

Yazar

Ayer, Alfred Julies, 1910-

Yer Numarası

B 53 A9 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

112.

Probability and inductive logic için kapak resmi

Probability and inductive logic

Probability and inductive logic

Yazar

Kyburg, Henry Ely, 1928-

Yer Numarası

BC 91 K9 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

113.

Formal and transcendental logic için kapak resmi

Formal and transcendental logic

Formal and transcendental logic

Yazar

Husserl, Edmund, 1859-1938.

Yer Numarası

BC 122 H813 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

114.

Fulse and logic circuits için kapak resmi

Fulse and logic circuits

Fulse and logic circuits

Yazar

Gillie, Angelo C., ed.

Yer Numarası

TK 7867 G54 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

115.

Set theory and logic için kapak resmi

Set theory and logic

Set theory and logic

Yazar

Fraenkel, Abraham Adolf, 1891-1965.

Yer Numarası

QA 248 F73 1966

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

116.

Logic and boolean algebra için kapak resmi

Logic and boolean algebra

Logic and boolean algebra

Yazar

Arnold, Bradford Henry, 1916-

Yer Numarası

QA 266 A7 1962

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

117.

Advanced digital logic concepts için kapak resmi

Advanced digital logic concepts

Advanced digital logic concepts

Yer Numarası

TK 7868.D5 A95 1983

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

118.

Hybrid Logic and its Proof-Theory için kapak resmi

Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory

Yazar

Braüner, Torben. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0002-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

A grammatical view of logic programming için kapak resmi

A grammatical view of logic programming

A grammatical view of logic programming

Yazar

Deransart, Pierre. Małuszyński, J. (Jan), 1941-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Gentzen Calculi for Modal Propositional Logic için kapak resmi

Gentzen Calculi for Modal Propositional Logic

Gentzen Calculi for Modal Propositional Logic

Yazar

Poggiolesi, Francesca. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9670-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 8 9 10 11 12 .. 241

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11