Products

Product categories

Filters

Filters

Clear all
2 products
Sort by
Sort by
Sold out New
Contemporary Developments In Nuclear Energy Law:Harmonising Legislation In Ceec/Nis (International Energy And Resources Law And Contemporary Developments In Nuclear Energy Law:Harmonising Legislation In Ceec/Nis (International Energy And Resources Law And
Add to wishlist
Quick view
Add to compare
Contemporary Developments In Nuclear Energy Law:Harmonising Legislation In Ceec/Nis (International...
In Recent Years There Has Been Much Concern About The Safety Of Nuclear Installations In Central And Eastern European Countries (Ceec) And The Newly Independent...
Sale price$251.90 Regular price$277.09
Quantity
Add to cart
Superpositionbased Decision Procedures for Minimal Models: Firstorder Theorem Proving for Fixed Domain and Minimal Model Valid,Used Superpositionbased Decision Procedures for Minimal Models: Firstorder Theorem Proving for Fixed Domain and Minimal Model Valid,Used
Add to wishlist
Quick view
Add to compare
Superpositionbased Decision Procedures for Minimal Models: Firstorder Theorem Proving for...
Superposition is an established decision procedure for various firstorder logic theories represented by clause sets. A satisfiable theory, saturated by superposition, implicitly defines a minimal...
Sale price$172.14 Regular price$245.91
Quantity
Add to cart

Recently viewed products