Verification of propositional formulae by means of convex and concave transforms / Hans van Maaren, Jan Friso Groote and Michiel Rozema
type: ProductModel
type: Book
type: CreativeWork
is part of: p043951783
main entity of page: https://data.bibliotheken.nl/.well-known/genid/897fc9c483a23fbfbfdbbe2b1bacc49c
name: Verification of propositional formulae by means of convex and concave transforms
about: p075665506
author: p075416034
author: p068396007
contributor: p075010259
contributor: p142654493
language: en
number of pages: 21
issued: 1995