ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
ANDREI-60
Speakers
Social Program
Local info
PROGRAM
AUTHORS
KEYWORDS
SLIDES
SLIDES
Witness algebra, or who needs category theory?
Yuri Gurevich
Reconstructing in the Constraint Satisfaction Problem
Evgeny Dantsin
Total: 2 presentations.
Disclaimer
|
Powered by EasyChair Smart Program
