Arama Sonuçları Logic.

Logic

2024-12-25T06:30:03Z

Yazar Salmon, Wesley C., 1908-1931
Yer Numarası BC 108 S2 1963
Format: Kitap
Durum Beytepe Kütüphanesi~1

Computational logic

2024-12-25T06:30:03Z

Yer Numarası ONLINE(355347.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatory logic

2024-12-25T06:30:03Z

Yazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533876
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic demystified

2024-12-25T06:30:03Z

Yazar Boutelle, Anthony. Gibilisco, Stan.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic countdown

2024-12-25T06:30:03Z

Yazar Risby, Bonnie.
Yer Numarası LB1590.3 R57 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic liftoff

2024-12-25T06:30:03Z

Yazar Risby, Bonnie. Crawford, Dean, illustrator.
Yer Numarası LB1590.3 R57 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Primarily logic

2024-12-25T06:30:03Z

Yazar Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.
Yer Numarası LB1590.3 L45 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mathematical logic

2024-12-25T06:30:03Z

Yazar Tourlakis, George J.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9781118032435
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Safari

2024-12-25T06:30:03Z

Yazar Risby, Bonnie Lou. Palouda, Annelise.
Yer Numarası BC101 R57 2005 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~3

Logic countdown

2024-12-25T06:30:03Z

Yazar Risby, Bonnie Lou. Crawford, Dean.
Format: Kitap
Durum ~0

Logic design

2024-12-25T06:30:03Z

Yazar Chen, Wai-Kai, 1936-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical logic

2024-12-25T06:30:03Z

Yazar Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444504234
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic logic

2024-12-25T06:30:03Z

Yazar Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic circuits

2024-12-25T06:30:03Z

Yazar Morris, Noel Malcolm.
Yer Numarası TK 7868.L6 M67 1983
Format: Kitap
Durum Beytepe Kütüphanesi~1

Symbolic logic

2024-12-25T06:30:03Z

Yazar Copi, Irving M.
Yer Numarası BC 135 C58 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Elementary logic

2024-12-25T06:30:03Z

Yazar Mates, Benson, 1919-
Yer Numarası BC 135 M37 1972 E
Format: Kitap
Durum Beytepe Kütüphanesi~1

Symbolic logic

2024-12-25T06:30:03Z

Yazar Venn, John, 1834-1923.
Yer Numarası BC 135 V4 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Threshold logic

2024-12-25T06:30:03Z

Yazar Sheng, Ching-Lai.
Yer Numarası QA 401 S46 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

Philosophical logic

2024-12-25T06:30:03Z

Yazar Strawson, P. F.
Yer Numarası BC6 S8 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introductory logic

2024-12-25T06:30:03Z

Yazar Creighton, James Edwin, 1861-1924.
Yer Numarası BC 108 C87 1920
Format: Kitap
Durum Beytepe Kütüphanesi~1

Formal logic

2024-12-25T06:30:03Z

Yazar Prior, A. N. (Arthur N.), 1914-1969.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium 2007

2024-12-25T06:30:03Z

Yazar Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium 2006

2024-12-25T06:30:03Z

Yazar Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium 2005

2024-12-25T06:30:03Z

Yazar Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Epistemic Logic

2024-12-25T06:30:03Z

Yazar Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability, complexity, logic

2024-12-25T06:30:03Z

Yazar Börger, E. (Egon), 1946-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ancient formal logic

2024-12-25T06:30:03Z

Yazar Bochenski, Joseph M., 1902-1995.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Structure

2024-12-25T06:30:03Z

Yazar Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE(331010.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic the basics

2024-12-25T06:30:03Z

Yazar Beall, J. C.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Philosophy of logic

2024-12-25T06:30:03Z

Yazar Jacquette, Dale.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Orbiting with logic

2024-12-25T06:30:03Z

Yazar Risby, Bonnie Lou. Crawford, Dean.
Yer Numarası LB1590.3 R57 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and structure

2024-12-25T06:30:03Z

Yazar Dalen, D. van.
Yer Numarası QA 9 D16 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Digital logic design

2024-12-25T06:30:03Z

Yazar Holdsworth, B. (Brian) Woods, R. C. (R. Clive)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750645829
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and existence

2024-12-25T06:30:03Z

Yazar Hyppolite, Jean.
Yer Numarası B2949.L8 H913 1997
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to logic

2024-12-25T06:30:03Z

Yazar Suppes, Patrick Colonel, 1922-
Yer Numarası BC 108 S85 1957
Format: Kitap
Durum Beytepe Kütüphanesi~1

Advanced Logic Synthesis

2024-12-25T06:30:03Z

Yazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67295-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic in games

2024-12-25T06:30:03Z

Yazar Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Yer Numarası ONLINE(364947.1)
Elektronik Erişim Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Synchronous precharge logic

2024-12-25T06:30:03Z

Yazar Smoszna, Marek.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123985279
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programmable logic controllers

2024-12-25T06:30:03Z

Yazar Bolton, W. (William), 1933-
Yer Numarası TJ223.P76 B65 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to logic

2024-12-25T06:30:03Z

Yazar Gensler, Harry J., 1945-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Coalgebraic Logic

2024-12-25T06:30:03Z

Yazar Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programmable logic controllers

2024-12-25T06:30:03Z

Yazar Bolton, W. (William), 1933-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic in Reality

2024-12-25T06:30:03Z

Yazar Brenner, Joseph E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programmable logic controllers

2024-12-25T06:30:03Z

Yazar Bolton, W. (William), 1933-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Equational Logic

2024-12-25T06:30:03Z

Yazar Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105121
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contemporary logic design

2024-12-25T06:30:03Z

Yazar Katz, Randy H., 1955-
Yer Numarası TK 7888.4 K36 1994
Format: Kitap
Durum Beytepe Kütüphanesi~1

Systems of logic

2024-12-25T06:30:03Z

Yazar Martin, Norman M.
Yer Numarası BC 135 M325 1989
Format: Kitap
Durum Beytepe Kütüphanesi~1

Computability and logic

2024-12-25T06:30:03Z

Yazar Boolos, George S. Jeffrey, R. C., ort. yaz.
Yer Numarası QA 9.59 B66 1989
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic with prolog

2024-12-25T06:30:03Z

Yazar Gibbins, Peter.
Yer Numarası QA 76.73.P76 G53 1988
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic tools programming

2024-12-25T06:30:03Z

Yazar Pace, Philip, 1956- Pace, L., ort. yaz.
Yer Numarası QA 76.6 P325 1987
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to logic

2024-12-25T06:30:03Z

Yazar Packard, Dennis J. Faulconer, James E., ort. yaz.
Yer Numarası BC 108 P22 1980
Format: Kitap
Durum Beytepe Kütüphanesi~2

Computer logic design

2024-12-25T06:30:03Z

Yazar Mano, M. Morris, 1927-
Yer Numarası TK 7868.S9 M275 1972
Format: Kitap
Durum Beytepe Kütüphanesi~3

Logic for philosophers

2024-12-25T06:30:03Z

Yazar Purtill, Richard L., 1931-
Yer Numarası BC 71 P86 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Sets and logic

2024-12-25T06:30:03Z

Yazar Hanna, Samuel C. Saber, John C., ort. yaz.
Yer Numarası QA 248 H29 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to logic

2024-12-25T06:30:03Z

Yazar Beach, John D.
Yer Numarası BC 108 B34 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Understanding symbolic logic

2024-12-25T06:30:03Z

Yazar Massey, Gerald J.
Yer Numarası BC 135 M35 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic in teaching

2024-12-25T06:30:03Z

Yazar Ennis, Robert Hugh, 1927-
Yer Numarası BC 161.T4 E5 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

Methods of logic

2024-12-25T06:30:03Z

Yazar Quine, Willard Van Orman.
Yer Numarası BC 50 Q8 1966
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and criticism

2024-12-25T06:30:03Z

Yazar Righter, William.
Yer Numarası BH 39 R5 1963
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to logic

2024-12-25T06:30:03Z

Yazar Clark, Romane. Welsh, Paul, ort. yaz.
Yer Numarası BC 71 C5 1962
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic for mathematicians

2024-12-25T06:30:03Z

Yazar Rosser, John Barkley, 1907-
Yer Numarası BC 135 R735 1953
Format: Kitap
Durum Beytepe Kütüphanesi~1

Handbook of Philosophical Logic

2024-12-25T06:30:03Z

Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Philosophical Logic

2024-12-25T06:30:03Z

Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3092-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of modal logic

2024-12-25T06:30:03Z

Yazar Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Yer Numarası ONLINE
Elektronik Erişim Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Thought and Action

2024-12-25T06:30:03Z

Yazar Vanderveken, Daniel. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3167-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Paraconsistency: Logic and Applications

2024-12-25T06:30:03Z

Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335759.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Computer Scientists

2024-12-25T06:30:03Z

Yazar Schöning, Uwe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aspects of inductive logic

2024-12-25T06:30:03Z

Yazar Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatory logic. Volume II

2024-12-25T06:30:03Z

Yazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to mathematical logic

2024-12-25T06:30:03Z

Yazar Mendelson, Elliott.
Yer Numarası QA9 M4 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

VHDL for logic synthesis

2024-12-25T06:30:03Z

Yazar Rushton, Andrew.
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?bookid=41715 John Wiley http://dx.doi.org/10.1002/9781119995852 http://proquest.safaribooksonline.com/?fpi=9780470688472 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg http://proquest.safaribooksonline.com/9780470688472
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Studies in Legal Logic

2024-12-25T06:30:03Z

Yazar Hage, Jaap. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3552-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to medieval logic

2024-12-25T06:30:03Z

Yazar Broadie, Alexander.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The logic of sense

2024-12-25T06:30:03Z

Yazar Deleuze, Gilles.
Yer Numarası B840 D3813 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fundamentals of computer logic

2024-12-25T06:30:03Z

Yazar Hutchison, David.
Yer Numarası TK 7888.4 H97 1981
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of poetry

2024-12-25T06:30:03Z

Yazar Monaco, Richard. Briggs, J., ort. yaz.
Yer Numarası PN 1059 M4 M6
Format: Kitap
Durum Beytepe Kütüphanesi~1

Language, logic and god

2024-12-25T06:30:03Z

Yazar Ferre, Frederick.
Yer Numarası B 824.6 F4 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to mathematical logic

2024-12-25T06:30:03Z

Yazar Mendelson, Elliott.
Yer Numarası QA 9 M4 1964
Format: Kitap
Durum Beytepe Kütüphanesi~1

Advances in modal logic

2024-12-25T06:30:03Z

Yazar Kracht, Marcus, ed.
Yer Numarası BC 199.M6 A38 1998- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

Logic Programming with Prolog

2024-12-25T06:30:03Z

Yazar Bramer, Max. author. SpringerLink (Online service)
Yer Numarası ONLINE(331207.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic: A Brief Course

2024-12-25T06:30:03Z

Yazar Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-2361-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The logic of education

2024-12-25T06:30:03Z

Yazar Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Memory-Based Logic Synthesis

2024-12-25T06:30:03Z

Yazar Sasao, Tsutomu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aspects of Mathematical Logic

2024-12-25T06:30:03Z

Yazar Casari, E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11080-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The science of logic

2024-12-25T06:30:03Z

Yazar Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-
Yer Numarası B2942.E5 D5 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

The science of logic

2024-12-25T06:30:03Z

Yazar Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to logic design

2024-12-25T06:30:03Z

Yazar Marcovitz, Alan B.
Yer Numarası TK7868 L6 M355 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic design of nanoICs

2024-12-25T06:30:03Z

Yazar Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming with Prolog

2024-12-25T06:30:03Z

Yazar Bramer, Max. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-212-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic in geology

2024-12-25T06:30:03Z

Yazar Demicco, Robert V. Klir, George J., 1932-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124151468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Thought and Language

2024-12-25T06:30:03Z

Yazar O'Hear, Anthony.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic in chemistry

2024-12-25T06:30:03Z

Yazar Rouvray, D. H.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780125989107
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming and databases

2024-12-25T06:30:03Z

Yazar Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.
Yer Numarası QA 76.63 C47 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Foundations of illocutionary logic

2024-12-25T06:30:03Z

Yazar Searle, John R.
Yer Numarası P 95.55 S42 1985
Format: Kitap
Durum Beytepe Kütüphanesi~1

Temporal logic of programs

2024-12-25T06:30:03Z

Yazar Kröger, Fred, 1945-
Yer Numarası QA 76.6 K753 1987
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fundamentals of logic design

2024-12-25T06:30:03Z

Yazar Roth, Charles H.
Yer Numarası TK 7868.L6 R67 1985
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fundamentals of logic design

2024-12-25T06:30:03Z

Yazar Roth, Charles H.
Yer Numarası TK 7868.L6 R67 1979
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of literature

2024-12-25T06:30:03Z

Yazar Hamburger, Kate, 1896-
Yer Numarası PN 45 H3513 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic, language, and metaphysics

2024-12-25T06:30:03Z

Yazar Martin, Richard Milton.
Yer Numarası BC 51 M37 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic, automata, and algorithms

2024-12-25T06:30:03Z

Yazar Aiserman, Mark A.
Yer Numarası QA 267.5.S4 L613 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of education

2024-12-25T06:30:03Z

Yazar Hirst, Paul Haywood.
Yer Numarası LB 880 H59 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Manual of logic circuits

2024-12-25T06:30:03Z

Yazar Maley, Gerald A.
Yer Numarası QA 401 M35 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to symbolic logic

2024-12-25T06:30:03Z

Yazar Pollock, John L.
Yer Numarası BC 135 P68 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of practice

2024-12-25T06:30:03Z

Yazar Bourdieu, Pierre, 1930-2002
Yer Numarası GN 468 B6813 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Molecular logic-based computation

2024-12-25T06:30:03Z

Yazar Silva, A. Prasanna de.
Yer Numarası ONLINE(343059.1)
Elektronik Erişim Check for Full Text Access restricted: MSVU users only Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021 ebrary http://site.ebrary.com/id/10640412 http://swb.eblib.com/patron/FullRecord.aspx?p=1185759
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Integer Programming

2024-12-25T06:30:03Z

Yazar Williams, H. Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-92280-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and information flow

2024-12-25T06:30:03Z

Yazar Eijck, J. van (Jan) Visser, Albert.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic IC master reference

2024-12-25T06:30:03Z

Yazar Heiserman, David L., 1940-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of logic programming

2024-12-25T06:30:03Z

Yazar Lloyd, John Wylie, 1947-
Yer Numarası QA 76.6 L538 1987
Format: Kitap
Durum Beytepe Kütüphanesi~1

Language, truth, and logic

2024-12-25T06:30:03Z

Yazar Ayer, Alfred Julies, 1910-
Yer Numarası B 53 A9 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic, automata, and algorithms

2024-12-25T06:30:03Z

Yazar Aĭzerman, M. A. (Mark Aronovich), 1913-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability and inductive logic

2024-12-25T06:30:03Z

Yazar Kyburg, Henry Ely, 1928-
Yer Numarası BC 91 K9 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Formal and transcendental logic

2024-12-25T06:30:03Z

Yazar Husserl, Edmund, 1859-1938.
Yer Numarası BC 122 H813 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fulse and logic circuits

2024-12-25T06:30:03Z

Yazar Gillie, Angelo C., ed.
Yer Numarası TK 7867 G54 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

Set theory and logic

2024-12-25T06:30:03Z

Yazar Fraenkel, Abraham Adolf, 1891-1965.
Yer Numarası QA 248 F73 1966
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and boolean algebra

2024-12-25T06:30:03Z

Yazar Arnold, Bradford Henry, 1916-
Yer Numarası QA 266 A7 1962
Format: Kitap
Durum Beytepe Kütüphanesi~1

Advanced digital logic concepts

2024-12-25T06:30:03Z

Yer Numarası TK 7868.D5 A95 1983
Format: Kitap
Durum Beytepe Kütüphanesi~1

Hybrid Logic and its Proof-Theory

2024-12-25T06:30:03Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A grammatical view of logic programming

2024-12-25T06:30:03Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gentzen Calculi for Modal Propositional Logic

2024-12-25T06:30:03Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Philosophical Logic Volume 16

2024-12-25T06:30:03Z

Yazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0479-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of logic and language

2024-12-25T06:30:03Z

Yazar Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Philosophical Logic Volume 15

2024-12-25T06:30:03Z

Yazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0485-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Companion to philosophical logic

2024-12-25T06:30:03Z

Yazar Jacquette, Dale. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470996751
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Greek, Indian, and Arabic logic

2024-12-25T06:30:03Z

Yazar Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games: Unifying Logic, Language, and Philosophy

2024-12-25T06:30:03Z

Yazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic Foundations for Information Science

2024-12-25T06:30:03Z

Yazar Li, Wei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and techniques in modal logic

2024-12-25T06:30:03Z

Yazar Kracht, Marcus.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444500557
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Categorical logic and type theory

2024-12-25T06:30:03Z

Yazar Jacobs, Bart.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intuitionistic logic, model theory and forcing

2024-12-25T06:30:03Z

Yazar Fitting, Melvin, 1942-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elements of mathematical logic (Model theory)

2024-12-25T06:30:03Z

Yazar Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A survey of mathematical logic

2024-12-25T06:30:03Z

Yazar Wang, Hao, 1921-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Truth and consequence in mediaeval logic

2024-12-25T06:30:03Z

Yazar Moody, Ernest A. (Ernest Addison), 1903-1975.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533760
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The propositional logic of Boethius

2024-12-25T06:30:03Z

Yazar Dürr, Karl, 1888-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An essay in modal logic

2024-12-25T06:30:03Z

Yazar Wright, G. H. von (Georg Henrik), 1916-2003.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533708
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming languages constraints, functions, and objects

2024-12-25T06:30:03Z

Yazar Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Pro 9 audio and music production

2024-12-25T06:30:03Z

Yazar Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the Second Scandinavian Logic Symposium

2024-12-25T06:30:03Z

Yazar Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422597
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic : the theory of formal inference

2024-12-25T06:30:03Z

Yazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Yer Numarası BC 108 A55 1972
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mathematical logic : A course with exercises

2024-12-25T06:30:03Z

Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası QA 9 C742513 2000 PT.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

Studies in inductive logic and probability

2024-12-25T06:30:03Z

Yazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Yer Numarası QA 273.4 C37 1971-
Format: Kitap
Durum Beytepe Kütüphanesi~1

Chance, love and logic : philosophical essays

2024-12-25T06:30:03Z

Yazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Yer Numarası B 945.P43 C5 1923 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

R-Calculus, IV: Propositional Logic

2024-12-25T06:30:03Z

Yazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Yer Numarası XX(520383.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-8633-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Bloomsbury companion to philosophical logic

2024-12-25T06:30:03Z

Yazar Horsten, Leon. Pettigrew, Richard.
Yer Numarası BC71 B583 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic of analog and digital machines

2024-12-25T06:30:03Z

Yazar Rocchi, Paolo.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanical logic in three-dimensional space

2024-12-25T06:30:03Z

Yazar Auletta, Gennaro, author.
Yer Numarası ONLINE(342612.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2024-12-25T06:30:03Z

Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331853.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cylindric-like Algebras and Algebraic Logic

2024-12-25T06:30:03Z

Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital logic design a rigorous approach

2024-12-25T06:30:03Z

Yazar Even, Guy. Medina, Moti, 1979-
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatory logic pure, applied and typed

2024-12-25T06:30:03Z

Yazar Bimb,̤ Katalin, 1963-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Purgatory the logic of total transformation

2024-12-25T06:30:03Z

Yazar Walls, Jerry L.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Circuit Design Selected Methods

2024-12-25T06:30:03Z

Yazar Vingron, Shimon P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27657-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sets, Logic and Maths for Computing

2024-12-25T06:30:03Z

Yazar Makinson, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and the Organization of Information

2024-12-25T06:30:03Z

Yazar Frické, Martin. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3088-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic for Computer Science

2024-12-25T06:30:03Z

Yazar Ben-Ari, Mordechai. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic : the laws of truth

2024-12-25T06:30:03Z

Yazar Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Yer Numarası ONLINE
Elektronik Erişim http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of logic and language

2024-12-25T06:30:03Z

Yazar Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lollipop logic : grades K-2

2024-12-25T06:30:03Z

Yazar Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.
Yer Numarası BC71 R57 2011 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~3

Mathematical aspects of logic programming semantics

2024-12-25T06:30:03Z

Yazar Hitzler, Pascal. Seda, Anthony.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The logic of positive engagement

2024-12-25T06:30:03Z

Yazar Nincic, Miroslav.
Yer Numarası ONLINE
Elektronik Erişim http://www.jstor.org/stable/10.7591/j.ctt7v74h
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data integration the relational logic approach

2024-12-25T06:30:03Z

Yazar Genesereth, Michael R., 1948-
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete structures, logic, and computability

2024-12-25T06:30:03Z

Yazar Hein, James L.
Yer Numarası QA76.9.M35 H44 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fuzzy logic with engineering applications

2024-12-25T06:30:03Z

Yazar Ross, Timothy J. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9781119994374 http://site.ebrary.com/lib/alltitles/Doc?id=10358927
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic and hydrological modeling

2024-12-25T06:30:03Z

Yazar ?en, Zekí.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic the question of truth

2024-12-25T06:30:03Z

Yazar Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modality metaphysics, logic, and epistemology

2024-12-25T06:30:03Z

Yazar Hale, Bob, 1945- Hoffmann, Aviv.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Mathematical Logic

2024-12-25T06:30:03Z

Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Cell Behavior and Fuzzy Logic

2024-12-25T06:30:03Z

Yazar Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09543-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Temporal Logic and State Systems

2024-12-25T06:30:03Z

Yazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lectures on logic : Berlin, 1831

2024-12-25T06:30:03Z

Yazar Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-
Yer Numarası B2944.V652 E5 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

Sets, Logic and Maths for Computing

2024-12-25T06:30:03Z

Yazar Makinson, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-845-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elementary Logic For Software Development

2024-12-25T06:30:03Z

Yazar Lover, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-082-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2024-12-25T06:30:03Z

Yazar Srivastava, S. M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76277-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extensionalism The Revolution in Logic

2024-12-25T06:30:03Z

Yazar Bar-Am, Nimrod. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and computer design fundamentals

2024-12-25T06:30:03Z

Yazar Mano, M. Morris Kime, Charles R., ort. yaz.
Yer Numarası TK7888.4 M36 2008
Format: Kitap
Durum Beytepe Kütüphanesi~3

Digital electronics and logic design

2024-12-25T06:30:03Z

Yazar Nair, B. Somanathan.
Yer Numarası TK7868.D5 N35 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to Fuzzy Logic using MATLAB

2024-12-25T06:30:03Z

Yazar Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-35781-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic with engineering applications

2024-12-25T06:30:03Z

Yazar Ross, Timothy J.
Yer Numarası TA331 R675 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic : informal, symbolic and inductive

2024-12-25T06:30:03Z

Yazar Chakraborti, Chhanda.
Yer Numarası BC91 C42 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Theories of Judgment Psychology, Logic, Phenomenology

2024-12-25T06:30:03Z

Yazar Martin, Wayne.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic and the semantic web

2024-12-25T06:30:03Z

Yazar Sanchez, Elie, 1944-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444519481
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantifiers in language and logic

2024-12-25T06:30:03Z

Yazar Peters, Stanley, 1941- Westerståhl, Dag, 1946-
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Mathematical Logic

2024-12-25T06:30:03Z

Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34241-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rigid Flexibility The Logic of Intelligence

2024-12-25T06:30:03Z

Yazar Wang, Pei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5045-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic Applications in Engineering Science

2024-12-25T06:30:03Z

Yazar Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4078-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grounded Consequence for Defeasible Logic

2024-12-25T06:30:03Z

Yazar Antonelli, Aldo.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic in Financial Analysis

2024-12-25T06:30:03Z

Yazar Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32368-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Philosophical Logic, 2nd Edition

2024-12-25T06:30:03Z

Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3521-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic, Identification and Predictive Control

2024-12-25T06:30:03Z

Yazar Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138626
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetics and the logic of evolution

2024-12-25T06:30:03Z

Yazar Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim Full text available from Wiley InterScience Authentication may be required John Wiley http://dx.doi.org/10.1002/0471532657 Book review (E-STREAMS) http://www.e-streams.com/es0708/es0708_3453.html Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of logic-based intelligent systems

2024-12-25T06:30:03Z

Yazar Truemper, K., 1942- John Wiley & Sons, Inc.
Yer Numarası ONLINE
Elektronik Erişim e-book Wiley InterScience An electronic book accessible through the World Wide Web; click for information Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arithmetic and logic in computer systems

2024-12-25T06:30:03Z

Yazar Lu, Mi.
Yer Numarası ONLINE
Elektronik Erişim Click for information Full text available from Wiley InterScience Authentication may be required Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic for embedded systems applications

2024-12-25T06:30:03Z

Yazar Ibrahim, Ahmad M., 1951-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750676052
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Logic in Computer Science

2024-12-25T06:30:03Z

Yazar Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability theory : the logic of science

2024-12-25T06:30:03Z

Yazar Jaynes, E. T. Bretthorst, G. Larry, ed.
Yer Numarası QA 273 J36 2003
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and computer design fundamentals

2024-12-25T06:30:03Z

Yazar Mano, M. Morris Kime, Charles R., ort. yaz.
Yer Numarası TK 7888.4 M36 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Relevant Logic A Philosophical Interpretation

2024-12-25T06:30:03Z

Yazar Mares, Edwin D..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verilog coding for logic synthesis

2024-12-25T06:30:03Z

Yazar Lee, Weng Fook. John Wiley & Sons, Inc.
Yer Numarası ONLINE
Elektronik Erişim Available by subscription from Safari Books Online http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html John Wiley http://dx.doi.org/10.1002/0471457566 http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736 Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital logic testing and simulation

2024-12-25T06:30:03Z

Yazar Miczo, Alexander.
Yer Numarası ONLINE
Elektronik Erişim Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471457787 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html Volltext http://proquest.tech.safaribooksonline.de/9780471439950
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability Theory The Logic of Science

2024-12-25T06:30:03Z

Yazar Jaynes, E. T.. Bretthorst, G. Larry.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Logic of Concept Expansion

2024-12-25T06:30:03Z

Yazar Buzaglo, Meir.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers : from logic to architecture

2024-12-25T06:30:03Z

Yazar Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.
Yer Numarası QA 76.9.A73 D45 2000
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of knowledge bases

2024-12-25T06:30:03Z

Yazar Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Air logic control for automated systems

2024-12-25T06:30:03Z

Yazar Wojtecki, Rudy.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hegel's science of logic

2024-12-25T06:30:03Z

Yazar Hegel, Georg Wilhelm Friedrich, 1770-1831. Miller, Arnold V.
Yer Numarası B2942.E5 M55 1998
Format: Kitap
Durum Beytepe Kütüphanesi~1

The essence of logic circuits

2024-12-25T06:30:03Z

Yazar Unger, Stephen H., 1931-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of logic and logic programming

2024-12-25T06:30:03Z

Yazar Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The logic of chemical synthesis

2024-12-25T06:30:03Z

Yazar Corey, E. J. Cheng, Xue-min, ort. yaz.
Yer Numarası QD 262 C577 1995
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Organic reactions, simplicity and logic

2024-12-25T06:30:03Z

Yazar Laszlo, Pierre.
Yer Numarası QD253 .L3813 1995
Format: Kitap
Durum Beytepe Kütüphanesi~1

From logic to logic programming

2024-12-25T06:30:03Z

Yazar Doets, Kees.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer architecture and logic design

2024-12-25T06:30:03Z

Yazar Bartee, Thomas C.
Yer Numarası QA 76.9.A73 B374 1991
Format: Kitap
Durum Beytepe Kütüphanesi~1

Systems programming in parallel logic languages

2024-12-25T06:30:03Z

Yazar Foster, Ian, 1959-
Yer Numarası QA 76.66 F67 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Leibniz's philosophy logic and language

2024-12-25T06:30:03Z

Yazar Ishiguro, Hide
Yer Numarası B 2599.L8 I83 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Kotarbinski : logic, semantics, and ontology

2024-12-25T06:30:03Z

Yazar Wolenski, J., ed.
Yer Numarası B 4691.K594 K67 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Parallel computers : object-oriented, functional, logic

2024-12-25T06:30:03Z

Yazar Treleaven, P. C., ed.
Yer Numarası QA 76.5 P314 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Foundations of equational logic programming

2024-12-25T06:30:03Z

Yazar Hölldobler, Steffen, 1957-
Yer Numarası QA 76.63 H65 1989
Format: Kitap
Durum Beytepe Kütüphanesi~1

The sociological logic of space

2024-12-25T06:30:03Z

Yazar Hillier, Bill. Hanson, J., ort. yaz.
Yer Numarası NA 2765 H558 1984
Format: Kitap
Durum Beytepe Kütüphanesi~1

The architectural logic of database systems.

2024-12-25T06:30:03Z

Yazar Yannakoudakis, E. J., 1950-
Yer Numarası QA 76.9.D3 Y36 1988
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic programming and knowledge engineering

2024-12-25T06:30:03Z

Yazar Amble, Tore, 1945-
Yer Numarası QA 76.6 A464 1987
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic testing and design for testability

2024-12-25T06:30:03Z

Yazar Fujiwara, Hideo.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical logic and programming languages

2024-12-25T06:30:03Z

Yazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Yer Numarası QA 9 M42 1985
Format: Kitap
Durum Beytepe Kütüphanesi~1

The Logic of international relations

2024-12-25T06:30:03Z

Yazar Jones, Walter S., 1938- Rosen, S. J., ort. yaz.
Yer Numarası JX 1395 J73
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic circuits and microcomputer systems

2024-12-25T06:30:03Z

Yazar Wiatrowski, Claude A. House, H., ort. yaz.
Yer Numarası TK 7868.L6 W5 1980
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic design and switching theory

2024-12-25T06:30:03Z

Yazar Muroga, Saburo.
Yer Numarası TK 7868.L6 M87 1979
Format: Kitap
Durum Beytepe Kütüphanesi~1

Problems and solutions in logic design

2024-12-25T06:30:03Z

Yazar Zissos, D.
Yer Numarası TK 7868.L6 Z57 1979
Format: Kitap
Durum Beytepe Kütüphanesi~1

Digital logic and computer design

2024-12-25T06:30:03Z

Yazar Mano, M. Morris.
Yer Numarası TK 7888.3 M345 1979
Format: Kitap
Durum Beytepe Kütüphanesi~1

The linguistic basis of logic translation

2024-12-25T06:30:03Z

Yazar Otto, Herbert R.
Yer Numarası P 306 O8 1978
Format: Kitap
Durum Beytepe Kütüphanesi~1

Digital circuits and logic design

2024-12-25T06:30:03Z

Yazar Lee, Samuel C.
Yer Numarası TK 7868.D5 L4 1976
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic : the study of deductive reasoning

2024-12-25T06:30:03Z

Yazar Yıldırım, Cemal.
Yer Numarası BC 71 Y51 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Designing logic systems using state machines

2024-12-25T06:30:03Z

Yazar Clare, Christopher R.
Yer Numarası TK 7888.3 C6 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Symbolic logic and mechanical theorem proving

2024-12-25T06:30:03Z

Yazar Chang, Chin-Liang, 1937- Lee, R. C., ed.
Yer Numarası QA 9 C49 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Lawlikeness, analogy and inductive logic

2024-12-25T06:30:03Z

Yazar Pietarinen, Juhani.
Yer Numarası BC 91 P6172 1972
Format: Kitap
Durum Beytepe Kütüphanesi~1

Analog/logic computer programming and simulation

2024-12-25T06:30:03Z

Yazar Ricci, Fred J.
Yer Numarası QA 76.4 R53 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

A mathematical introduction to logic

2024-12-25T06:30:03Z

Yazar Enderton, Herbert B.
Yer Numarası QA 9 E54 1972
Format: Kitap
Durum Beytepe Kütüphanesi~1

Deontic logic : introductory and systematic readings

2024-12-25T06:30:03Z

Yazar Hilpinen, Risto.
Yer Numarası BC 145 H53 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Recursive function theory and logic

2024-12-25T06:30:03Z

Yazar Yasuhara, Ann.
Yer Numarası QA 248.5 Y36 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Eighteenth-century British logic and rhetoric

2024-12-25T06:30:03Z

Yazar Howell, Wilbur Samuel, 1904-
Yer Numarası BC 38 H59 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Threshold logic and its applications

2024-12-25T06:30:03Z

Yazar Muroga, Saburo.
Yer Numarası QA 401 M85 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Term logic with choice operator

2024-12-25T06:30:03Z

Yazar Hermes, Hans.
Yer Numarası BC 135 H4 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of comparative social inquiry

2024-12-25T06:30:03Z

Yazar Przeworski, Adam. Teune, Henry, ort. yaz.
Yer Numarası H 62 P79 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of the price system

2024-12-25T06:30:03Z

Yazar Trescott, Paul B.
Yer Numarası HB 201 T67 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

A profile of mathematical logic

2024-12-25T06:30:03Z

Yazar DeLong, Howard, 1936-
Yer Numarası QA 9 B37 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and philosophy : a modern introduction

2024-12-25T06:30:03Z

Yazar Kahane, Howard, 1928-
Yer Numarası BC 108 K3 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of social inquiry

2024-12-25T06:30:03Z

Yazar Greer, Scott A.
Yer Numarası H 61 G73 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of explanation in psychoanalysis

2024-12-25T06:30:03Z

Yazar Sherwood, Michael.
Yer Numarası BF 323.E8 S5 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

An introduction to mathematical logic

2024-12-25T06:30:03Z

Yazar Robinson, Gerson B., 1909-
Yer Numarası QA 9 R72 1969
Format: Kitap
Durum Beytepe Kütüphanesi~1

An introduction to modal logic

2024-12-25T06:30:03Z

Yazar Hughes, G. E. Cresswell, M. J., ort. yaz.
Yer Numarası BC 108 H874 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logic of survey analysis

2024-12-25T06:30:03Z

Yazar Rosenberg, Morris.
Yer Numarası HN 29 R6 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

Basic concepts of mathematics and logic

2024-12-25T06:30:03Z

Yazar Gemignani, Michael C.
Yer Numarası QA 39 G2846 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

An Introduction to many-valued logic

2024-12-25T06:30:03Z

Yazar Ackermann, Robert John, 1933-
Yer Numarası QA 9 A5 1967
Format: Kitap
Durum Beytepe Kütüphanesi~1

The Logic and rhetoric of exposition

2024-12-25T06:30:03Z

Yazar Martin, Harold Clark. Ohmann, Richard M., ort. yaz.
Yer Numarası PE 1429 M3
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and the basis of ethics

2024-12-25T06:30:03Z

Yazar Prior, A. N. (Arthur N.), 1914-1969.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The development of mathematical logic

2024-12-25T06:30:03Z

Yazar Nidditch, P. H.
Yer Numarası BC 135 N5 1962
Format: Kitap
Durum Beytepe Kütüphanesi~2

The logic of modern physics

2024-12-25T06:30:03Z

Yazar Brigman, Percy Williams, 1882-
Yer Numarası QC 6 B68 1960
Format: Kitap
Durum Beytepe Kütüphanesi~1

The elements of mathematical logic

2024-12-25T06:30:03Z

Yazar Rosenbloom, Paul C.
Yer Numarası BC 135 R7236 1950
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic : the theory of inquiry

2024-12-25T06:30:03Z

Yazar Dewey, John, 1859-
Yer Numarası BC 50 D43 1938
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic Pro 8 audio and music production

2024-12-25T06:30:03Z

Yazar Cousins, Mark. Hepworth-Sawyer, Russ.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780240520476
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of digital logic and microcomputer design

2024-12-25T06:30:03Z

Yazar Rafiquzzaman, Mohamed.
Yer Numarası ONLINE
Elektronik Erişim Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609 John Wiley http://dx.doi.org/10.1002/0471733520 John Wiley http://dx.doi.org/10.1002/9780471733522 http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic on the track of social change

2024-12-25T06:30:03Z

Yazar Braybrooke, David. Brown, Bryson. Schotch, Peter K.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Judgement and the Epistemic Foundation of Logic

2024-12-25T06:30:03Z

Yazar van der Schaar, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335895.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5137-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

McGraw-Hill's conquering LSAT logic games

2024-12-25T06:30:03Z

Yazar Curvebreakers.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

2024-12-25T06:30:03Z

Yazar Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444879998
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the Tenth International Conference on Logic Programming

2024-12-25T06:30:03Z

Yazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the 1997 International Symposium

2024-12-25T06:30:03Z

Yazar Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of quantum logic and quantum structures quantum logic

2024-12-25T06:30:03Z

Yazar Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444528698
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive logic programming from machine learning to software engineering

2024-12-25T06:30:03Z

Yazar Bergadano, Francesco, 1963- Gunetti, Daniele.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the twelfth International Conference on Logic Programming

2024-12-25T06:30:03Z

Yazar Sterling, Leon.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the eleventh International Conference on Logic Programming

2024-12-25T06:30:03Z

Yazar Van Hentenryck, Pascal.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

2024-12-25T06:30:03Z

Yazar Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

2024-12-25T06:30:03Z

Yazar Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977

2024-12-25T06:30:03Z

Yazar Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2024-12-25T06:30:03Z

Yazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981

2024-12-25T06:30:03Z

Yazar Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444867063
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

2024-12-25T06:30:03Z

Yazar Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

2024-12-25T06:30:03Z

Yazar International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

2024-12-25T06:30:03Z

Yazar Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

2024-12-25T06:30:03Z

Yazar International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

2024-12-25T06:30:03Z

Yazar International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

2024-12-25T06:30:03Z

Yazar International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2024-12-25T06:30:03Z

Yazar Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

2024-12-25T06:30:03Z

Yazar Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

2024-12-25T06:30:03Z

Yazar International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

2024-12-25T06:30:03Z

Yazar International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534163
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

2024-12-25T06:30:03Z

Yazar Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, methodology and philosophy of science proceedings of the 1960 international congress

2024-12-25T06:30:03Z

Yazar International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced fuzzy logic approaches in engineering science

2024-12-25T06:30:03Z

Yazar Ram, Mangey, editor. IGI Global, publisher.
Yer Numarası ONLINE
Elektronik Erişim Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and discrete mathematics : a concise introduction

2024-12-25T06:30:03Z

Yazar Conradie, Willem, 1978- author. Goranko, Valentin, author.
Yer Numarası QA9 C7423 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-12-25T06:30:03Z

Yazar Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası ONLINE(333950.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Later medieval metaphysics ontology, language, and logic

2024-12-25T06:30:03Z

Yazar Keele, Rondo, 1968- Bolyard, Charles. Project Muse.
Yer Numarası ONLINE
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Independence-Friendly Logic A Game-Theoretic Approach

2024-12-25T06:30:03Z

Yazar Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linguistic Fuzzy Logic Methods in Social Sciences

2024-12-25T06:30:03Z

Yazar Arfi, Badredine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13343-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards a Design Flow for Reversible Logic

2024-12-25T06:30:03Z

Yazar Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9579-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course in Mathematical Logic for Mathematicians

2024-12-25T06:30:03Z

Yazar Manin, Yu. I. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1