Ebook: Many-sorted Logic and its Applications
Author: K. Meinke J. V. Tucker
- Tags: 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
- Series: Wiley professional computing
- Year: 1993
- Publisher: Wiley
- Edition: 1
- Language: English
- pdf
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.
Download the book Many-sorted Logic and its Applications for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)