Arama Sonuçları Logic. - Daraltılmış: SpringerLink (Online service)

Dynamic Epistemic Logic

2025-03-28T12:41:10Z

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

Logic and Structure

2025-03-28T12:41:10Z

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

Advanced Logic Synthesis

2025-03-28T12:41:10Z

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

Stochastic Coalgebraic Logic

2025-03-28T12:41:10Z

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

Logic in Reality

2025-03-28T12:41:10Z

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

Fuzzy Equational Logic

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Logic, Thought and Action

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Studies in Legal Logic

2025-03-28T12:41:10Z

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

Logic Programming with Prolog

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Memory-Based Logic Synthesis

2025-03-28T12:41:10Z

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

Aspects of Mathematical Logic

2025-03-28T12:41:10Z

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

Logic Programming with Prolog

2025-03-28T12:41:10Z

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

Logic and Integer Programming

2025-03-28T12:41:10Z

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

Hybrid Logic and its Proof-Theory

2025-03-28T12:41:10Z

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

Gentzen Calculi for Modal Propositional Logic

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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 Philosophical Logic Volume 15

2025-03-28T12:41:10Z

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

Games: Unifying Logic, Language, and Philosophy

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

R-Calculus, IV: Propositional Logic

2025-03-28T12:41:10Z

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

Fuzzy Logic-Based Software Systems

2025-03-28T12:41:10Z

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

Towards the Future of Fuzzy Logic

2025-03-28T12:41:10Z

Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18750-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Mathematical Logic for Computer Science

2025-03-28T12:41:10Z

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

Logic and the Organization of Information

2025-03-28T12:41:10Z

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

Logic Circuit Design Selected Methods

2025-03-28T12:41:10Z

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

Sets, Logic and Maths for Computing

2025-03-28T12:41:10Z

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

A Concise Introduction to Mathematical Logic

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Fuzzy Logic Applications in Engineering Science

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

A Concise Introduction to Mathematical Logic

2025-03-28T12:41:10Z

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, Identification and Predictive Control

2025-03-28T12:41:10Z

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

Fuzzy Logic in Financial Analysis

2025-03-28T12:41:10Z

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

Handbook of Philosophical Logic, 2nd Edition

2025-03-28T12:41:10Z

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

Judgement and the Epistemic Foundation of Logic

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

Type-3 Fuzzy Logic in Intelligent Control

2025-03-28T12:41:10Z

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

Mathematics of Fuzzy Sets and Fuzzy Logic

2025-03-28T12:41:10Z

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

A Course in Mathematical Logic for Mathematicians

2025-03-28T12:41:10Z

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

Linguistic Fuzzy Logic Methods in Social Sciences

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Logic Functions and Equations Examples and Exercises

2025-03-28T12:41:10Z

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

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2025-03-28T12:41:10Z

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

Logic Synthesis for FSM-Based Control Units

2025-03-28T12:41:10Z

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

Type-2 Fuzzy Logic: Theory and Applications

2025-03-28T12:41:10Z

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

Probabilistic Inductive Logic Programming Theory and Applications

2025-03-28T12:41:10Z

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

Logic Synthesis for Compositional Microprogram Control Units

2025-03-28T12:41:10Z

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

Advanced Fuzzy Logic Technologies in Industrial Applications

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

Between Logic and Reality Modeling Inference, Action and Understanding

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

Proof, Computation and Agency Logic at the Crossroads

2025-03-28T12:41:10Z

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

Games, Norms and Reasons Logic at the Crossroads

2025-03-28T12:41:10Z

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

Strict Finitism and the Logic of Mathematical Applications

2025-03-28T12:41:10Z

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

Logic and Philosophy of Mathematics in the Early Husserl

2025-03-28T12:41:10Z

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

WAIC and WBIC with R Stan 100 Exercises for Building Logic

2025-03-28T12:41:10Z

Yazar Suzuki, Joe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3838-4
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

