A decision procedure for a subtheory of linear arithmetic with lista

Författare
Laurent Fribourg
Språk
Engelska
Förlag År Ort Om boken ISBN
1991 Sverige 14 sidor.