Type-2 Fuzzy Logic: Theory and Applications
Oscar Castillo
Download - Immediately Available
Format: eBook (PDF)
Saturated Model Theory (2nd Edition)
Sacks Gerald E Sacks
Download - Immediately Available
Format: eBook (PDF)
Foundations of Genetic Algorithms 1993 (FOGA 2)
FOGA
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic For Computer Science (2nd Edition)
Lu Zhongwan Lu
Download - Immediately Available
Format: eBook (PDF)
Rankin-Selberg Convolutions for $\mathrm {SO}_{2\ell +1}\times \mathrm {GL}_n$ : Local Theory
David Soudry
Download - Immediately Available
Format: eBook (PDF)
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Gregory Cherlin
Download - Immediately Available
Format: eBook (PDF)
Diamond: A Paradox Logic (2nd Edition)
Hellerstein Nathaniel S Hellerstein
Download - Immediately Available
Format: eBook (PDF)
Handbook of Categorical Algebra: Volume 2, Categories and Structures
Francis Borceux
Download - Immediately Available
Format: eBook (PDF)
Lectures in Logic and Set Theory: Volume 2, Set Theory
George Tourlakis
Download - Immediately Available
Format: eBook (PDF)
Spectral Generalizations of Line Graphs : On Graphs with Least Eigenvalue -2
Dragos Cvetkovic
Download - Immediately Available
Format: eBook (PDF)
Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970
J. Siekmann
Download - Immediately Available
Format: eBook (PDF)
Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
J.R. Buchi
Download - Immediately Available
Format: eBook (PDF)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
M. M. Richter
Download - Immediately Available
Format: eBook (PDF)
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Samson Abramsky
Download - Immediately Available
Format: eBook (PDF)
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Guo-Qiang Zhang
Download - Immediately Available
Format: eBook (PDF)
Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
ZB 2002: Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Didier Bert
Download - Immediately Available
Format: eBook (PDF)
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
L.J.M. Claesen
Download - Immediately Available
Format: eBook (PDF)