Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Linear Algebra, Boolean Rings and Resolution?
Armin Biere (Speaker)
Institute of Formal Models and Verification
Activity
:
Talk or presentation
›
Contributed talk
›
unknown
Period
30 Jul 2008
Event title
Applications of Computer Algebra (ACA'08),
Event type
Conference
Location
Austria
Show on map
Fields of science
102 Computer Sciences