2025-03-28T12:41:10Z

Yazar Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7869-4
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

2025-03-28T12:41:10Z

Yazar Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-39784-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

2025-03-28T12:41:10Z

Yazar Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40875-5
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

2025-03-28T12:41:10Z

Yazar Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45558-2
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

2025-03-28T12:41:10Z

Yazar Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

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

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2025-03-28T12:41:10Z

Yazar Polkowski, Lech T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42034-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics

2025-03-28T12:41:10Z

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

Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)

2025-03-28T12:41:10Z

Yazar Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21780-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design

2025-03-28T12:41:10Z

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

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

2025-03-28T12:41:10Z

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

Logic Locking A Practical Approach to Secure Hardware

2025-03-28T12:41:10Z

Yazar Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-19123-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Landscape Architecture: Logic, Structure, Method and Application

2025-03-28T12:41:10Z

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

Error Logic: Paving Pathways for Intelligent Error Identification and Management

2025-03-28T12:41:10Z

Yazar Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-00820-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

2025-03-28T12:41:10Z

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

WAIC and WBIC with Python Stan 100 Exercises for Building Logic

2025-03-28T12:41:10Z

Yazar Suzuki, Joe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3841-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

2025-03-28T12:41:10Z

Yazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25894-7
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

2025-03-28T12:41:10Z

Yazar Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-39965-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

2025-03-28T12:41:10Z

Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43977-3
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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Logic Functions and Equations Binary Models for Computer Science

2025-03-28T12:41:10Z

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 VHDL

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

Design Automation for Differential MOS Current-Mode Logic Circuits

2025-03-28T12:41:10Z

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

Representation Theorems in Computer Science A Treatment in Logic Engineering

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Introduction to Logic Circuits & Logic Design with Verilog

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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 3

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

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

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

2025-03-28T12:41:10Z

Yazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46906-4
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

2025-03-28T12:41:10Z

Yazar Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45824-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

2025-03-28T12:41:10Z

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

Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization

2025-03-28T12:41:10Z

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

Fuzzy Logic An Introductory Course for Engineering Students

2025-03-28T12:41:10Z

Yazar Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14203-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fifty Years of Fuzzy Logic and its Applications

2025-03-28T12:41:10Z

Yazar Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19683-1
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

2025-03-28T12:41:10Z

Yazar Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17822-6
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

2025-03-28T12:41:10Z

Yazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48899-7
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

2025-03-28T12:41:10Z

Yazar Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23534-9
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

2025-03-28T12:41:10Z

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

Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic

2025-03-28T12:41:10Z

Yazar Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16235-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications

2025-03-28T12:41:10Z

Yazar Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10960-2
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.

2025-03-28T12:41:10Z

Yazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Yer Numarası ONLINE
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

2025-03-28T12:41:10Z

Yazar Falaschi, Moreno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27436-2
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.

2025-03-28T12:41:10Z

Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21768-0
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

2025-03-28T12:41:10Z

Yazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14726-0
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

2025-03-28T12:41:10Z

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

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2025-03-28T12:41:10Z

Yazar Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08615-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2025-03-28T12:41:10Z

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

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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”

2025-03-28T12:41:10Z

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

2025-03-28T12:41:10Z

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

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13281-5
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

2025-03-28T12:41:10Z

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

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

2025-03-28T12:41:10Z

Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08867-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

2025-03-28T12:41:10Z

Yazar Janjua, Naeem Khalid. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03949-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

2025-03-28T12:41:10Z

Yazar Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54789-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14125-1
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

2025-03-28T12:41:10Z

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

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

2025-03-28T12:41:10Z

Yazar Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08587-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12904-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2025-03-28T12:41:10Z

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

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

2025-03-28T12:41:10Z

Yazar Siddique, Nazmul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-02135-5
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

2025-03-28T12:41:10Z

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

Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic

2025-03-28T12:41:10Z

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

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2025-03-28T12:41:10Z

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

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

