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:

+

Publication Date: 2007

Author

SpringerLink (Online service)

(153)

Gabbay, Dov M., 1945-

(5)

Woods, John (John Hayden)

(5)

Jacko, Julie A. editor.

(4)

Liu, Zhiming. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Woodcock, Jim. editor.

(3)

Bonsangue, Marcello M. editor.

(2)

Carnap, Rudolf, 1891-1970.

(2)

Castillo, Oscar. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Galatos, Nikolaos.

(2)

Gibbons, Jeremy. editor.

(2)

Jones, Cliff B. editor.

(2)

Kacprzyk, Janusz. editor.

(2)

Kordon, Fabrice. editor.

(2)

Melin, Patricia. editor.

(2)

Montanari, Ugo. editor.

(2)

Pedrycz, Witold. editor.

(2)

Sokolsky, Oleg. editor.

(2)

Stafford, Judith A. editor.

(2)

Stenström, Per. editor.

(2)

Voronkov, Andrei. editor.

(2)

Wright, Georg Henrik von, 1916-

(2)

Aberer, Karl. editor.

(1)

Adler, Mortimer Jerome, 1902-

(1)

Aguilar, Luis T. editor.

(1)

(1)

Akay, Metin, ed.

(1)

(1)

Akehurst, David H. editor.

(1)

Alazraqui, Carlos.

(1)

Aldini, Alessandro. editor.

(1)

Allemang, Dean. editor.

(1)

Altenkirch, Thorsten. editor.

(1)

Ambrose, Alice, 1906-

(1)

Anai, Hirokazu. editor.

(1)

Andreescu, Titu. author.

(1)

Andrica, Dorin. author.

(1)

Animal Logic (Firm)

(1)

Antoniou, Grigoris. editor.

(1)

Arbab, Farhad. editor.

(1)

Arntz, William.

(1)

Artemov, Sergei N. editor.

(1)

Arvind, V. editor.

(1)

Ataman, Serhat.

(1)

(1)

Azevedo, Francisco. editor.

(1)

Azémard, Nadine. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Backhouse, Roland. editor.

(1)

Bailey, Robert, Jr.

(1)

Barahona, Pedro. editor.

(1)

Baral, Chitta. editor.

(1)

Barnes, Jonathan, 1942-

(1)

Baroglio, Cristina. editor.

(1)

Bauer, Jörg. editor.

(1)

Beckert, Bernhard. editor.

(1)

Bemporad, Alberto. editor.

(1)

Bendegem, Jean Paul.

(1)

Benthem, J. F. A. K. van, 1949-

(1)

Benthem, Johan.

(1)

Berg, Imme. editor.

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Beziau, Jean-Yves. editor.

(1)

Bicchi, Antonio. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Bin, Eyal. editor.

(1)

Black, Max, 1909-

(1)

Blackburn, Patrick, 1959-

(1)

Blandford, Ann. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. editor.

(1)

Bogoslovsky, Boris Basil, 1890-

(1)

Boissier, Olivier. editor.

(1)

Bondavalli, Andrea. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bosschere, Koen. editor.

(1)

Bourdieu, Pierre, 1930-2002

(1)

Bowie, John Ross, 1971-

(1)

Boyar, Lombardo.

(1)

Bozapalidis, Symeon. editor.

(1)

Bošnački, Dragan. editor.

(1)

Bradley, Aaron R. author.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brandt, Jens. editor.

(1)

Brasileiro, Francisco. editor.

(1)

Brewka, Gerhard. editor.

(1)

Brim, Luboš. editor.

(1)

Britton, Karl, 1909-

(1)

Brodie, Helen Charlotte, 1915-

(1)

Bruni, Roberto. editor.

(1)

Buchs, Didier. editor.

(1)

Bunke, Horst. author.

(1)

Butler, Michael. editor.

(1)

Buttazzo, Giorgio. editor.

(1)

Butterfield, Andrew. editor.

(1)

Caires, Luís. editor.

(1)

Cate, Balder D. editor.

(1)

