Results 141 to 150 of about 5,662,221 (229)

PLANS; a finite element program for nonlinear analysis of structures. Volume 2: User's manual [PDF]

open access: yes
The PLANS system, rather than being one comprehensive computer program, is a collection of finite element programs used for the nonlinear analysis of structures.
Armen, H., Jr.   +3 more
core   +1 more source

Set-Theoretic Completeness for Epistemic and Conditional Logic

open access: yes, 1999
The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the ...
Halpern, Joseph Y.
core   +4 more sources

Home - About - Disclaimer - Privacy