2025-03-28T12:41:10Z

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

Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop

2025-03-28T12:41:10Z

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

Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions

2025-03-28T12:41:10Z

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

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2025-03-28T12:41:10Z

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

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

2025-03-28T12:41:10Z

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

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2025-03-28T12:41:10Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2025-03-28T12:41:10Z

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

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2025-03-28T12:41:10Z

Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2025-03-28T12:41:10Z

Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335032.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Early Software Reliability Prediction A Fuzzy Logic Approach

2025-03-28T12:41:10Z

Yazar Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(335512.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-81-322-1176-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689)

2025-03-28T12:41:10Z

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

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

2025-03-28T12:41:10Z

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

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2025-03-28T12:41:10Z

Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332970.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Advances in Nanoelectronic Devices Logic, Memory and RF

2025-03-28T12:41:10Z

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

Puzzles in Logic, Languages and Computation The Green Book

2025-03-28T12:41:10Z

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

Puzzles in Logic, Languages and Computation The Red Book

2025-03-28T12:41:10Z

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

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334337.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2025-03-28T12:41:10Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2025-03-28T12:41:10Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2025-03-28T12:41:10Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Yer Numarası ONLINE(335118.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2025-03-28T12:41:10Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

2025-03-28T12:41:10Z

Yazar Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336850.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69444-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2025-03-28T12:41:10Z

Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası ONLINE(335669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Disruptive Logic Architectures and Technologies From Device to System Level

2025-03-28T12:41:10Z

Yazar Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Type-2 Fuzzy Logic in Intelligent Control Applications

2025-03-28T12:41:10Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2025-03-28T12:41:10Z

Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

2025-03-28T12:41:10Z

Yazar Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29414-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

2025-03-28T12:41:10Z

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

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2025-03-28T12:41:10Z

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

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2025-03-28T12:41:10Z

Yazar Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

2025-03-28T12:41:10Z

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

Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic

2025-03-28T12:41:10Z

Yazar Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-901-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Strategy for Action – I The Logic and Context of Strategic Management

2025-03-28T12:41:10Z

Yazar Gandellini, Giorgio. author. Pezzi, Alberto. author. Venanzi, Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-2487-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

2025-03-28T12:41:10Z

Yazar Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-59-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

2025-03-28T12:41:10Z

Yazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30743-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2025-03-28T12:41:10Z

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

New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

2025-03-28T12:41:10Z

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

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31482-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2025-03-28T12:41:10Z

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

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2025-03-28T12:41:10Z

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

Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2025-03-28T12:41:10Z

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

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

2025-03-28T12:41:10Z

Yazar Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32897-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31951-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adiabatic Logic Future Trend and System Level Perspective

2025-03-28T12:41:10Z

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

Risk Management Technologies With Logic and Probabilistic Models

2025-03-28T12:41:10Z

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

Advanced Techniques in Logic Synthesis, Optimizations and Applications

2025-03-28T12:41:10Z

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

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2025-03-28T12:41:10Z

Yazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

2025-03-28T12:41:10Z

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

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

2025-03-28T12:41:10Z

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

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2025-03-28T12:41:10Z

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

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2025-03-28T12:41:10Z

Yazar Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2025-03-28T12:41:10Z

Yazar Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21490-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design

2025-03-28T12:41:10Z

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

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22303-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

2025-03-28T12:41:10Z

Yazar Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22359-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Value Determination of Supply Chain Initiatives A Quantification Approach Based on Fuzzy Logic and System Dynamics

2025-03-28T12:41:10Z

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

Mathematical Logic and Model Theory A Brief Introduction

2025-03-28T12:41:10Z

Yazar Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proofs and Algorithms An Introduction to Logic and Computability

2025-03-28T12:41:10Z

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

Computational Logic and Set Theory Applying Formalized Logic to Analysis

2025-03-28T12:41:10Z

Yazar Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-808-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Science of Operations Machines, Logic and the Invention of Programming

2025-03-28T12:41:10Z

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

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008

2025-03-28T12:41:10Z

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

Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic

2025-03-28T12:41:10Z

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

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

2025-03-28T12:41:10Z

Yazar DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0214-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

2025-03-28T12:41:10Z

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

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

2025-03-28T12:41:10Z

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

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2025-03-28T12:41:10Z

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

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2025-03-28T12:41:10Z

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

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2025-03-28T12:41:10Z

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

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

2025-03-28T12:41:10Z

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

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

2025-03-28T12:41:10Z

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

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2025-03-28T12:41:10Z

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

Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp

2025-03-28T12:41:10Z

Yazar Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22830-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings

2025-03-28T12:41:10Z

Yazar Fanelli, Anna Maria. editor. Pedrycz, Witold. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23713-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2025-03-28T12:41:10Z

Yazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic-Based Algorithms for Video De-Interlacing

2025-03-28T12:41:10Z

Yazar Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10695-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2025-03-28T12:41:10Z

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

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

2025-03-28T12:41:10Z

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

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2025-03-28T12:41:10Z

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

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2025-03-28T12:41:10Z

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

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2025-03-28T12:41:10Z

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

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

2025-03-28T12:41:10Z

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

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2025-03-28T12:41:10Z

Yazar Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15223-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2025-03-28T12:41:10Z

Yazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

2025-03-28T12:41:10Z

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

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

2025-03-28T12:41:10Z

Yazar Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-28T12:41:10Z

Yazar Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15025-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2025-03-28T12:41:10Z

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

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

2025-03-28T12:41:10Z

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

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2025-03-28T12:41:10Z

Yazar Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12251-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

2025-03-28T12:41:10Z

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

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

2025-03-28T12:41:10Z

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

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14287-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15164-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2025-03-28T12:41:10Z

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

Quantitative Logic and Soft Computing 2010 Volume 2

2025-03-28T12:41:10Z

Yazar Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15660-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

2025-03-28T12:41:10Z

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

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2025-03-28T12:41:10Z

Yazar Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16867-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2025-03-28T12:41:10Z

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

Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications

2025-03-28T12:41:10Z

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

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

2025-03-28T12:41:10Z

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

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

2025-03-28T12:41:10Z

Yazar Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02846-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

2025-03-28T12:41:10Z

Yazar Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04027-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications

2025-03-28T12:41:10Z

Yazar Celikyilmaz, Asli. author. Türksen, I. Burhan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89924-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

2025-03-28T12:41:10Z

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

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

2025-03-28T12:41:10Z

Yazar Bosch, Peter. editor. Gabelaia, David. editor. Lang, Jérôme. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00665-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2025-03-28T12:41:10Z

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

Duverger's Law of Plurality Voting The Logic of Party Competition in Canada, India, the United Kingdom and the United States

2025-03-28T12:41:10Z

Yazar Bowler, Shaun. editor. Blais, André. editor. Grofman, Bernard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09720-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Missing Link in Cybernetics Logic and Continuity

2025-03-28T12:41:10Z

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

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2025-03-28T12:41:10Z

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

Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference

2025-03-28T12:41:10Z

Yazar Goertzel, Ben. author. Iklé, Matthew. author. Goertzel, Izabela Freire. author. Heljakka, Ari. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76872-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2025-03-28T12:41:10Z

Yazar Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02261-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

2025-03-28T12:41:10Z

Yazar Gesù, Vito. editor. Pal, Sankar Kumar. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02282-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2025-03-28T12:41:10Z

Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

2025-03-28T12:41:10Z

Yazar He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04893-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

2025-03-28T12:41:10Z

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

Introduction to Logic and Theory of Knowledge Lectures 1906/07

2025-03-28T12:41:10Z

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

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2025-03-28T12:41:10Z

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

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2025-03-28T12:41:10Z

Yazar Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2025-03-28T12:41:10Z

Yazar Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2025-03-28T12:41:10Z

Yazar Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1