Cervesato, Iliano. editor.

(1)

Chakraborti, Chhanda.

(1)

Charpentier, Éric. editor.

(1)

(1)

Chen, Wai-Kai, 1936-

(1)

Cho, Sangyeun. editor.

(1)

Choi, Key-Sun. editor.

(1)

Choi, Lynn. editor.

(1)

Chwistek, Leon, 1884-

(1)

Clavel, Manuel. author.

(1)

Cocchiarella, Nino B.

(1)

Cohen, Morris Raphael, 1880-1947.

(1)

Coleman, Warren.

(1)

(1)

Comon-Lundh, Hubert. editor.

(1)

Concas, Giulio. editor.

(1)

Coninx, Karin. editor.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

(1)

Cooper, S. Barry. editor.

(1)

(1)

Cox, David. author.

(1)

Crawford, Dean, illustrator.

(1)

Crnkovic, Ivica. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Dahl, Véronica. editor.

(1)

Damiani, Ernesto. editor.

(1)

Damm, Werner. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Jim. editor.

(1)

Decker, Stefan. editor.

(1)

Deepa, S. N. author.

(1)

Deiser, Oliver. author.

(1)

Derrick, John. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dewey, John, 1859-1952.

(1)

Dickinson, Peter J. author.

(1)

Dignum, Virginia. editor.

(1)

Dimitracopoulos, Costas.

(1)

Ditmarsch, Hans.

(1)

Dix, Jürgen. editor.

(1)

Doherty, Gavin. editor.

(1)

(1)

Duparc, Jacques. editor.

(1)

Durand-Lose, Jérôme. editor.

(1)

Durán, Francisco. author.

(1)

Dutilh Novaes, Catarina.

(1)

Dwyer, Matthew B. editor.

(1)

Ebbinghaus, Heinz-Dieter. author.

(1)

Eemeren, Frans H.

(1)

Eker, Steven. author.

(1)

Ernst, Erik. editor.

(1)

Fages, François. editor.

(1)

Fagot-Largeault, Anne. editor.

(1)

Fahringer, Thomas. author.

(1)

Feng, Zuming. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Filé, Gilberto. editor.

(1)

Fine, Benjamin. author.

(1)

Fishwick, Paul A.

(1)

Fokkink, Wan. author.

(1)

Fornara, Nicoletta. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Franke, Christopher.

(1)

Friend, Michèle.

(1)

(1)

Gabbay, Dov M. editor.

(1)

Gaudin, Emmanuel. editor.

(1)

George, Chris W. editor.

(1)

Goel, Ashok K., 1953-

(1)

Goertzel, Ben. editor.

(1)

Goethe, Norma B.

(1)

Golbeck, Jennifer. editor.

(1)

Goncharov, Sergei S. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Graf, Susanne. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Groopman, Jerome E.

(1)

Grumberg, Orna. editor.

(1)

Grädel, Erich. author.

(1)

Guelfi, Nicolas. editor.

(1)

(1)

Gurevich, Yuri. editor.

(1)

Hanus, Michael. editor.

(1)

Harizanov, Valentina S.

(1)

Harju, Tero. editor.

(1)

Harris, David Money.

(1)

Harris, Sarah L.

(1)

Haskell, Deirdre.

(1)

Haveraaen, Magne. editor.

(1)

Haverkort, Boudewijn. editor.

(1)

Havil, Julian, 1952-

(1)

Heineman, George T. editor.

(1)

Hendrix, Elaine, 1970-

(1)

Henkemans, A. Francisca Snoeck.

(1)

(1)

Henze, Nicola. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Language

(205)

(1)

(1)

(1)

Subject

Computer science.

(132)

(117)

Software engineering.

(81)

Computer Communication Networks.

(45)

Artificial intelligence.

(39)

Logic, Symbolic and mathematical.

(27)

Computer software.

(19)

(18)

(15)

Information Systems.

(14)

Information storage and retrieval systems.

(13)

Multimedia systems.

(12)

Operating systems (Computers).

(11)

Philosophy (General).

(11)

