Refine your search

Your search returned 50 results.

Sort
Results
Logica Universalis

Material type: serialE-journal Publisher: New York : Springer International Publishing, 2007-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.A1 ES reference

Fuzzy sets, rough sets, multisets and clustering / Vicenç Torra, Anders Dahlbom, Yasuo Narukawa, editors.

by Dahlbom, Anders, editor literario | Narukawa, Yasuo, editor literario | Torra, Vicenç, editor literario.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA248 2017 EB reference

Fifty Years of Fuzzy Logic and its Applications / edited by Dan E. Tamir, Naphtali D. Rishe, Abraham Kandel.

by Tamir, Dan E, editor literario | Rishe, Naphtali D, editor literario | Kandel, Abraham, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2015Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.64 F548 2015 EB reference

A Paraconsistent Decision-Making Method / by Fábio Romeu de Carvalho, Jair Minoro Abe.

by Carvalho, Fábio Romeu de, autor | Abe, Jair Minoro, autor | SpringerLink (Online service).

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) Q342 2018 EB reference

Type-2 Fuzzy Logic in Control of Nonsmooth Systems : Theoretical Concepts and Applications / by Oscar Castillo, Luis T. Aguilar

by SpringerLink (Online service) | Castillo, Óscar, autor | Aguilar, Luis T, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.64 2019 EB reference

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / edited by Rolf Drechsler, Mathias Soeken

by Drechsler, Rolf, editor | Soeken, Mathias, editor.

Edition: First editionMaterial type: bookE-book Publisher: Cham : Springer International Publishing, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA10.3 2020 EB reference

Bulletin of Symbolic Logic

Material type: serialE-journal; Type of continuing resource: periodical Publisher: Cambridge : Cambridge University Press, 1995-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.A1 ES reference

Journal of Symbolic Logic

by Association for Symbolic Logic.

Material type: serialE-journal; Type of continuing resource: periodical Publisher: Cambridge : Cambridge University Press, 1936-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) BC1 ES reference

Review of Symbolic Logic

by Association for Symbolic Logic.

Material type: serialE-journal; Type of continuing resource: periodical Publisher: Cambridge : Cambridge University Press, 2008-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.A1 ES reference

Logic Journal of the IGPL

by Professor Dov Gabbay.

Material type: serialE-journal Publisher: Oxford, England : Oxford University Press, 1996-Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9 .A1 ES reference

Theoremus : A Student's Guide to Mathematical Proofs / by Lito Perez Cruz

by Cruz, Lito Perez, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9 2021 EB reference

Handbook of Computability and Complexity in Analysis / edited by Vasco Brattka, Peter Hertling

by Brattka, Vasco, editor literario | Hertling, Peter, editor literario.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9 2021 EB reference

Statistical Learning with Math and Python : 100 Exercises for Building Logic / by Joe Suzuki

by Suzuki, Joe, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Singapore : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA276 2021 EB reference

Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by Wolfgang Schreiner.

by Schreiner, Wolfgang, (1967-).

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .L63 2021 EB reference

Modelling Puzzles in First Order Logic / by Adrian Groza.

by Groza, Adrian, http://id.loc.gov/vocabulary/relators/aut.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Publising, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.4 2021 EB reference

Language, Logic, and Computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova

by Zinova, Yulia, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.L63 2022 EB reference

R-Calculus, II: Many-Valued Logics / by Wei Li, Yuefei Sui

by Li, Wei, (1943-), autor | Sui, Yuefei, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Singapore : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA303.2 2022 EB reference

Kernel Methods for Machine Learning with Math and R : 100 Exercises for Building Logic / by Joe Suzuki

by Suzuki, Joe, autor.

Edition: First edition 2022Material type: bookE-book Publisher: Singapore : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) Q325.5 2022 EB reference

Introduction to Logic, Third Edition / by Michael Genesereth, Eric J. Kao

by Genesereth, Michael R, (1948-), autor | Kao, Eric, autor.

Edition: 3rd edition 2017Material type: bookE-book Publisher: Cham : Springer International Publishing, 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) BC15 2017 EB reference

Impossibility Results for Distributed Computing / by Hagit Attiya, Faith Ellen

by Attiya, Hagit, autor | Ellen, Faith, (1956-), autor.

Edition: 1st edition 2014Material type: bookE-book Publisher: Cham : Springer International Publishing, 2014Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.D5 2014 EB reference

An Introduction to Proofs with Set Theory / by Daniel Ashlock, Colin Lee

by Ashlock, Daniel, autor | Lee, C.(Colin), autor.

Edition: 1st edition 2020Material type: bookE-book Publisher: Cham : Springer International Publishing, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA248 2020 EB reference

Multiple-Valued Logic : Concepts and Representations / by D. Michael Miller, Mitchell A. Thornton

by Miller, D. Michael, autor | Thornton, Mitchell Aaron, autor.

Edition: 1st edition 2008Material type: bookE-book Publisher: Cham : Springer International Publishing, 2008Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.45 2008 EB reference

Representations of Multiple-Valued Logic Functions / by Radomir S. Stankovic, Jaakko Astola, Claudio Moraga

by Stanković, Radomir S, autor | Astola, Jaakko, autor | Moraga, Claudio, autor.

Edition: 1st edition 2012Material type: bookE-book Publisher: Cham : Springer International Publishing, 2012Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA9.45 2012 EB reference

Applications of Zero-Suppressed Decision Diagrams / by Jon T. Butler, Tsutomu Sasao

by Butler, Jon T, autor | Sasao, Tsutomu, (1950-), autor.

Edition: 1st edition 2015Material type: bookE-book Publisher: Cham : Springer International Publishing, 2015Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T57.95 2015 EB reference

Designing Asynchronous Circuits using NULL Convention Logic (NCL) / by Scott Smith, Jia Di

by Smith, Scott C, autor | Di, Jia, autor.

Edition: 1st edition 2009Material type: bookE-book Publisher: Cham : Springer International Publishing, 2009Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7867 2009 EB reference

Pages