Su búsqueda retornó 69 resultados.

Ordenar
Resultados
Additive Number Theory [recurso electrónico] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky.

por Chudnovsky, David [editor.] | Chudnovsky, Gregory [editor.] | SpringerLink (Online service).

Edición: 1.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA241 -247.5.

Advanced Lukasiewicz calculus and MV-algebras [recurso electrónico] / by D. Mundici.

por Mundici, D [author.] | SpringerLink (Online service).

Series Trends in Logic ; 35Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Apartness and Uniformity [recurso electrónico] : A Constructive Development / by Douglas S. Bridges, Luminita Simona Vîta.

por Bridges, Douglas S [author.] | Vîta, Luminita Simona [author.] | SpringerLink (Online service).

Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.

Artificial Adaptive Systems Using Auto Contractive Maps [electronic resource] : Theory, Applications and Extensions / by Paolo Massimo Buscema, Giulia Massini, Marco Breda, Weldon A. Lodwick, Francis Newman, Masoud Asadi-Zeydabadi.

por Buscema, Paolo Massimo [author.] | Massini, Giulia [author.] | Breda, Marco [author.] | Lodwick, Weldon A [author.] | Newman, Francis [author.] | Asadi-Zeydabadi, Masoud [author.] | SpringerLink (Online service).

Series Studies in Systems, Decision and Control ; 131Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Aspects of Mathematical Logic [recurso electrónico] / edited by E. Casari.

por Casari, E [editor.] | SpringerLink (Online service).

Series C.I.M.E. Summer Schools ; 48Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Banach Spaces and Descriptive Set Theory: Selected Topics [recurso electrónico] / by Pandelis Dodos.

por Dodos, Pandelis [author.] | SpringerLink (Online service).

Series Lecture Notes in Mathematics ; 1993Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA319 -329.9.

Cognitive Reasoning [recurso electrónico] : A Formal Approach / by Tamás Gergely, Oleg M. Anshakov.

por Gergely, Tamás [author.] | Anshakov, Oleg M [author.] | SpringerLink (Online service).

Series Cognitive TechnologiesOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

The Colorado Mathematical Olympiad and Further Explorations [recurso electrónico] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer.

por Soifer, Alexander [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA150 -272.

Computational Artifacts [electronic resource] : Towards a Philosophy of Computer Science / by Raymond Turner.

por Turner, Raymond [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

A Concise Introduction to Mathematical Logic [recurso electrónico] / by Wolfgang Rautenberg.

por Rautenberg, Wolfgang [author.] | SpringerLink (Online service).

Series UniversitextEdición: 3.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Concrete Abstractions [electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner.

por Schreiner, Wolfgang [author.] | SpringerLink (Online service).

Series Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, AustriaEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Conditionals and Modularity in General Logics [recurso electrónico] / by Dov M. Gabbay, Karl Schlechta.

por Gabbay, Dov M [author.] | Schlechta, Karl [author.] | SpringerLink (Online service).

Series Cognitive TechnologiesOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.

A Course in Mathematical Logic for Mathematicians [recurso electrónico] / by Yu. I. Manin.

por Manin, Yu. I [author.] | SpringerLink (Online service).

Series Graduate Texts in Mathematics ; 53Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Dual Tableaux: Foundations, Methodology, Case Studies [recurso electrónico] / by Ewa Orlowska, Joanna Golinska Pilarek.

por Orlowska, Ewa [author.] | Golinska Pilarek, Joanna [author.] | SpringerLink (Online service).

Series Trends in Logic ; 33Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.

por Areces, Carlos [editor.] | Costa, Diana [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13780Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Dynamics in Logic and Language [electronic resource] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers / edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie.

por Deng, Dun [editor.] | Liu, Mingming [editor.] | Westerståhl, Dag [editor.] | Xie, Kaibo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13524Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Ernst Zermelo - Collected Works/Gesammelte Werke [recurso electrónico] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori.

por Zermelo, Ernst [author.] | Ebbinghaus, Heinz-Dieter [editor.] | Fraser, Craig G [editor.] | Kanamori, Akihiro [editor.] | SpringerLink (Online service).

Series Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Finitely Supported Mathematics [recurso electrónico] : An Introduction / by Andrei Alexandru, Gabriel Ciobanu.

por Alexandru, Andrei [author.] | Ciobanu, Gabriel [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Formal Methods for Nonmonotonic and Related Logics [electronic resource] : Vol II: Theory Revision, Inheritance, and Various Abstract Properties / by Karl Schlechta.

por Schlechta, Karl [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Formal Methods for Nonmonotonic and Related Logics [electronic resource] : Vol I: Preference and Size / by Karl Schlechta.

por Schlechta, Karl [author.] | SpringerLink (Online service).

Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha