




Modal Logic: An Introduction to its Syntax and SemanticsIn this text, a variety of modal logics at the sentential, firstorder, and secondorder levels are developed with clarity, precision and philosophical insight. All of the S1S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or manyvalued semantics, for sentential modal logic is formalized, and an important result...   Numerical Techniques in Electromagnetics with MATLAB
Despite the dramatic growth in the availability of powerful computer resources, the EM community lacks a comprehensive text on the computational techniques used to solve EM problems. The first edition of Numerical Techniques in Electromagnetics filled that gap and became the reference of choice for thousands of engineers,...   MATLAB Symbolic Algebra and Calculus Tools
MATLAB is a highlevel language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and builtin math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or... 




Result Page: 22 21 20 19 18 17 16 15 14 13 