Algebra -- Data processing.

(8)

Computer system performance.

(8)

Information systems.

(8)

(8)

Computer simulation.

(7)

Data structures (Computer science).

(7)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

Science -- Philosophy.

(6)

(4)

Computational complexity.

(4)

Computer network architectures.

(4)

Data protection.

(4)

Database management.

(4)

Electronic data processing.

(4)

Engineering mathematics.

(4)

Information theory.

(4)

Many-valued logic.

(4)

Mathematics -- Philosophy.

(4)

Nonmonotonic reasoning.

(4)

Bioinformatics.

(3)

Data transmission systems.

(3)

(3)

Genetic epistemology.

(3)

Global analysis (Mathematics).

(3)

Linguistics -- Philosophy.

(3)

MATEMATİK -- FELSEFE.

(3)

Management information systems.

(3)

Mathematics_$xHistory.

(3)

(3)

AKIL YÜRÜTME.

(2)

(2)

Algebraic logic.

(2)

BİYOLOJİ VE TIP MÜHENDİSLİĞİ.

(2)

(2)

Computer aided design.

(2)

Computer vision.

(2)

Data encryption (Computer science).

(2)

(2)

Digital electronics.

(2)

Distribution (Probability theory).

(2)

Geometry, algebraic.

(2)

(2)

Lattice theory.

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

(2)

(2)

(2)

(2)

(2)

Philosophy, medieval.

(2)

(2)

(2)

(2)

ANLAM (PSİKOLOJİ)

(1)

Amplifiers (Electronics).

(1)

Animals in motion pictures.

(1)

Animated films.

(1)

(1)

Applied linguistics.

(1)

Belgesel filmler.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Biology -- Philosophy.

(1)

Biomedical Engineering.

(1)

Biomedical engineering.

(1)

Biçimcilik (Mantık) -- Kongreler.

(1)

Branding (Marketing)

(1)

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

(1)

COMPUTERS -- Logic Design.

(1)

Children's films.

(1)

(1)

Comparative Literature.

(1)

Computational linguistics.

(1)

Computer architecture.

(1)

Computer science -- Mathematics.

(1)

(1)

Critical phenomena (Physics)

(1)

Critical thinking -- Problems, exercises, etc.

(1)

Culture -- Philosophy.

(1)

Differentiable dynamical systems.

(1)

Differential equations, partial.

(1)

Digital integrated circuits.

(1)

Documentary films.

(1)

Doktorlar -- Psikoloji.

(1)

Domination (Graph theory)

(1)

Drugs -- Marketing.

(1)

DİL VE DİLLER -- FELSEFE.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR.

(1)

(1)

Electric networks, Passive.

(1)

Electronic books.

(1)

Electronic digital computers -- Circuits.

(1)

Ethnophilosophy.

(1)

FARABİ, 870-950.

(1)

(1)

Felsefe -- Kongreler.

(1)

First-order logic.

(1)

Fourier analysis.

(1)

(1)

(1)

GEOMETRİ -- TEMEL.

(1)

Geometry -- Foundations.

(1)

Hayvanlar, sinemada.

(1)

(1)

Integrated circuits -- Very large scale integration -- Computer simulation.

(1)

Integrated circuits -- Very large scale integration.

(1)

Kritik olay (Fizik)

(1)

Kuantum kuramı

(1)

Kuantum mantık.

(1)

KÜLTÜR -- FELSEFE.

(1)

Language and languages -- Philosophy.

(1)

Language and languages.

(1)

Logic -- History -- Islamic countries.

(1)

Logic -- History.

(1)

Logic -- Problems, exercises, etc.

(1)

Logic circuits -- Design and construction.

(1)

Logic circuits.

(1)

Logic, Ancient.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

MANTIK -- TARİHÇE -- İSLAM ÜLKELERİ.

(1)

MANTIKSAL DEVRELER.

(1)

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

(1)

Mantık, sembolik ve Matematiksel -- Ders kitapları.

(1)

Mantık, sembolik ve matematiksel.

(1)

(1)

