Arama Sonuçları Logic. - Daraltılmış: Çevrimiçi Kütüphane

Computational logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Mathematical logic

2024-12-25T18:20:29Z

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 design

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Formal logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Digital logic design

2024-12-25T18:20:29Z

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

Advanced Logic Synthesis

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Introduction to logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Handbook of Philosophical Logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

VHDL for logic synthesis

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Logic Programming with Prolog

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Aspects of Mathematical Logic

2024-12-25T18:20:29Z

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

Memory-Based Logic Synthesis

2024-12-25T18:20:29Z

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

The science of logic

2024-12-25T18:20:29Z

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

Logic design of nanoICs

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Molecular logic-based computation

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Logic, automata, and algorithms

2024-12-25T18:20:29Z

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

Hybrid Logic and its Proof-Theory

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Categorical logic and type theory

2024-12-25T18:20:29Z

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

Tools and techniques in modal logic

2024-12-25T18:20:29Z

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

Intuitionistic logic, model theory and forcing

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

An essay in modal logic

2024-12-25T18:20:29Z

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

The propositional logic of Boethius

2024-12-25T18:20:29Z

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

Logic programming languages constraints, functions, and objects

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

R-Calculus, IV: Propositional Logic

2024-12-25T18:20:29Z

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

A Course on Mathematical Logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

Logic of analog and digital machines

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

Logic Circuit Design Selected Methods

2024-12-25T18:20:29Z

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

Purgatory the logic of total transformation

2024-12-25T18:20:29Z

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 and the Organization of Information

2024-12-25T18:20:29Z

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

Combinatory logic pure, applied and typed

2024-12-25T18:20:29Z

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

Digital logic design a rigorous approach

2024-12-25T18:20:29Z

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

Sets, Logic and Maths for Computing

2024-12-25T18:20:29Z

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 : the laws of truth

2024-12-25T18:20:29Z

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

Mathematical Logic for Computer Science

2024-12-25T18:20:29Z

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

Mathematical aspects of logic programming semantics

2024-12-25T18:20:29Z

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

Handbook of logic and language

2024-12-25T18:20:29Z

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

The logic of positive engagement

2024-12-25T18:20:29Z

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

Modality metaphysics, logic, and epistemology

2024-12-25T18:20:29Z

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

Logic the question of truth

2024-12-25T18:20:29Z

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

Data integration the relational logic approach

2024-12-25T18:20:29Z

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

Fuzzy logic and hydrological modeling

2024-12-25T18:20:29Z

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

Fuzzy logic with engineering applications

2024-12-25T18:20:29Z

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

A Concise Introduction to Mathematical Logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

A Course on Mathematical Logic

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

Sets, Logic and Maths for Computing

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

Introduction to Fuzzy Logic using MATLAB

2024-12-25T18:20:29Z

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

Quantifiers in language and logic

2024-12-25T18:20:29Z

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

Theories of Judgment Psychology, Logic, Phenomenology

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

A Concise Introduction to Mathematical Logic

2024-12-25T18:20:29Z

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

Fuzzy Logic Applications in Engineering Science

2024-12-25T18:20:29Z

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

Rigid Flexibility The Logic of Intelligence

2024-12-25T18:20:29Z

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 in Financial Analysis

2024-12-25T18:20:29Z

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

Grounded Consequence for Defeasible Logic

2024-12-25T18:20:29Z

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

Handbook of Philosophical Logic, 2nd Edition

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

Linear Logic in Computer Science

2024-12-25T18:20:29Z

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

Relevant Logic A Philosophical Interpretation

2024-12-25T18:20:29Z

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

Arithmetic and logic in computer systems

2024-12-25T18:20:29Z

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

Genetics and the logic of evolution

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

Fuzzy logic for embedded systems applications

2024-12-25T18:20:29Z

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

Probability Theory The Logic of Science

2024-12-25T18:20:29Z

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

Verilog coding for logic synthesis

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

The Logic of Concept Expansion

2024-12-25T18:20:29Z

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

The logic of knowledge bases

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

The essence of logic circuits

2024-12-25T18:20:29Z

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-25T18:20:29Z

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

From logic to logic programming

2024-12-25T18:20:29Z

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

Logic testing and design for testability

2024-12-25T18:20:29Z

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

Logic and the basis of ethics

2024-12-25T18:20:29Z

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

Logic Pro 8 audio and music production

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

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

2024-12-25T18:20:29Z

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

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

2024-12-25T18:20:29Z

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

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

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Later medieval metaphysics ontology, language, and logic

2024-12-25T18:20:29Z

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

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-12-25T18:20:29Z

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

Independence-Friendly Logic A Game-Theoretic Approach

2024-12-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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-25T18:20:29Z

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

Logic Synthesis for FSM-Based Control Units

2024-12-25T18:20:29Z

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

Truth, etc. six lectures on ancient logic

2024-12-25T18:20:29Z

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

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2024-12-25T18:20:29Z

Yazar Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88077-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Practical Logic and Automated Reasoning

2024-12-25T18:20:29Z

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

The theory of gambling and statistical logic

2024-12-25T18:20:29Z

Yazar Epstein, Richard A., 1927-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Functions and Equations Examples and Exercises

2024-12-25T18:20:29Z

Yazar Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Type-2 Fuzzy Logic: Theory and Applications

2024-12-25T18:20:29Z

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

Mechatronic system control, logic, and data acquisition

2024-12-25T18:20:29Z

Yazar Bishop, Robert H., 1957-
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 Synthesis for Compositional Microprogram Control Units

2024-12-25T18:20:29Z

Yazar Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69285-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Inductive Logic Programming Theory and Applications

2024-12-25T18:20:29Z

Yazar Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Fuzzy Logic Technologies in Industrial Applications

2024-12-25T18:20:29Z

Yazar Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-469-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation Engineering Applied Automata Theory and Logic

2024-12-25T18:20:29Z

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

Integration of Fuzzy Logic and Chaos Theory

2024-12-25T18:20:29Z

Yazar Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32502-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-12-25T18:20:29Z

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

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2024-12-25T18:20:29Z

Yazar Shepard, Richard B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28098-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infinite words automata, semigroups, logic and games

2024-12-25T18:20:29Z

Yazar Perrin, Dominique. Pin, Jean Eric.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VHDL coding and logic synthesis with Synopsys

2024-12-25T18:20:29Z

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

High-performance system design circuits and logic

2024-12-25T18:20:29Z

Yazar Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mitsubishi FX programmable logic controllers applications and programming

2024-12-25T18:20:29Z

Yazar Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The rise of modern logic from Leibniz to Frege

2024-12-25T18:20:29Z

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

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2024-12-25T18:20:29Z

