Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
1st Intl. Workshop on Quantification in Constraint Programming
Armin Biere (Organiser)
Institute of Formal Models and Verification
Activity
:
Participating in or organising an event
›
Organising a conference, workshop, ...
Period
01 Oct 2005
→
05 Oct 2005
Event type
Conference
Location
Spain
Show on map
Fields of science
102 Computer Sciences