๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Many-sorted Logic and its Applications

โœ Scribed by K. Meinke, J. V. Tucker

Publisher
Wiley
Year
1993
Tongue
English
Leaves
208
Series
Wiley professional computing
Edition
1
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

Prominent experts present papers which discuss problems regarding this subject. Coverage includes case studies in the translation of logics for second-order and propositional dynamic logic; many-sorted algebras and equational logic; logical foundations of artificial intelligence along with a variety of methods that exist to encode information; program verification techniques such as Floyd-Hoare, intermittent assertion and temporal logic of programs.

โœฆ Subjects

Computer Design;Microprocessors & System Design;Hardware & DIY;Computers & Technology;Programming;APIs & Operating Environments;Algorithms;Apple Programming;Cross-platform Development;Functional;Game Programming;Graphics & Multimedia;Introductory & Beginning;Languages & Tools;Microsoft Programming;Mobile Apps;Parallel Programming;Software Design, Testing & Engineering;Web Programming;Computers & Technology;Programming Languages;Ada;Ajax;Assembly Language Programming;Borland Delphi;C & C++;C#;CSS

๐Ÿ“œ SIMILAR VOLUMES

Logic and Its Applications
๐Ÿ“ Logic and Its Applications
โœ Andreas Blass, Yi Zhang (ed.) ๐Ÿ“‚ Library ๐Ÿ“… 2005 ๐Ÿ› Amer Mathematical Society ๐ŸŒ English

Two conferences, Logic and Its Applications in Algebra and Geometry and Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, were held at the University of Michigan (Ann Arbor). These events brought together model theorists and set theorists working in these areas. This volume is th