Yazar Farmer, William M. author. SpringerLink (Online service)
Yer Numarası XX(520259.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21112-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to practical formal methods using temporal logic

2024-12-25T18:20:29Z

Yazar Fisher, Michael, 1962-
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9781119991472 http://proquest.safaribooksonline.com/?fpi=9780470027882 Books24x7 http://www.books24x7.com/marc.asp?bookid=46822 http://proquest.safaribooksonline.com/9780470027882 Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2024-12-25T18:20:29Z

Yazar Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The many valued and non-monotonic turn in logic

2024-12-25T18:20:29Z

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

The many valued and non-monotonic turn in logic

2024-12-25T18:20:29Z

The many valued and non-monotonic turn in logic

2024-12-25T18:20:29Z

The many valued and non-monotonic turn in logic

2024-12-25T18:20:29Z

Logic and the modalities in the twentieth century

2024-12-25T18:20:29Z

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

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

2024-12-25T18:20:29Z

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

Between Logic and Reality Modeling Inference, Action and Understanding

2024-12-25T18:20:29Z

Yazar Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2390-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

2024-12-25T18:20:29Z

Yazar Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8812-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions

2024-12-25T18:20:29Z

Yazar Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic based on Schaum's Outline of theory and problems of logic

2024-12-25T18:20:29Z

Yazar Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2024-12-25T18:20:29Z

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

Games, Norms and Reasons Logic at the Crossroads

2024-12-25T18:20:29Z

Yazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0714-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof, Computation and Agency Logic at the Crossroads

2024-12-25T18:20:29Z

Yazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0080-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Strict Finitism and the Logic of Mathematical Applications

2024-12-25T18:20:29Z

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

Schaum's outline of theory and problems of logic

2024-12-25T18:20:29Z

Yazar Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase

2024-12-25T18:20:29Z

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

Logic and Philosophy of Mathematics in the Early Husserl

2024-12-25T18:20:29Z

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

Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms

2024-12-25T18:20:29Z

Yazar Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

2024-12-25T18:20:29Z

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

Logic in algebraic form Three languages and theories

2024-12-25T18:20:29Z

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

Model theory for infinitary logic logic with countable conjunctions and finite quantifiers

2024-12-25T18:20:29Z

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

The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

2024-12-25T18:20:29Z

Yazar International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

2024-12-25T18:20:29Z

Yazar Goodstein, R. L. (Reuben Louis)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the 1999 International Conference on Logic Programming

2024-12-25T18:20:29Z

Yazar International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the Fourteenth International Conference on Logic Programming

2024-12-25T18:20:29Z

Yazar International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

2024-12-25T18:20:29Z

Yazar Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520880.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Yer Numarası XX(521080.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-39965-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WAIC and WBIC with R Stan 100 Exercises for Building Logic

2024-12-25T18:20:29Z

Yazar Suzuki, Joe. author. SpringerLink (Online service)
Yer Numarası XX(520717.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-3838-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası XX(520823.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26689-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Yer Numarası XX(520827.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25894-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası XX(521245.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45784-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası XX(521257.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43977-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Yer Numarası XX(521259.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45558-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Yer Numarası XX(520731.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7869-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(521191.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36978-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası XX(521192.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40875-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings

2024-12-25T18:20:29Z

Yazar Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Yer Numarası XX(521376.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-49299-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Yer Numarası XX(521384.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26622-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-12-25T18:20:29Z

Yazar Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58771-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-12-25T18:20:29Z

Yazar Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59533-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13838-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-12-25T18:20:29Z

Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20528-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-12-25T18:20:29Z

Yazar Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22102-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19432-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59565-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-12-25T18:20:29Z

Yazar Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-60292-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-12-25T18:20:29Z

Yazar Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-25785-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-12-25T18:20:29Z

Yazar Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31175-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Functions and Equations Binary Models for Computer Science

2024-12-25T18:20:29Z

Yazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02420-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Logic Circuits & Logic Design with Verilog

2024-12-25T18:20:29Z

Yazar LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13605-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Silva, Josep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16202-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Logic Circuits & Logic Design with VHDL

2024-12-25T18:20:29Z

Yazar LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12489-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Automation for Differential MOS Current-Mode Logic Circuits

2024-12-25T18:20:29Z

Yazar Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91307-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

2024-12-25T18:20:29Z

Yazar Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59620-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12544-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Rusu, Vlad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99840-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-12-25T18:20:29Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96145-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic in Intelligent System Design Theory and Applications

2024-12-25T18:20:29Z

Yazar Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67137-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3

2024-12-25T18:20:29Z

Yazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66827-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99960-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94460-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges

2024-12-25T18:20:29Z

Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. Bieganowski, Jacek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59837-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57669-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic

2024-12-25T18:20:29Z

Yazar Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70851-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78090-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-12-25T18:20:29Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73579-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94821-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94205-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2

2024-12-25T18:20:29Z

Yazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66824-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-12-25T18:20:29Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96142-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-12-25T18:20:29Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90686-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications

2024-12-25T18:20:29Z

Yazar Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71008-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11–15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13–15, 2017, Warsaw, Poland, Volume 1

2024-12-25T18:20:29Z

Yazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66830-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic

2024-12-25T18:20:29Z

Yazar Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73773-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution

2024-12-25T18:20:29Z

Yazar John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72892-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital electronics 2 : sequential and arithmetic logic circuits

2024-12-25T18:20:29Z

Yazar Ndjountche, Tertulien.
Yer Numarası ONLINE
Elektronik Erişim Wiley Online Library
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Yer Numarası XX(518775.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17822-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2024-12-25T18:20:29Z

Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası XX(518822.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21768-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2024-12-25T18:20:29Z

Yazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası XX(518949.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47709-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Yer Numarası XX(519102.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23708-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-12-25T18:20:29Z

Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası XX(519103.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48899-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

2024-12-25T18:20:29Z

Yazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Yer Numarası XX(518853.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Falaschi, Moreno. editor. SpringerLink (Online service)
Yer Numarası XX(518861.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-27436-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-12-25T18:20:29Z

Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası XX(519137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48561-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-12-25T18:20:29Z

Yazar Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Yer Numarası XX(519118.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-45824-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Yer Numarası XX(519040.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46906-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2024-12-25T18:20:29Z

Yazar Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası XX(519268.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23165-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2024-12-25T18:20:29Z

Yazar Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Yer Numarası XX(519274.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-12-25T18:20:29Z

Yazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Yer Numarası XX(519276.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-14726-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-12-25T18:20:29Z

Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası XX(519293.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seizing power the strategic logic of military coups

2024-12-25T18:20:29Z

Yazar Singh, Naunihal. Project Muse.
Yer Numarası ONLINE(322955.1)
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina

2024-12-25T18:20:29Z

Yazar Kehoe, Genevieve M., 1979- author. Project Muse.
Yer Numarası ONLINE(322990.1)
Elektronik Erişim Full text available:
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

2024-12-25T18:20:29Z

Yazar Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44116-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

2024-12-25T18:20:29Z

Yazar Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44145-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2024-12-25T18:20:29Z

Yazar Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08970-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

2024-12-25T18:20:29Z

Yazar Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09764-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

2024-12-25T18:20:29Z

Yazar Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4614-9429-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2024-12-25T18:20:29Z

Yazar Dowek, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08918-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city”

2024-12-25T18:20:29Z

Yazar Falahat, Somaiyeh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-04596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-12-25T18:20:29Z

Yazar Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44923-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1