Items related to Many-sorted Logic and its Applications
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.
"synopsis" may belong to another edition of this title.
Search results for Many-sorted Logic and its Applications
Stock Image
Many-Sorted Logic and its Applications.
Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. EXTREMELY RARE! pp.xvii, 397 pages, a very good plus hardback, publisher's original laminated binding, from a uk university library but unused as it was sold to us before being put into stock [0471934852]. Seller Inventory # 39789
Buy Used
US$ 199.15
US$ 9.26 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available