학술논문
Practical tools for reasoning about linear constraints
Document Type
Article
Source
In: Fundamenta Mathematicae . (Fundamenta Mathematicae, November 1991, 15(3-4):357-380)
Subject
Language
English
ISSN
00162736