Search results for “[Subject: logic-design]”

• Author(s): Jaap Van Oosten • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: Algebra - GeneralAimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concep...

• Author(s): N. W. Tschoegl • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: Mechanics - ThermodynamicsThis book summarizes the salient features of both equilibrium and steady-state thermodynamic theory under a uniform...

• Author(s): Karl Schlechta • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: Logic DesignOne aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a ...

• Author(s): S. R. Buss • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: LogicThis volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should n...

• Author(s): Morten Heine Sørensen • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: Information TheoryThe Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proo...

• Author(s): A. S. Troelstra • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: LogicStudies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on var...

• Author(s): I. Burhan Türksen • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: LogicFuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of...

• Author(s): Robert V. Stick • Publisher: Elsevier Science • Publisher Imprint: Elsevier Science • BISAC: Chemistry - OrganicThis book provides the "nuts and bolts" background for a successful study of carbohydrates - the essential molecules that...