انتشارات Springer Cham
کتاب های انتشارات
صفحه ۲۰۷ از ۶,۳۴۰ در بین ۱۵۸,۴۸۳ کتاب.
PDF
Admissible Sets and Structures: An Approach to Definability Theory
Jon Barwise, 1975PDF
Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes
J.F. van Impe, P.A. Vanrolleghem, D.M. Iserentant, 2010PDF
Advanced Łukasiewicz calculus and MV-algebras
D. Mundici, 2011PDF
Advances in Intensional Logic
Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.), 1997PDF
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work
Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva (eds.), 2014PDF
Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister, 2015PDF
Advances in Temporal Logic
Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.), 2000DJVU
Advances in temporal logic
Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.), 2000PDF
Advances in verification of time petri nets and timed automata: a temporal logic approach
Wojciech Penczek, Agata Pólrola, 2006PDF
Agent-Based Defeasible Control in Dynamic Environments
John-Jules Ch. Meyer, Jan Treur (auth.), John-Jules Ch. Meyer, Jan Treur (eds.), 2002PDF
Algebraic Approaches to Program Semantics
Ernest G. Manes, Michael A. Arbib, 1986PDF
Algebraic Foundations of Many-Valued Reasoning
Roberto L. O. Cignoli, Itala M. L. D’Ottaviano, Daniele Mundici, 2000PDF
Algebraic semantics
Irène Guessarian (auth.), 1981PDF
Algorithmic Randomness and Complexity
Rodney G. Downey, Denis R. Hirschfeldt, 2010PDF
An Archaeological Evolution
Stanley South, 2005PDF
An Introduction to Formal Language Theory
Robert N. Moll, Michael A. Arbib, A. J. Kfoury, 1988DJVU
An Introduction to Kolmogorov Complexity and Its Applications
Paul Vitanyi, Ming Li, 1993PDF
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (auth.), 2002PDF
Analyses Concerning Passive and Active Synthesis: Lectures on Transcendental Logic
Edmund Husserl, A.J. Steinbock, 2001PDF
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas, 2008PDF
Anaphora and Type Logical Grammar
Gerhard Jäger, 2005PDF
Apartness and Uniformity: A Constructive Development
Douglas S. Bridges, Luminiţa Simona Vîţă, 2011PDF
Approaches to Legal Rationality
Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin (eds.), 2011DJVU
Aspects of incompleteness
Per Lindstroem, 1997PDF
