Search Results for Mathematical logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(470)

Gabbay, Dov M. author.

(4)

Löwe, Benedikt. editor.

(4)

Mostowski, Andrzej.

(4)

Schlechta, Karl. author.

(4)

Andreescu, Titu. author.

(3)

Association for Symbolic Logic.

(3)

Blackburn, Patrick. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Cooper, S. Barry. editor.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Kanamori, Akihiro. editor.

(3)

Laurent, Anne. editor.

(3)

Nerode, Anil. editor.

(3)

(3)

Ong, Luke. editor.

(3)

Pacuit, Eric. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Strauss, Olivier. editor.

(3)

Suppes, Patrick, 1922-

(3)

Tarski, Alfred.

(3)

Wiley InterScience (Online service)

(3)

Yager, Ronald R. editor.

(3)

Ésik, Zoltán. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Arruda, A. I. (Ayda Ignez)

(2)

Artemov, Sergei. editor.

(2)

(2)

Bekki, Daisuke. editor.

(2)

Benthem, Johan.

(2)

Beziau, Jean-Yves. editor.

(2)

Biere, Armin. editor.

(2)

Bloem, Roderick. editor.

(2)

Bobillo, Fernando. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bridges, Douglas S. author.

(2)

Carnielli, Walter. author.

(2)

(2)

Coecke, Bob. editor.

(2)

Cornelis, Chris. editor.

(2)

Crespi Reghizzi, Stefano. author.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

(2)

Dalen, D. van (Dirk), 1932-

(2)

Dediu, Adrian-Horia. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Ditmarsch, Hans. editor.

(2)

Ebbinghaus, Heinz-Dieter. author.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Flum, Jörg. author.

(2)

Fried, Michael D. author.

(2)

Gabbay, Dov M. editor.

(2)

Gandy, R. O. (Robin O.)

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Goncharov, Sergei S. editor.

(2)

Grossi, Davide. editor.

(2)

Gupta, Amitabha. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Herzberg, Frederik. author.

(2)

Hooker, John, 1949-

(2)

Horrocks, Ian. editor.

(2)

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

(2)

Jain, Sanjay. editor.

(2)

Jarden, Moshe. author.

(2)

Kaminski, Michael. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Konstantinidis, Stavros. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Kunen, Kenneth.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Legay, Axel. editor.

(2)

Lindström, Sten. editor.

(2)

Lucchetti, Roberto. editor.

(2)

Lukasiewicz, Thomas. editor.

(2)

Lutz, Carsten. editor.

(2)

Marchisotto, Elena Anne. author.

(2)

Martín-Vide, Carlos. editor.

(2)

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

(2)

Masulli, Francesco. editor.

(2)

Mendelson, Elliott.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Middeldorp, Aart. editor.

(2)

Moortgat, Michael. editor.

(2)

Moraga, Claudio. editor.

(2)

Morrill, Glyn. editor.

(2)

Morzenti, Angelo. author.

(2)

Mundici, Daniele. author.

(2)

Nickles, Matthias. editor.

(2)

Ortuño, Francisco. editor.

(2)

O’Regan, Gerard. author.

(2)

Palmgren, Erik. editor.

(2)

Petre, Luigia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pool, Michael. editor.

(2)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(2)

Potapov, Igor. editor.

(2)

Prestel, Alexander. author.

(2)

Priese, Lutz. author.

(2)

(2)

Rautenberg, Wolfgang. author.

(2)

Richter, Frank. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Rosen, Kenneth H.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Seising, Rudolf. editor.

(2)

Shur, Arseny M. editor.

(2)

Soifer, Alexander. author.

(2)

Sojka, Petr. editor.

(2)

Sommaruga, Giovanni. editor.

(2)

Son, Tran Cao. editor.

(2)

Stephan, Frank. editor.

(2)

Subrahmanian, V.S. author.

(2)

Sun, Jun. editor.

(2)

Tang, Jie. editor.

(2)

Tasiran, Serdar. editor.

(2)

Termini, Settimo. editor.

(2)

Tieszen, Richard.

(2)

Trillas, Enric. editor.

(2)

Truthe, Bianca. editor.

(2)

Valenzuela, Olga. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Voronkov, Andrei. editor.

(2)

Vîţă, Luminiţa Simona. author.

(2)

Wallis, W.D. author.

(2)

Weidenbach, Christoph. editor.

(2)

Zakharyaschev, Michael. editor.

(2)

Zermelo, Ernst. author.

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

van Benthem, Johan. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aberdein, Andrew. editor.

(1)

Abraham, Erika. editor.

(1)

Academia Republicii Socialiste România.

(1)

Achten, Peter. editor.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

Agrawal, Manindra. editor.

(1)

(1)

Akgül, Tayfun, karikatür.

(1)

Albert, Elvira. editor.

(1)

Albeverio, Sergio. author.

(1)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Amgoud, Leila. author.

(1)

Andreasen, Troels. editor.

(1)

Andrew, Alex M. author.

(1)

Andrica, Dorin. author.

(1)

Andréka, Hajnal. editor.

(1)

Anshakov, Oleg M. author.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artemov, Sergei N. editor.

(1)

Artho, Cyrille. editor.

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Asher, Nicholas. editor.

(1)

Aspinall, David. editor.

(1)

Astola, Jaakko. author.

(1)

Atanassov, Krassimir T. author.

(1)

Atmanspacher, Harald. editor.

(1)

(1)

Aue, Maximilian.

(1)

Aveiro, David. editor. (orcid)0000-0001-6453-3648

(1)

Ayeni, Babatunde J.

(1)

(1)

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

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Baaz, Matthias. author.

(1)

Bacchus, Fahiem. editor.

(1)

Badiru, Adedeji Bodunde, 1952-

(1)

Bagaria, Joan. editor.

(1)

Bagdasar, Ovidiu. author.

(1)

Bajnok, Béla. author.

(1)

Bakari, Abubakar D. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baltas, Aristeidēs.

(1)

Baptista, Jorge. editor.

(1)

Bar-Hillel, Yehoshua.

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

(1)

Barla, Annalisa. editor. (orcid)0000-0002-3436-035X

(1)

Baroglio, Cristina. editor.

(1)

Bartocci, Claudio. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

(1)

(1)

Batyrshin, Ildar. editor.

(1)

Bede, Barnabas. author.

(1)

Language

(591)

(18)

(7)

(7)

(3)

Multiple languages

(1)

(1)

Publication Date

-

(137)

(84)

(79)

(57)

(39)

(38)

(34)

(32)

(30)

(30)

(28)

(14)

(10)

(10)

(9)

(9)

(9)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Logic, Symbolic and mathematical.

(314)

Computer science.

(198)

Artificial intelligence.

(156)

Mathematical logic.

(151)

(133)

Mathematical Logic and Formal Languages.

(101)

Software engineering.

(98)

(85)

Computer logic.

(65)

Logics and Meanings of Programs.

(56)

(50)

Artificial Intelligence (incl. Robotics).

(48)

Computer software.

(41)

(40)

Computer science—Mathematics.

(33)

(31)

(31)

Philosophy (General).

(31)

Programming Languages, Compilers, Interpreters.

(31)

Computational complexity.

(29)

Mathematical Logic and Foundations.

(28)

Information theory.

(27)

Algorithm Analysis and Problem Complexity.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

(24)

Programming languages (Electronic computers).

(24)

(23)

Algebra -- Data processing.

(22)

Computation by Abstract Devices.

(22)

(22)

Information storage and retrieval.

(21)

Programming Techniques.

(21)

Science -- Philosophy.

(20)

Application software.

(19)

Database management.

(19)

Discrete Mathematics in Computer Science.

(16)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(16)

Computer simulation.

(13)

Mathematics -- Philosophy.

(13)

Mathematics_$xHistory.

(13)

Electronic data processing.

(12)

Natural language processing (Computer science).

(12)

Computer programming.

(11)

Data structures (Computer science).

(11)

Global analysis (Mathematics).

(10)

Information Storage and Retrieval.

(10)

Information storage and retrieval systems.

(10)

Distribution (Probability theory).

(9)

Geometry, algebraic.

(9)

Symbolic and Algebraic Manipulation.

(9)

Computer Communication Networks.

(8)

Genetic epistemology.

(8)

(8)

Math Applications in Computer Science.

(8)

(8)

(8)

Computer communication systems.

(7)

Computer system failures.

(7)

(7)

Information Systems Applications (incl. Internet).

(7)

Numerical analysis.

(7)

Simulation and Modeling.

(7)

Theory of Computation.

(7)

Bioinformatics.

(6)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(6)

History of Mathematical Sciences.

(6)

Mathematical statistics.

(6)

Operating systems (Computers).

(6)

(6)

(6)

Computer Science, general.

(5)

Computer science -- Mathematics.

(5)

Electronic books.

(5)

Information systems.

(5)

(5)

(5)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Knowledge representation (Information theory) .

(4)

Linguistics -- Philosophy.

(4)

Logic, Symbolic and mathematical -- Textbooks.

(4)

Management information systems.

(4)

Mantık, sembolik ve Matematiksel.

(4)

Mathematics of Computing.

(4)

Mathematics, general.

(4)

(4)

Numeric Computing.

(4)

(4)

Optical data processing.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

Science -- History.

(4)

Science -- Philosophy -- Congresses.

(4)

Semantics (Philosophy)

(4)

Computational Intelligence.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer organization.

(3)

Computer security.

(3)

Data Structures.

(3)

(3)

(3)

Information Systems.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Management of Computing and Information Systems.

(3)

Mathematical optimization.

(3)

Mathematical physics.

(3)

(3)

Modality (Logic)

(3)

Natural language processing (Computer science)

(3)

Pattern recognition.

(3)

(3)

Quantum theory.

(3)

Social sciences -- Data processing.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Special purpose computers.

(3)

User Interfaces and Human Computer Interaction.

(3)

(3)

Analysis (Philosophy) -- Problems, exercises, etc.

(2)

Applications of Mathematics.

(2)

Artificial intelligence -- Mathematics.

(2)

Commonsense reasoning -- Automation.

(2)

Computable functions.

(2)

Computational Biology/Bioinformatics.

(2)

Computational linguistics.

(2)

Decidability (Mathematical logic)

(2)

Engineering mathematics.

(2)

Field theory (Physics).

(2)

(2)

Gödel's theorem.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Induction (Logic)

(2)

Industrial engineering.

(2)

Intuitionistic mathematics.

(2)

Language and languages -- Philosophy.

(2)

Law -- Examinations, questions, etc.

(2)

Law School Admission Test -- Study guides.

(2)

Law schools -- United States -- Entrance examinations -- Study guides.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- History -- 20th century.

(2)

Logic, Symbolic and mathematical -- Problems, exercises, etc.

(2)

Logic, symbolic and mathematical.

(2)

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

MATHEMATICS / Logic.

(2)

Machine learning.

(2)

Mantık, Sembolik ve matematiksel -- Ders kitapları.

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Matematiksel mantık.

(2)

Mathematical Applications in Computer Science.

(2)

Methodology -- Congresses.

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

Order, Lattices, Ordered Algebraic Structures.

(2)

(2)

(2)

Probability Theory and Stochastic Processes.

(2)

Probability and Statistics in Computer Science.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

(2)

Systems theory.

(2)

Test-taking skills.

(2)

Translators (Computer programs).

(2)

Universities and colleges -- Graduate work -- Examinations -- Study guides.

(2)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus.

(2)

logique mathématique.

(2)

logique symbolique.

(2)

Akıl yürütme.

(1)

Algebra, Boolean.

(1)

Algebraic topology.

(1)

Analysis (Philosophy) -- History -- 20th century.

(1)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Automatic control.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

(1)

Boole, Algèbre de.

(1)

Boole, George, 1815-1864.

(1)

Business Information Systems.

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

CEBİR, TEORİK.

(1)

Category Theory, Homological Algebra.

(1)

Coding and Information Theory.

(1)

Combinatorial optimization.

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Prof.Dr.Onur Bilge Kulak Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

624 Results Found

Subscribe to search results

1 .. 46 47 48 49 50 .. 52

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.

565.

Cover image for Sayısal devrelerde mantıksal tasarım

Sayısal devrelerde mantıksal tasarım

Sayısal devrelerde mantıksal tasarım

Author

Yarımağan, Ünal.

Preferred Shelf Number

TK7888.4 Y37 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

566.

Cover image for Handbook of the logic of argument and inference the turn towards the practical

Handbook of the logic of argument and inference the turn towards the practical

Handbook of the logic of argument and inference the turn towards the practical

Author

Gabbay, Dov M., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

567.

Cover image for Develerle eşekler :

Develerle eşekler :

Develerle eşekler :

Author

Nesin, Ali. Akgül, Tayfun, karikatür.

Preferred Shelf Number

QA 270 .N474 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

568.

Cover image for Between Logic and Intuition Essays in Honor of Charles Parsons

Between Logic and Intuition Essays in Honor of Charles Parsons

Between Logic and Intuition Essays in Honor of Charles Parsons

Author

Sher, Gila. Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

569.

Cover image for From Peirce to Skolem a neglected chapter in the history of logic

From Peirce to Skolem a neglected chapter in the history of logic

From Peirce to Skolem a neglected chapter in the history of logic

Author

Brady, Geraldine.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

570.

Cover image for The logic of knowledge bases

The logic of knowledge bases

The logic of knowledge bases

Author

Levesque, Hector J., 1951- Lakemeyer, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

571.

Cover image for Sembolik mantık el kitabı

Sembolik mantık el kitabı

Sembolik mantık el kitabı

Author

Grünberg, Teo.

Preferred Shelf Number

BC 135 G969 2000 V.2

Format:

Availability

Beytepe Library~2

Available:
Copies:

572.

Cover image for Logic-based methods for optimization combining optimization and constraint satisfaction

Logic-based methods for optimization combining optimization and constraint satisfaction

Logic-based methods for optimization combining optimization and constraint satisfaction

Author

Hooker, John, 1949- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html

Format:

Availability

Online Library~1

Available:
Copies:

573.

Cover image for Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Author

Rodgers, Nancy, 1941-

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Availability

Online Library~1

Available:
Copies:

574.

Cover image for Optimization methods for logical inference

Optimization methods for logical inference

Optimization methods for logical inference

Author

Chandru, Vijay, 1953- Hooker, John, 1949-

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/98044622.html

Format:

Availability

Online Library~1

Available:
Copies:

575.

Cover image for Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets

Author

Gregg, John.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

576.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 46 47 48 49 50 .. 52

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11