Mathematical recreations.

(1)

Mathematics -- Miscellanea.

(1)

Meaning (Psychology)

(1)

(1)

Medicine -- Decision making.

(1)

(1)

Memory management (Computer science).

(1)

(1)

Modality (Logic) -- Congresses.

(1)

Modality (Logic) -- Handbooks, manuals, etc.

(1)

(1)

Motion Picture.

(1)

Motion pictures.

(1)

Mühendislik matematiği.

(1)

Neural Networks (Computer).

(1)

Object (Philosophy)

(1)

Optical pattern recognition.

(1)

PEIRCE, CHARLES SANDERS, 1839-1914 -- BİBLİYOGRAFYA.

(1)

POSTMODERNİZM (EDEBİYAT)

(1)

Paradox -- Mathematics.

(1)

Peirce, Charles Sanders, 1839-1914 -- Bibliography.

(1)

Pharmaceutical industry.

(1)

Philosophy -- Congresses.

(1)

(1)

Physicians -- Psychology.

(1)

Postmodernism (Literature)

(1)

(1)

(1)

Quantum theory.

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

Reasoning -- Problems, exercises, etc.

(1)

SAYISAL TÜMLEŞİK DEVRELER.

(1)

Science (General).

(1)

Science -- History.

(1)

Science -- Methodology.

(1)

(1)

Semiconductors -- Junctions.

(1)

Sequences (Mathematics).

(1)

Signal processing.

(1)

(1)

(1)

(1)

Systems engineering.

(1)

SİNYAL İŞLEME.

(1)

SİNİRSEL AĞLAR (BİLGİSAYAR).

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.

(1)

Telecommunication.

(1)

Translators (Computer programs).

(1)

(1)

TÜMEVARIM (MATEMATİK)

(1)

Tıp -- Karar verme.

(1)

(1)

Very high speed integrated circuits -- Defects -- Mathematical models.

(1)

Very high speed integrated circuits -- Mathematical models.

(1)

WHITEHEAD, ALFRED NORTH, 1861-1947. Principia mathematica.

(1)

Çizgi filmler.

(1)

Çocuk filmleri.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Beytepe Görsel-İşitsel Koleksiyonu

Electronic Library

Sağlık Bilimleri Genel Koleksiyon

Library

Beytepe Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

209 Results Found

Subscribe to search results

1 2 3 4 5 .. 18

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.

13.

Cover image for Logic : the theory of formal inference

Logic : the theory of formal inference

Logic : the theory of formal inference

Author

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Preferred Shelf Number

BC 108 A55 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Cover image for Introduction to Fuzzy Logic using MATLAB

Introduction to Fuzzy Logic using MATLAB

Introduction to Fuzzy Logic using MATLAB

Author

Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-35781-0

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Fuzzy logic with engineering applications

Fuzzy logic with engineering applications

Fuzzy logic with engineering applications

Author

Ross, Timothy J.

Preferred Shelf Number

TA331 R675 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Cover image for Logic : informal, symbolic and inductive

Logic : informal, symbolic and inductive

Logic : informal, symbolic and inductive

Author

Chakraborti, Chhanda.

Preferred Shelf Number

BC91 C42 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Cover image for Truth, etc. six lectures on ancient logic

Truth, etc. six lectures on ancient logic

Truth, etc. six lectures on ancient logic

Author

Barnes, Jonathan, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for The rise of modern logic from Leibniz to Frege

The rise of modern logic from Leibniz to Frege

The rise of modern logic from Leibniz to Frege

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for The technique of controversy : principles of dynamic logic

The technique of controversy : principles of dynamic logic

The technique of controversy : principles of dynamic logic

Author

Bogoslovsky, Boris Basil, 1890-

Preferred Shelf Number

BC 108 B65 1928 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

24.

Cover image for The limits of science : outline of logic and of the methodology of the exact sciences

The limits of science : outline of logic and of the methodology of the exact sciences

The limits of science : outline of logic and of the methodology of the exact sciences

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

1 2 3 4 5 .. 18

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11